INTERPRETATIONS BETWEENω-LOGIC AND SECOND-ORDER ARITHMETIC
Work
Year: 2014
Type: article
Abstract: This paper addresses the structures ( M, ω ) and ( ω , SSy( M )), where M is a nonstandard model of PA and ω is the standard cut. It is known that ( ω , SSy( M )) is interpretable in ( M, ω ). Our ma... more
Source: Journal of Symbolic Logic
Author Richard Kaye
Institution University of Birmingham
Cites: 11
Cited by:
Related to: 10
FWCI:
Citation percentile (by year/subfield):
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: green