Generic cuts in models of arithmetic

DOI10.1002/MALQ.200710017MaRDI QIDQ5387325zbMATH OpenOpenAlexFDO

Authors Richard Kaye

Publication date 8 May 2008

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

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

zbMATH Keywords

indicatorsinitial segmentsmodels of arithmeticPeano arithmetic

Mathematics Subject Classification ID

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

Recommendations

• Truth in generic cuts
• Constant regions in models of arithmetic
• The model theory of generic cuts
• On elementary cuts in recursively saturated models of Peano Arithmetic
• The arithmetic of cuts in models of arithmetic

Cites work

• scientific article; zbMATH DE number 51556 (Why is no real title available?)
• scientific article; zbMATH DE number 663795 (Why is no real title available?)
• The structure of models of Peano arithmetic

Cited in

(9)

• Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017
• Algebraic combinatorics in bounded induction
• The arithmetic of cuts in models of arithmetic
• Cuts and overspill properties in models of bounded arithmetic
• Topological models of arithmetic
• The model theory of generic cuts
• Regular cuts in models of bounded arithmetic
• Truth in generic cuts
• Constant regions in models of arithmetic

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

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