On the elementary theory of inductive order

DOI10.1007/BF02011864MaRDI QIDQ4177550zbMATH OpenOpenAlexFDO

Authors 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

Complete ExtensionsDecidableDividingElementary Theory Of Inductive OrderLindenbaum AlgebraModelsMonadic Second Order TheoryOrder TypesWell Orderings

Mathematics Subject Classification ID

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

Cites work

• An application of games to the completeness problem for formalized theories
• Generalized quantifiers and well orderings
• scientific article; zbMATH DE number 3532912 (Why is no real title available?)
• scientific article; zbMATH DE number 3307526 (Why is no real title available?)
• scientific article; zbMATH DE number 3392437 (Why is no real title available?)
• Model theory
• Models of \(\text{Th}(\langle\omega^\omega,<\rangle)\).
• Models of well-orderings
• The Boolean algebras of abelian groups and well-orders

Cited in

(1)

• On quantifier-rank equivalence between linear orders

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

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