The model theory of generic cuts

DOI10.1515/9781614516873.281MaRDI QIDQ5213572zbMATH OpenOpenAlexFDO

Authors Tin Lok Wong, Richard Kaye

Publication date 3 February 2020

Published in Logic Without Borders (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/b6035e842ef2081918ef0d1d4be54fec1e71ebc6

zbMATH Keywords

generic cutsmodels of arithmetic

Mathematics Subject Classification ID

Quantifier elimination, model completeness, and related topics (03C10) Models of arithmetic and set theory (03C62) Nonstandard models of arithmetic (03H15)

Recommendations

• Generic cuts in models of arithmetic
• Truth in generic cuts
• CP‐generic expansions of models of Peano Arithmetic
• Elementary pairs of models
• On elementary cuts in recursively saturated models of Peano Arithmetic

Cited in

(6)

• Algebraic combinatorics in bounded induction
• Cuts and overspill properties in models of bounded arithmetic
• Generic cuts in models of arithmetic
• CP‐generic expansions of models of Peano Arithmetic
• Truth in generic cuts
• Constant regions in models of arithmetic

This page was built for publication: The model theory of generic cuts

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