A generalization of the concept of ω-consistency

DOI10.2307/2268617zbMath0056.01104OpenAlexW1565183458MaRDI QIDQ5827959

Leon Henkin

Publication date: 1954

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

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

zbMATH Keywords

Philosophy and foundations of mathematics

Related Items (14)

The Interior Operator Logic and Product Topologies ⋮ Leon Henkin the Reviewer ⋮ The Countable Henkin Principle ⋮ From Subsystems of Analysis to Subsystems of Set Theory ⋮ Forcing, downward Löwenheim-Skolem and omitting types theorems, institutionally ⋮ The scope of Gödel's first incompleteness theorem ⋮ Four studies in metamathematics ⋮ Barwise: Infinitary Logic and Admissible Sets ⋮ Completeness theorems for continuous functions and product topologies ⋮ In Memoriam: Leon Albert Henkin 1921–2006 ⋮ Leon Henkin ⋮ On ordered fields and definite functions ⋮ The role of the Omitting Types Theorem in infinitary logic ⋮ Omitting types theorem in hybrid dynamic first-order logic with rigid symbols

Cites Work

• Einige Betrachtungen über die Begriffe der ω-Widerspruchsfreiheit und der ω-Vollständigkeit
• Eine Bemerkung zu Henkin's Beweis für die Vollständigkeit des Prädikatenkalküls der ersten Stufe

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