Open AccessElementary Cuts in Saturated Models of Peano Arithmetic
Author(s) -
James H. Schmerl
Publication year - 2012
Publication title -
notre dame journal of formal logic
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.505
H-Index - 29
eISSN - 1939-0726
pISSN - 0029-4527
DOI - 10.1215/00294527-1626491
Subject(s) - peano axioms , combinatorics , mathematics , arithmetic , discrete mathematics
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom