Some remarks on equivalence in infinitary and stationary logic

DOI10.1305/NDJFL/1093870690zbMATH Open0554.03022OpenAlexW2090581211MaRDI QIDQ759747FDOQ759747

Authors Matt Kaufmann 

Publication date 1984

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1305/ndjfl/1093870690

zbMATH Keywords

stationary logic

Mathematics Subject Classification ID

Other infinitary logic (03C75)

Recommendations

• Infinitary Equilibrium Logic and Strong Equivalence
• Stationary sets and infinitary logic
• A note on infinitary continuous logic
• A note on extensions of infinitary logic
• Some remarks on the proof-theory and the semantics of infinitary modal logic
• On equivalence of infinitary formulas under the stable model semantics
• On asymptotic divergency in equivalential logics
• A note on definability in equational logic
• Almost Everywhere Equivalence of Logics in Finite Model Theory
• Infinitary equilibrium logic and strongly equivalent logic programs

Cited In (12)

• Model constructions in stationary logic. II: Definable ultrapowers
• Stationary logic and its friends. I
• Stationary logic and its friends. II
• Infinitary Equilibrium Logic and Strong Equivalence
• Title not available (Why is no real title available?)
• Stationary sets and infinitary logic
• ω-Trees in stationary logic
• Infinitary definitions of equivalence relations in models of PA
• The Hanf numbers of stationary logic. II: Comparison with other logics
• Title not available (Why is no real title available?)
• The Hanf number of stationary logic
• Automorphism properties of stationary logic

This page was built for publication: Some remarks on equivalence in infinitary and stationary logic

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