Advanced search

Browse by subject

Browse by provider

Browse by language

Content Details
Normal View
CIP View

Reverse Mathematics and parameter-free T...

Berg, Benno van den...

Free

Share this content

Reverse Mathematics and parameter-free Transfer by Berg, Benno van den ( Author )

Content Provider	Lemonjar Open Access
Publisher	Australian National University
Publication Date	06-09-2023
Summary	Recently, conservative extensions of Peano and Heyting arithmetic in the spirit of Nelson's axiomatic approach to Nonstandard Analysis, have been proposed. In this paper, we study the Transfer axiom of Nonstandard Analysis restricted to formulas without parameters. Based on this axiom, we formulate a base theory for the Reverse Mathematics of Nonstandard Analysis and prove some natural reversals, and show that most of these equivalences do not hold in the absence of parameter-free Transfer.
ISBN	-
Item Type	Article
File Type	pdf
File Size	29.34 KB
Language	English
Subjects	-
Unlimited	MYR 0.01
Total read	-
URL	http://arxiv.org/abs/1409.6881

Citation

Review the full bibliography data and make any necessary corrections before using. Always consult your library resources for the exact formatting and punctuation guidelines.

AMA 11th EditionReferences

Berg, Benno van den. Reverse Mathematics and parameter-free Transfer. Australian National University. September 06, 2023. Accessed September 20, 2024. https://online.provdatabase.com/cite/23594

APA 7th EditionReferences

Berg, Benno van den. (2023). Reverse Mathematics and parameter-free Transfer. Australian National University. https://online.provdatabase.com/cite/23594

Chicago 17th EditionReferences

Berg, Benno van den. Reverse Mathematics and parameter-free Transfer. Australian National University. 2023. https://online.provdatabase.com/cite/23594

HarvardReferences

Berg, Benno van den. (2023). Reverse Mathematics and parameter-free Transfer. [Online]. Australian National University. Available from: https://online.provdatabase.com/cite/23594. (Accessed 20 September 2024).

Harvard AustraliaReferences

Berg, Benno van den, 2023, Reverse Mathematics and parameter-free Transfer, Australian National University, viewed 20 September 2024, <https://online.provdatabase.com/cite/23594>

MLA 9th EditionWorks Cited

Berg, Benno van den. Reverse Mathematics and parameter-free Transfer. Australian National University, 2023. PROV Database, https://online.provdatabase.com/cite/23594.

Share this eBook