Fragment of Nonstandard Analysis with a Finitary Consistency Proof
From MaRDI portal
(Redirected from Publication:3594485)
Recommendations
- scientific article; zbMATH DE number 761272
- Free-variable axiomatic foundations of infinitesimal analysis: A fragment with finitary consistency proof
- scientific article; zbMATH DE number 3928998
- Nonstandard analysis and axiom of determinateness
- A constructive consistency proof of a fragment of set theory
- scientific article; zbMATH DE number 2186968
- Finiteness axioms on fragments of intuitionistic set theory
- Unprovability of consistency statements in fragments of bounded arithmetic
- "On the plausibility of nonstandard proofs in analysis"
- σ‐fragmentability and analyticity
Cites work
- Cuts, consistency statements and interpretations
- Free-variable axiomatic foundations of infinitesimal analysis: A fragment with finitary consistency proof
- Groundwork for weak analysis
- scientific article; zbMATH DE number 227056 (Why is no real title available?)
- scientific article; zbMATH DE number 3241254 (Why is no real title available?)
- Internal set theory: A new approach to nonstandard analysis
- Locally finite theories
- Non-standard analysis
- Standard foundations for nonstandard analysis
Cited in
(7)- A note on non-classical nonstandard arithmetic
- ERNA and Friedman's Reverse Mathematics
- Saturation and Σ2-transfer for ERNA
- Transfer and a supremum principle for ERNA
- scientific article; zbMATH DE number 761272 (Why is no real title available?)
- Free-variable axiomatic foundations of infinitesimal analysis: A fragment with finitary consistency proof
- More infinity for a better finitism
This page was built for publication: Fragment of Nonstandard Analysis with a Finitary Consistency Proof
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3594485)
