Generic cuts in models of arithmetic
From MaRDI portal
Publication:5387325
DOI10.1002/malq.200710017zbMath1138.03031OpenAlexW2056474911MaRDI QIDQ5387325
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
Related Items (4)
Constant regions in models of arithmetic ⋮ Truth in generic cuts ⋮ Algebraic combinatorics in bounded induction ⋮ Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017
Cites Work
This page was built for publication: Generic cuts in models of arithmetic