An induction principle for consequence in arithmetic universes

DOI10.1016/J.JPAA.2012.02.040MaRDI QIDQ456884zbMATH OpenOpenAlexFDO

Authors Maria Emilia Maietti, Steven Vickers

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

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

Recommendations

• Universal Induction and True Universal Arithmetic
• scientific article; zbMATH DE number 1163362
• Induction rules in bounded arithmetic
• Enumerative induction and semi-uniform convergence to the truth
• Publication:4487300
• Inductive consequences in the calculus of constructions
• Independent Recursive Axiomatizability in Arithmetic
• Consistency of Heyting arithmetic in natural deduction
• Conditionals, quantification, and strong mathematical induction

Cites work

• scientific article; zbMATH DE number 5695342 (Why is no real title available?)
• scientific article; zbMATH DE number 3904807 (Why is no real title available?)
• scientific article; zbMATH DE number 3940199 (Why is no real title available?)
• scientific article; zbMATH DE number 3959364 (Why is no real title available?)
• scientific article; zbMATH DE number 1840601 (Why is no real title available?)
• A universal characterization of the double powerlocale
• An extension of the Galois theory of Grothendieck
• Categorical concepts for parameterized partial specifications
• Handbook of Spatial Logics
• Inside every model of abstract Stone duality lies an arithmetic universe
• Limits indexed by category-valued 2-functors
• List-arithmetic distributive categories: Locoi
• Modular correspondence between dependent type theories and categories including pretopoi and topoi
• Partial Horn logic and Cartesian categories
• Quotient completion for the foundation of constructive mathematics
• Some points in formal topology.
• Sublocales in formal topology
• Topical categories of domains

Cited in

(6)

• Universal Induction and True Universal Arithmetic
• Fibrations of AU-contexts Beget fibrations of toposes
• Continuity and geometric logic
• Exploring mathematical objects from custom-tailored mathematical universes
• Aspects of categorical recursion theory
• scientific article; zbMATH DE number 7577579 (Why is no real title available?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q456884)