Syntax and semantics of the logic \({\mathcal L}_{\omega\omega}^\lambda\)

DOI10.1305/ndjfl/1039700744zbMath0904.03005OpenAlexW1490103217MaRDI QIDQ1130233

Carsten Butz

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

zbMATH Keywords

completenessGrothendieck toposfirst-order logic extended by quantification over functionsHeyting categoriesHeyting-valued modelslocally connected geometric morphisms

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Combinatory logic and lambda calculus (03B40)

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

This page was built for publication: Syntax and semantics of the logic \({\mathcal L}_{\omega\omega}^\lambda\)