Premium
Forcing for hat inductive definitions in arithmetic
Author(s) -
Sato Kentaro
Publication year - 2014
Publication title -
mathematical logic quarterly
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.473
H-Index - 28
eISSN - 1521-3870
pISSN - 0942-5616
DOI - 10.1002/malq.201300044
Subject(s) - forcing (mathematics) , mathematics , arithmetic , second order arithmetic , algebra over a field , discrete mathematics , pure mathematics , mathematical analysis , peano axioms
By forcing, we give a direct interpretation ofID ̂ ω into Avigad's FP . To the best of the author's knowledge, this is one of the simplest applications of forcing to “real problems”.
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