Constructive Sheaf Semantics
From MaRDI portal
Recommendations
- Constructive sheaf models of type theory
- scientific article; zbMATH DE number 5263068
- Constructible Sheaves
- scientific article; zbMATH DE number 4027461
- Constructible sheaves on schemes
- Sheaf Representations and Duality in Logic
- Sheaf toposes for realizability
- scientific article; zbMATH DE number 895270
- scientific article; zbMATH DE number 4087661
- scientific article; zbMATH DE number 2068089
Cites work
Cited in
(20)- Syntax and semantics of the logic \({\mathcal L}_{\omega\omega}^\lambda\)
- A Boolean model of ultrafilters
- Algebraic proofs of cut elimination
- A sheaf-theoretic foundation for nonstandard analysis
- Classifying toposes for first-order theories
- Syntactic forcing models for coherent logic
- Possible worlds and resources: The semantics of \(\mathbf{BI}\)
- Constructive Semantics: On the Necessity of an Appropriate Concept of Schematization
- Forcing in Proof Theory
- An elementary definability theorem for first order logic
- Separating Markov's principles
- On the Weihrauch degree of the additive Ramsey theorem
- Hilbert's tenth problem for term algebras with a substitution operator
- Complemented subsets and Boolean-valued, partial functions
- Defining long words succinctly in FO and MSO
- On the first-order parts of problems in the Weihrauch degrees
- Algorithmically random series
- Ideal presentations and numberings of some classes of effective quasi-Polish spaces
- Lower bounds on () and other properties of -register machines
- Reifying dynamical algebra: maximal ideals in countable rings, constructively
This page was built for publication: Constructive Sheaf Semantics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4351921)
