A new theorem on definability in a positive second order logic with countable conjunctions and disjunctions
From MaRDI portal
Publication:5665167
DOI10.3792/pja/1195519721zbMath0252.02006OpenAlexW1979291990MaRDI QIDQ5665167
Publication date: 1972
Published in: Proceedings of the Japan Academy, Series A, Mathematical Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.3792/pja/1195519721
Related Items (2)
A remark on Scott's interpolation theorem for Lω1ω ⋮ Definability theorem for the intuitionistic predicate logic with equality
Cites Work
- Unnamed Item
- Unnamed Item
- A theorem in the theory of definition
- Object logic and morphism logic
- Model theory on a positive second order logic with countable conjunctions and disjunctions
- Some new results in definability
- On a generalization of a theorem of E. W. Beth
- Interpolation Theorem and Characterization Theorem
This page was built for publication: A new theorem on definability in a positive second order logic with countable conjunctions and disjunctions