Models of arithmetic and categories with finiteness conditions

DOI10.1016/0168-0072(87)90059-5MaRDI QIDQ1097274zbMATH OpenOpenAlexFDO

Authors Radu Diaconescu, Laurence Kirby

Publication date 1987

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0168-0072(87)90059-5

zbMATH Keywords

models of arithmetictotal orderfragments of arithmeticfiniteness conditionwell ordermodels of \(I\Delta _ 0+EXP\)Peano axioms

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Topoi (18B25) Models of arithmetic and set theory (03C62)

Recommendations

• On interpretations of arithmetic and set theory
• scientific article; zbMATH DE number 4065236
• Reflection into models of finite decidable FP-sketches in an arithmetic universe
• scientific article; zbMATH DE number 5695342
• A model for intuitionistic non-standard arithmetic

Cites work

• scientific article; zbMATH DE number 3689386 (Why is no real title available?)
• scientific article; zbMATH DE number 3784875 (Why is no real title available?)
• scientific article; zbMATH DE number 3528455 (Why is no real title available?)
• scientific article; zbMATH DE number 3574077 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• AN ELEMENTARY THEORY OF THE CATEGORY OF SETS
• Counting $Δ_0$ sets
• Expectations for Inbreeding Depression on Self-Fertilization of Tetraploids
• On the complexity of models of arithmetic
• Overspill and fragments of arithmetic
• Ultrafilters and types on models of arithmetic

Cited in

(9)

• On Comparability in a Topos
• Ultrafilters and types on models of arithmetic
• scientific article; zbMATH DE number 1522861 (Why is no real title available?)
• Models of arithmetic in \(A\)-isols
• scientific article; zbMATH DE number 4106837 (Why is no real title available?)
• scientific article; zbMATH DE number 2236624 (Why is no real title available?)
• On cofinal extensions of models of arithmetic
• On interpretations of bounded arithmetic and bounded set theory
• AXIOMS FOR FINITE COLLAPSE MODELS OF ARITHMETIC

This page was built for publication: Models of arithmetic and categories with finiteness conditions

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