Stationary logic of ordinals

DOI10.1016/0168-0072(84)90040-XzbMath0574.03019OpenAlexW2089608743MaRDI QIDQ1062974

Alan H. Mekler

Publication date: 1984

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0168-0072(84)90040-x

zbMATH Keywords

finite determinatenessneighbourhood systemsprimitive recursive decidability

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Logic with extra quantifiers and operators (03C80) Models of other mathematical theories (03C65) Quantifier elimination, model completeness, and related topics (03C10)

Related Items (1)

Obituary: Alan Mekler

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

This page was built for publication: Stationary logic of ordinals