Publication:3236673

DOI10.4064/FM-43-1-50-68zbMATH Open0073.00704OpenAlexW4247248535MaRDI QIDQ3236673FDOQ3236673

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

zbMATH Keywords

FoundationsMathematical LogicPhilosophy

Cited In (32)

• In memory of Andrzej Mostowski
• Models of complete theories
• The usual model construction for NFU preserves information
• Andrzej Mostowski and the Notion of a Model
• A separation theorem for simple theories
• A theorem on absolute indiscernibles
• A new look at interpretability and saturation
• Independent Statements about Finite Stretchable Structures
• On the consistency of a slight (?) modification of Quine's 'New Foundations'
• Shearing in some simple rank one theories
• Degrees of Indiscernibles in Decidable Models
• Isomorphic limit ultrapowers for infinitary logic
• Set theory and the analyst
• Definability and automorphisms in abstract logics
• Automorphisms of models of set theory and extensions of NFU
• Union decompositions and universal classes categorical in power
• The number of non-isomorphic models of an unstable first-order theory
• Proof of a conjecture of Galvin
• Infinite stable graphs with large chromatic number. II
• Automorphisms of countable recursively saturated models of PA: A survey
• Structures elementarily equivalent relative to infinitary languages to models of higher power
• A new perspective on semi-retractions and the Ramsey property
• Iterated ultrapowers for the masses
• On models with large automorphism groups
• Karp complexity and classes with the independence property
• Rank-initial embeddings of non-standard models of set theory
• On some properties a projective model class passes on to the generated axiomatic class
• Patterns of resemblance of order 2
• EM constructions for a class of generalized quantifiers
• Generalized Quantifiers and Compact Logic
• A View of Revival of Mathematical Logic in Warsaw, 1945–1975
• Categoricity in Power

This page was built for publication: Models of axiomatic theories admitting automorphisms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3236673)