A generalization of the concept of ω-consistency
From MaRDI portal
Publication:5827959
DOI10.2307/2268617zbMath0056.01104OpenAlexW1565183458MaRDI QIDQ5827959
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
Related Items
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
