Syntax and semantics of the logic \({\mathcal L}_{\omega\omega}^\lambda\)
From MaRDI portal
Publication:1130233
DOI10.1305/ndjfl/1039700744zbMath0904.03005MaRDI QIDQ1130233
Publication date: 20 August 1998
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1039700744
completeness; Grothendieck topos; first-order logic extended by quantification over functions; Heyting categories; Heyting-valued models; locally connected geometric morphisms
03G30: Categorical logic, topoi
18B25: Topoi
03C90: Nonclassical models (Boolean-valued, sheaf, etc.)
03B40: Combinatory logic and lambda calculus
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Open maps of toposes
- Molecular toposes
- First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
- Representing topoi by topological groupoids
- Classifying toposes for first-order theories
- Toposes are Cohomologically Equivalent to Spaces
- La logique des topos
- Constructive Sheaf Semantics
- Topological completeness for higher-order logic
- Topological representation of the λ-calculus
- Completeness in the theory of types