An induction principle for consequence in arithmetic universes

DOI10.1016/j.jpaa.2012.02.040zbMath1253.03099OpenAlexW2078451079MaRDI QIDQ456884

Steven Vickers, Maria Emilia Maietti

Publication date: 16 October 2012

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jpaa.2012.02.040

zbMATH Keywords

arithmetic universesinduction principles

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Metamathematics of constructive systems (03F50) Presheaves and sheaves in general topology (54B40)

Related Items (5)

Continuity and geometric logic ⋮ Fibrations of AU-contexts beget fibrations of toposes ⋮ Unnamed Item ⋮ Exploring mathematical objects from custom-tailored mathematical universes ⋮ Aspects of Categorical Recursion Theory

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Quotient completion for the foundation of constructive mathematics
• List-arithmetic distributive categories: Locoi
• Partial Horn logic and Cartesian categories
• Limits indexed by category-valued 2-functors
• Some points in formal topology.
• A universal characterization of the double powerlocale
• An extension of the Galois theory of Grothendieck
• Modular correspondence between dependent type theories and categories including pretopoi and topoi
• Handbook of Spatial Logics
• Topical categories of domains
• Categorical concepts for parameterized partial specifications
• Sublocales in formal topology

This page was built for publication: An induction principle for consequence in arithmetic universes