Author:
Krawczyk Krzysztof A.,Piȩta Bożena
Abstract
AbstractThis paper introduces the construct of an ultravaluation inspired by the well-known ultraproduct. Basic properties and exemplary applications of this notion are shown: for compactness and definability theorems. We also use ultravaluations to check failure of compactness and undefinability.
Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Logic
Reference6 articles.
1. Burris, S., Sankappanavar, H.P.: A Course in Universal Algebra. Springer (1981)
2. Krawczyk, K.A.: Three model-theoretic constructions for generalised Epstein semantics. Rev. Symb. Log. 15(4), 1023–1032 (2022). https://doi.org/10.1017/S1755020321000368
3. Kreisel, G., Krivine, J.L.: Elements of Mathamatical Logic (Model Theory). North Holland Pub, Co (1967)
4. Łoś, J.: Quelques remarques, théorèmes et problèmes sur les classes définissables d’algèbres. In: Mathematical Interpretation of Formal Systems, pp. 98–113. North-Holland Publishing Co., Amsterdam (1955)
5. Makinson, D.: Bridges from Classical to Nonmonotonic Logic. King’s College Publications (2005)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献