The arithmetic of cuts in models of arithmetic

DOI10.1002/malq.201200062zbMath1300.03030OpenAlexW2131691859MaRDI QIDQ2856636

Richard W. Kaye

Publication date: 30 October 2013

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.201200062

zbMATH Keywords

arithmeticcutinitial segmentnonstandard model

Mathematics Subject Classification ID

Nonstandard models of arithmetic (03H15) Models of arithmetic and set theory (03C62)

Related Items (1)

Algebraic combinatorics in bounded induction

Cites Work

• Normal subgroups of nonstandard symmetric and alternating groups
• Infinitary definitions of equivalence relations in models of PA
• A note on the undefinability of cuts
• Unnamed Item
• Unnamed Item

This page was built for publication: The arithmetic of cuts in models of arithmetic