Generic cuts in models of arithmetic
From MaRDI portal
Publication:5387325
DOI10.1002/malq.200710017zbMath1138.03031MaRDI 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
Truth in generic cuts, Constant regions in models of arithmetic, Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017, Algebraic combinatorics in bounded induction
Cites Work