On the elementary theory of inductive order

DOI10.1007/BF02011864zbMath0395.03023OpenAlexW2162852246MaRDI QIDQ4177550

E. A. Sonenberg

Publication date: 1978

Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/137941

zbMATH Keywords

ModelsComplete ExtensionsDecidableDividingElementary Theory Of Inductive OrderLindenbaum AlgebraMonadic Second Order TheoryOrder TypesWell Orderings

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Logical aspects of Boolean algebras (03G05) Models of other mathematical theories (03C65) Quantifier elimination, model completeness, and related topics (03C10)

Related Items (1)

On quantifier-rank equivalence between linear orders

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Model theory
• Models of \(\text{Th}(\langle\omega^\omega,<\rangle)\).
• An application of games to the completeness problem for formalized theories
• The Boolean algebras of abelian groups and well-orders
• Models of well-orderings
• Generalized quantifiers and well orderings

This page was built for publication: On the elementary theory of inductive order