Interpolation Theorem and Characterization Theorem

DOI10.4288/JAFPOS1956.4.85zbMATH Open0241.02005OpenAlexW2046817379MaRDI QIDQ5650375FDOQ5650375

Authors: Nobuyoshi Motohashi 

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

Mathematics Subject Classification ID

Classical first-order logic (03B10) Other infinitary logic (03C75) Proof theory and constructive mathematics (03F99) Other classical first-order model theory (03C68)

Cited In (5)

• A new theorem on definability in a positive second order logic with countable conjunctions and disjunctions
• Positive existential definability of parallelism in terms of betweenness in Archimedean ordered affine geometry
• Some investigations on many valued logics
• A remark on Scott's interpolation theorem for L_ω1ω
• Preservation theorem and relativization theorem for cofinal extensions

This page was built for publication: Interpolation Theorem and Characterization Theorem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5650375)