The Herbrand topos
From MaRDI portal
Publication:5891132
DOI10.1017/S0305004113000303zbMath1272.53050OpenAlexW1991951582MaRDI QIDQ5891132
Debora Impera, Luis J. Alías, Marco Rigoli
Publication date: 2 September 2013
Published in: Mathematical Proceedings of the Cambridge Philosophical Society (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s0305004113000303
Differential geometry of immersions (minimal, prescribed curvature, tight, etc.) (53C42) Global submanifolds (53C40) Global differential geometry of Lorentz manifolds, manifolds with indefinite metrics (53C50)
Related Items (2)
Weak maximum principles and geometric estimates for spacelike hypersurfaces in generalized Robertson-Walker spacetimes ⋮ Spacelike Hypersurfaces in Conformally Stationary Spacetimes
Cites Work
- The modified realizability topos
- A functional interpretation for nonstandard arithmetic
- Realizability. An introduction to its categorical side
- Variations on a thesis: intuitionism and computability
- Constructivism in mathematics. An introduction. Volume I
- Some free constructions in realizability and proof theory
- Bounded modified realizability
This page was built for publication: The Herbrand topos
