Peano Arithmetic and Hyper-Ramsey Logic
From MaRDI portal
Publication:3028994
DOI10.2307/2000376zbMath0626.03030MaRDI QIDQ3028994
Publication date: 1986
Full work available at URL: https://doi.org/10.2307/2000376
Peano arithmetic; fragments of second-order arithmetic; natural models; Ramsey logic; Ramsey quantifier
03C80: Logic with extra quantifiers and operators
03C62: Models of arithmetic and set theory
03F35: Second- and higher-order arithmetic and fragments
03C85: Second- and higher-order model theory
Related Items
Cites Work