Interpolation Theorem and Characterization Theorem
From MaRDI portal
Publication:5650375
DOI10.4288/jafpos1956.4.85zbMath0241.02005OpenAlexW2046817379MaRDI QIDQ5650375
Publication date: 1972
Published in: Annals of the Japan Association for Philosophy of Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.4288/jafpos1956.4.85
Classical first-order logic (03B10) Other infinitary logic (03C75) Proof theory and constructive mathematics (03F99) Other classical first-order model theory (03C68)
Related Items (5)
Preservation theorem and relativization theorem for cofinal extensions ⋮ A new theorem on definability in a positive second order logic with countable conjunctions and disjunctions ⋮ Some investigations on many valued logics ⋮ Positive existential definability of parallelism in terms of betweenness in Archimedean ordered affine geometry ⋮ A remark on Scott's interpolation theorem for Lω1ω
This page was built for publication: Interpolation Theorem and Characterization Theorem
