A generalization of the concept ofω-completeness

DOI10.2307/2964052MaRDI QIDQ3248967zbMATH OpenOpenAlexFDO

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

(12)

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

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)