Stationary logic of ordinals
From MaRDI portal
Publication:1062974
DOI10.1016/0168-0072(84)90040-XzbMath0574.03019MaRDI QIDQ1062974
Publication date: 1984
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
03B25: Decidability of theories and sets of sentences
03C80: Logic with extra quantifiers and operators
03C65: Models of other mathematical theories
03C10: Quantifier elimination, model completeness, and related topics
Related Items
Cites Work
- Unnamed Item
- The monadic theory of order
- The computational complexity of logical theories
- Model theory
- The first order properties of products of algebraic systems
- Stationary logic of finitely determinate structures
- Stationary Logic and Ordinals
- Entscheidbarkeit von Theorien in Logiken mit verallgemeinerten Quantoren
- Generalized Quantifiers and Compact Logic
- Stationary logic