Models of arithmetic and categories with finiteness conditions
DOI10.1016/0168-0072(87)90059-5zbMath0635.03058OpenAlexW2008125838MaRDI QIDQ1097274
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
total ordermodels of arithmeticfragments of arithmeticfiniteness conditionwell ordermodels of \(I\Delta _ 0+EXP\)Peano axioms
Topoi (18B25) First-order arithmetic and fragments (03F30) Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Models of arithmetic and set theory (03C62)
Related Items (1)
Cites Work
- Ultrafilters and types on models of arithmetic
- Overspill and fragments of arithmetic
- Counting $Δ_0$ sets
- On the complexity of models of arithmetic
- Expectations for Inbreeding Depression on Self-Fertilization of Tetraploids
- AN ELEMENTARY THEORY OF THE CATEGORY OF SETS
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Models of arithmetic and categories with finiteness conditions
