Peano Arithmetic and Hyper-Ramsey Logic
From MaRDI portal
Publication:3028994
DOI10.2307/2000376zbMath0626.03030OpenAlexW4233015408MaRDI QIDQ3028994
Publication date: 1986
Full work available at URL: https://doi.org/10.2307/2000376
Logic with extra quantifiers and operators (03C80) Models of arithmetic and set theory (03C62) Second- and higher-order arithmetic and fragments (03F35) Second- and higher-order model theory (03C85)
Related Items (2)
Cites Work
This page was built for publication: Peano Arithmetic and Hyper-Ramsey Logic