Equality-free saturated models

• Autorzy: Dellunde P.
• Języki publikacji: EN

Abstrakty

EN

Saturated models are a powerful tool in model theory. The properties of universality and homogeneity of the saturated models of a theory are useful for proving facts about this theory. They are used in the proof of interpolation and preservation theorems and also as work-spaces. Sometimes we work with models which are saturated only for some sets of formulas, for example, recursively saturated models, in the study of models of arithmetic or atomic compact, in model theory of modules. In this article we introduce the notion of equality-free saturated model, that is, roughly speaking, a model which is saturated for the set of equality-free formulas. Our aim is to understand better the role that identity plays in classical model theory, in particular with regard to this process of saturation.

• Wydawca: Wydawnictwo Uniwersytetu Jagiellońskiego
• Czasopismo: Reports on Mathematical Logic
• Rocznik: 2003
• Tom: No. 37
• Strony: 3--22
• Opis fizyczny: Bibliogr. 23 poz.

Twórcy

autor

Dellunde P.

• Area de Logica, Universitat Autonoma de Barcelona, 08 193-Bellaterra (Barcelona), Catalonia (Spain),

Bibliografia

• [1] W. J. Blok, D. Pigozzi, Protoalgebraic logics, Studia Logica, 45 (1986), pp. 337-369.
• [2] W. J. Blok, D. Pigozzi, Algebraic semantics for universal Horn logic without equality, in: Universal Algebra and Quasigroups, A. Romanowska, J. D. H. Smith (Eds.) , Heldermann Verlag 1992.
• [3] W. J. Blok, D. Pigozzi, Algebraizable Logics, Memoirs of the Am. Math. Soc. (1989), 396.
• [4] E. Casanovas, P. Dellunde, R. Jansana, On elementary equivalence for Equality-free Logic, Notre Dame Journal of Formal Logic, 37 (1996), pp. 506-522.
• [5] E. Casanovas, R. Farre, Omitting types in incomplete theories, The Journal of Symbolic Logic, 61 (1996), pp. 236-245.
• [6] C. C. Chang, J. Keisler , Model theory. North-Holland, Studies in Logic and the Fundations of Mathematics, 73, Amsterdam, 1991.
• [7] J. Czelakowski, Model-theoretic methods in metodology of propositional calculi, The Polish Academy of Sciences Institute of Philosophy and Sociology, 1980.
• [8] J. Czelakowski, Reduced products of logical matrices, Studia Logica, 39 (1980), pp. 19-43.
• [9] J. Czelakowski, Protoalgebraic Logics , Trends in Logic - Studia Logica Library, Kluwer Academic Publishers, Dordrecht, 2001.
• [10] P. Dellunde, Contributions to the Model Theory of Equality-Free Logic, Ph.D. Thesis, Universitat de Barcelona.
• [11] P. Dellunde, Equality-free Logic: The Method of Diagrams and Preservation Theorems, The Logic Journal of the IGPL , 7 (1999), pp.717-732.
• [12] P. Dellunde, On definability of the equality in classes of algebras with an equivalence relation, Studia Logica, 64 (2000), pp.345-353.
• [13] P. Dellunde, R. Jansana, Some Characterization Theorems for Infinitary Universal Horn Logic without equality, The Journal of Symbolic Logic, 61 (1996), pp. 1242-1260.
• [14] R. Elgueta, Algebraic Model Theory for Languages without equality, Ph.D. Thesis, Universitat de Barcelona, 1994.
• [15] W. Hodges , Model Theory, Cambridge University Press, 1993.
• [16] E. Hrushovski, S. Shelah , Stability and omitting types, Israel Journal of Mathematics, 74 (1991), pp. 289-321.
• [17] M. Morley , Omitting classes of elements, in: The Theory of Models, Proceedings of the Berkeley Symposium, J. Addison, L. Henkin and A. Tarski (Eds.), Amsterdam, 1965, pp. 265-273.
• [18] G. C. Nelson , Preservation Theorems without Continuum Hypothesis, Studia Logica, 60 (1998), pp. 343-355.
• [19] G. C. Nelson , Relationally indistinguishable models, Preprint, 1998.
• [20] G. C. Nelson, O. Neswan, Model Theory without equality, Preprint, 1998.
• [21] O. Neswan, Model Theory without equality, Ph.D. Thesis, University of Iowa, 1997.
• [22] S. Shelah , Classification theory and the number of non-isomorphic models, North-Holland, Amsterdam, 1978.
• [23] R. Wojcicki , Theory of Logical Calculi. Basic Theory of Consequence Operations, Kluwer Academic Publishers, Dordrecht - Boston - London, 1988.