Undecidable Theories in Stationary Logic

DOI10.2307/2044036MaRDI QIDQ3661542zbMATHOpenAlexFDO

Authors 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

• scientific article; zbMATH DE number 3689355 (Why is no real title available?)
• A correction to “stationary logic”
• Order types of ordinals in models of set theory
• Stationary Logic and Ordinals
• Stationary logic of finitely determinate structures

Cited in

(3)

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

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)