On the elementary theory of inductive order

DOI10.1007/BF02011864zbMATH Open0395.03023OpenAlexW2162852246MaRDI QIDQ4177550FDOQ4177550

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

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

Mathematics Subject Classification ID

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

Cites Work

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

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)