A generalization of the concept ofω-completeness

DOI10.2307/2964052zbMath0081.01201OpenAlexW1553960843MaRDI QIDQ3248967

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

Related Items (11)

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

Cites Work

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

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