On ω-consistency and related properties
From MaRDI portal
Publication:3233195
DOI10.2307/2269096zbMath0071.00801OpenAlexW1513501449MaRDI QIDQ3233195
Publication date: 1956
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2269096
Related Items (9)
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 ⋮ Barwise: Infinitary Logic and Admissible Sets ⋮ Some model theoretic results for \(\omega\)-logic ⋮ The role of the Omitting Types Theorem in infinitary logic ⋮ Infinitary calculus for a restricted first-order linear temporal logic without contraction on quantified formulas ⋮ Omitting types theorem in hybrid dynamic first-order logic with rigid symbols
Cites Work
This page was built for publication: On ω-consistency and related properties
