The arithmetic of cuts in models of arithmetic

DOI10.1002/MALQ.201200062MaRDI QIDQ2856636zbMATH OpenOpenAlexFDO

Authors Richard Kaye

Publication date 30 October 2013

Published in Mathematical Logic Quarterly (MLQ) (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

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

Recommendations

• scientific article; zbMATH DE number 22353
• Regular cuts in models of bounded arithmetic
• Generic cuts in models of arithmetic
• Cuts and overspill properties in models of bounded arithmetic
• On elementary cuts in recursively saturated models of Peano Arithmetic

Cites work

• A note on the undefinability of cuts
• scientific article; zbMATH DE number 51556 (Why is no real title available?)
• scientific article; zbMATH DE number 638942 (Why is no real title available?)
• Infinitary definitions of equivalence relations in models of PA
• Normal subgroups of nonstandard symmetric and alternating groups

Cited in

(11)

• Algebraic combinatorics in bounded induction
• Cuts and overspill properties in models of bounded arithmetic
• On Constructive Cut Admissibility in Deduction Modulo
• scientific article; zbMATH DE number 4075042 (Why is no real title available?)
• scientific article; zbMATH DE number 4075043 (Why is no real title available?)
• scientific article; zbMATH DE number 22353 (Why is no real title available?)
• Cuts in hyperfinite time lines
• Topological models of arithmetic
• Adding standardness to nonstandard arithmetic
• Generic cuts in models of arithmetic
• Regular cuts in models of bounded arithmetic

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

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