Fragment of Nonstandard Analysis with a Finitary Consistency Proof
From MaRDI portal
Publication:3594485
DOI10.2178/BSL/1174668218zbMATH Open1129.03039OpenAlexW2077616102MaRDI QIDQ3594485FDOQ3594485
Authors: Michal Rössler, Emil Jeřábek 
Publication date: 8 August 2007
Published in: The Bulletin of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2178/bsl/1174668218
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
- Non-standard analysis
- Cuts, consistency statements and interpretations
- Title not available (Why is that?)
- Title not available (Why is that?)
- Internal set theory: A new approach to nonstandard analysis
- Free-variable axiomatic foundations of infinitesimal analysis: A fragment with finitary consistency proof
- Locally finite theories
- Groundwork for weak analysis
- Standard foundations for nonstandard analysis
Cited In (5)
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)
