Interpolation Theorem and Characterization Theorem
From MaRDI portal
Publication:5650375
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)