Undecidable Theories in Stationary Logic

DOI10.2307/2044036zbMath0515.03002OpenAlexW4240597572MaRDI QIDQ3661542

Hans-Peter Tuschik, Martin Weese, Detlef Seese

Publication date: 1982

Full work available at URL: https://doi.org/10.2307/2044036

zbMATH Keywords

decidabilitystationary logic

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Other infinitary logic (03C75)

Related Items (3)

The expressive power of Malitz quantifiers for linear orderings ⋮ Stationary Logic and Ordinals ⋮ Applications of Boolean powers of algebraic systems

Cites Work

• Unnamed Item
• Stationary logic of finitely determinate structures
• A correction to “stationary logic”
• Stationary Logic and Ordinals
• Order types of ordinals in models of set theory

This page was built for publication: Undecidable Theories in Stationary Logic