An induction principle for consequence in arithmetic universes

DOI10.1016/J.JPAA.2012.02.040zbMATH Open1253.03099OpenAlexW2078451079MaRDI QIDQ456884FDOQ456884

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

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

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)

Cites Work

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

Cited In (6)

• Title not available (Why is that?)
• Continuity and geometric logic
• Universal Induction and True Universal Arithmetic
• Fibrations of AU-contexts Beget fibrations of toposes
• Exploring mathematical objects from custom-tailored mathematical universes
• Aspects of categorical recursion theory

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)