Non-standard analysis in WKL0

Research output: Contribution to journalArticlepeer-review

6 Citations (Scopus)


Within a weak subsystem of second-order arithmetic WKL0, we develop basic part of non-standard analysis up to the Peano existence theorem.

Original languageEnglish
Pages (from-to)396-400
Number of pages5
JournalMathematical Logic Quarterly
Issue number3
Publication statusPublished - 1997 Jan 1


  • Non-standard analysis
  • Second-order arithmetic
  • WKL

ASJC Scopus subject areas

  • Logic

Fingerprint Dive into the research topics of 'Non-standard analysis in WKL<sub>0</sub>'. Together they form a unique fingerprint.

Cite this