Models of axiomatic theories admitting automorphisms
From MaRDI portal
Publication:3236673
DOI10.4064/fm-43-1-50-68zbMath0073.00704OpenAlexW4247248535MaRDI QIDQ3236673
Andrzej Mostowski, Andrzej Ehrenfeucht
Publication date: 1956
Published in: Fundamenta Mathematicae (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/213400
Related Items
Isomorphic limit ultrapowers for infinitary logic, Independent Statements about Finite Stretchable Structures, Categoricity in Power, Iterated ultrapowers for the masses, Automorphisms of countable recursively saturated models of PA: A survey, Structures elementarily equivalent relative to infinitary languages to models of higher power, Union decompositions and universal classes categorical in power, Set theory and the analyst, On models with large automorphism groups, A View of Revival of Mathematical Logic in Warsaw, 1945–1975, Andrzej Mostowski and the Notion of a Model, A new look at interpretability and saturation, Degrees of Indiscernibles in Decidable Models, Proof of a conjecture of Galvin, The usual model construction for NFU preserves information, EM constructions for a class of generalized quantifiers, Automorphisms of models of set theory and extensions of NFU, Definability and automorphisms in abstract logics, Models of complete theories, In memory of Andrzej Mostowski, A theorem on absolute indiscernibles, Patterns of resemblance of order 2, On the consistency of a slight (?) modification of Quine's 'New Foundations', The number of non-isomorphic models of an unstable first-order theory, Generalized Quantifiers and Compact Logic, Rank-initial embeddings of non-standard models of set theory, Karp complexity and classes with the independence property, A separation theorem for simple theories, On some properties a projective model class passes on to the generated axiomatic class
