Extending ω-consistent sets to maximally consistent, ω-complete sets

DOI10.1002/MALQ.19900360503MaRDI QIDQ3033747zbMATH OpenOpenAlexFDO

Authors Michael Thau, Hugues Leblanc, George E. Weaver

Publication date 1990

Published in Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19900360503

zbMATH Keywords

maximally consistent set\(\omega \) - complete set\(\omega \) -consistent sets\(\omega \) -logicHenkin's completeness proof

Mathematics Subject Classification ID

Categoricity and completeness of theories (03C35)

Recommendations

• Henkin's completeness proof: Forty years later
• Unifying some modifications of the Henkin construction
• A note on the \(\omega\)-incompleteness formalization
• The \(\omega{}\)-rule
• Transition of consistency and satisfiability under language extensions

Cited in

(6)

• Henkin's completeness proof: Forty years later
• Unifying some modifications of the Henkin construction
• Unwinding modal paradoxes on digraphs
• On consistent subsets of large sets of satisfiable sentences
• Transition of consistency and satisfiability under language extensions
• A note on the \(\omega\)-incompleteness formalization

This page was built for publication: Extending ω-consistent sets to maximally consistent, ω-complete sets

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