Stationary Logic and Ordinals
From MaRDI portal
Publication:3929721
DOI10.2307/1998646zbMath0474.03015MaRDI QIDQ3929721
Publication date: 1981
Full work available at URL: https://doi.org/10.2307/1998646
03B25: Decidability of theories and sets of sentences
03C80: Logic with extra quantifiers and operators
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The monadic theory of order
- Correction to On Shelah's compactness of cardinals
- A generalization of Ehrenfeucht's game and some applications
- Undecidable Theories in Stationary Logic
- Stationary logic of finitely determinate structures
- A correction to “stationary logic”
- The elementary theory of Abelian groups with m-chains of pure subgroups
- Generalized Quantifiers and Compact Logic
- On the decidability of the theory of linear orderings with generalized quantifiers
- Entscheidbarkeit Der Theorie Der Linearen Ordnung In L
- On the elementary theory of linear order