More infinity for a better finitism
type: Item
instance of: scholarly article
title: More infinity for a better finitism
zbMATH Open document ID: 1223.03055
author: Sam Sanders
published in: Annals of Pure and Applied Logic
publication date: 2011-08-26T00:00:00Z
Mathematics Subject Classification ID: 03H05
Mathematics Subject Classification ID: 26E35
zbMATH DE Number: 5943665
zbMATH Keywords: ERNA
zbMATH Keywords: Elementary Recursive Nonstandard Analysis
zbMATH Keywords: nonstandard analysis
zbMATH Keywords: stratified set theory
zbMATH Keywords: metamathematics
zbMATH Keywords: transfer principles
MaRDI profile type: Publication
full work available at URL: j.apal.2010.06.003
OpenAlex ID: W2004563126
cites work: Q5711876
cites work: Number theory and elementary arithmetic†
cites work: Q4215630
cites work: Free-variable axiomatic foundations of infinitesimal analysis: A fragment with finitary consistency proof
cites work: Is Mathematical Rigor Necessary in Physics?
cites work: Q4342446
cites work: Q4384146
cites work: Q5590039
cites work: Axiomatic foundations for Nonstandard Analysis
cites work: Relative set theory: Internal view
cites work: Transfer and a supremum principle for ERNA
cites work: Saturation and Σ2-transfer for ERNA
cites work: Q4821145
cites work: Internal set theory: A new approach to nonstandard analysis
cites work: Relative theory of internal sets
cites work: Fragment of Nonstandard Analysis with a Finitary Consistency Proof
cites work: Q3395521
cites work: Q5703752
cites work: Q4104164
cites work: Dispensing with the continuum
cites work: Q4835607
DOI: 10.1016/J.APAL.2010.06.003
description: scientific article; zbMATH DE number 5943665