The Herbrand topos

DOI10.1017/S0305004113000303zbMath1296.03041arXiv1112.3837OpenAlexW1991951582MaRDI QIDQ5891131

Benno van den Berg

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://arxiv.org/abs/1112.3837

zbMATH Keywords

Herbrand assembliesHerbrand topos

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25)

Related Items (4)

Functoriality of modified realizability ⋮ A functional interpretation for nonstandard arithmetic ⋮ LIFSCHITZ REALIZABILITY AS A TOPOLOGICAL CONSTRUCTION ⋮ Models of intuitionistic set theory in subtoposes of nested realizability toposes

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