Premium
Non‐standard Analysis in WKL 0
Author(s) -
Tanaka Kazuyuki
Publication year - 1997
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.19970430312
Subject(s) - peano axioms , mathematics , second order arithmetic , arithmetic , order (exchange) , calculus (dental) , mathematical economics , discrete mathematics , economics , medicine , dentistry , finance
Within a weak subsystem of second‐order arithmetic WKL 0 , we develop basic part of non‐standard analysis up to the Peano existence theorem.
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