Interpolation Theorem and Characterization Theorem

DOI10.4288/JAFPOS1956.4.85MaRDI QIDQ5650375zbMATH OpenOpenAlexFDO

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)

• Positive existential definability of parallelism in terms of betweenness in Archimedean ordered affine geometry
• A new theorem on definability in a positive second order logic with countable conjunctions and disjunctions
• 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)