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

DOI10.1002/MALQ.19900360503zbMATH Open0692.03023OpenAlexW2151480327MaRDI QIDQ3033747FDOQ3033747

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

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

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)

Cited In (6)

• Unwinding modal paradoxes on digraphs
• On consistent subsets of large sets of satisfiable sentences
• Transition of consistency and satisfiability under language extensions
• Henkin's completeness proof: Forty years later
• Unifying some modifications of the Henkin construction
• 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)