Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
8904297 | Annals of Pure and Applied Logic | 2018 | 21 Pages |
Abstract
We give a threefold contribution: constructive content and proof-theoretical properties of nonstandard arithmetic; filling a gap in the literature; being in line with nonstandard methods to analyse compactness arguments.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
Authors
Bruno Dinis, Jaime Gaspar,