Undecidable Theories in Stationary Logic

DOI10.2307/2044036zbMATH Open0515.03002OpenAlexW4240597572MaRDI QIDQ3661542FDOQ3661542

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)

Cites Work

• Title not available (Why is that?)
• Stationary logic of finitely determinate structures
• Stationary Logic and Ordinals
• A correction to “stationary logic”
• Order types of ordinals in models of set theory

Cited In (3)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3661542)