A generalization of the concept ofω-completeness

DOI10.2307/2964052zbMATH Open0081.01201OpenAlexW1553960843MaRDI QIDQ3248967FDOQ3248967

Authors: Leon Henkin 

Publication date: 1957

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2964052

zbMATH Keywords

philosophy and foundations of mathematics

Cites Work

• Einige Betrachtungen über die Begriffe der ω-Widerspruchsfreiheit und der ω-Vollständigkeit

Cited In (11)

• Investigations into quantified modal logic. I
• Modal logic with subjunctive conditionals and dispositional predicates
• A completeness theorem for the general interpreted modal calculus MC**nu of A. Bressan
• The countable Henkin principle
• Relation algebras and function semigroups
• Leon Henkin
• Leon Henkin the reviewer
• In Memoriam: Leon Albert Henkin 1921–2006
• Four studies in metamathematics
• Barwise: Infinitary Logic and Admissible Sets
• Truth Definitions and Consistency Proofs

This page was built for publication: A generalization of the concept ofω-completeness

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