Infinitesimal analysis without the Axiom of Choice

&
Annals of Pure and Applied Logic 172 (6):102959 (2021)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2021.102959

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,031

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Countable products and countable direct sums of compact metrizable spaces in the absence of the Axiom of Choice.Kyriakos Keremedis, Eleftherios Tachtsis & Eliza Wajch - 2023 - Annals of Pure and Applied Logic 174 (7):103283.
A model for intuitionistic non-standard arithmetic.Ieke Moerdijk - 1995 - Annals of Pure and Applied Logic 73 (1):37-51.
The intermediate value theorem in constructive mathematics without choice.Matthew Hendtlass - 2012 - Annals of Pure and Applied Logic 163 (8):1050-1056.
Symmetric submodels of a cohen generic extension.Claude Sureson - 1992 - Annals of Pure and Applied Logic 58 (3):247-261.
TAKEUTI, G. and TITANI, S., Global intuitionistic analysis.A. Tarski - 1986 - Annals of Pure and Applied Logic 31:341-342.
Combinatorial principles in nonstandard analysis.Mauro Nasso & Karel Hrbacek - 2003 - Annals of Pure and Applied Logic 119 (1-3):265-293.
Combinatorial principles in nonstandard analysis.Mauro Di Nasso & Karel Hrbacek - 2003 - Annals of Pure and Applied Logic 119 (1-3):265-293.
Finiteness classes arising from Ramsey-theoretic statements in set theory without choice.Joshua Brot, Mengyang Cao & David Fernández-Bretón - 2021 - Annals of Pure and Applied Logic 172 (6):102961.
Addendum and corrigendum Choice Principles in Hyperuniverses Annals of Pure and Applied Logic 77 (1996) 35–52.Marco Forti & Furio Honsell - 1998 - Annals of Pure and Applied Logic 92 (2):211-214.
Some remarks on the Open Coloring Axiom.Justin Tatch Moore - 2021 - Annals of Pure and Applied Logic 172 (5):102912.

Analytics

Added to PP
2021-02-19

Downloads
18 (#859,297)

6 months
5 (#711,233)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Model Theory.Michael Makkai, C. C. Chang & H. J. Keisler - 1991 - Journal of Symbolic Logic 56 (3):1096.
The set-theoretic multiverse.Joel David Hamkins - 2012 - Review of Symbolic Logic 5 (3):416-449.
A functional interpretation for nonstandard arithmetic.Benno van den Berg, Eyvind Briseid & Pavol Safarik - 2012 - Annals of Pure and Applied Logic 163 (12):1962-1994.
Nonstandard arithmetic and reverse mathematics.H. Jerome Keisler - 2006 - Bulletin of Symbolic Logic 12 (1):100-125.

View all 11 references / Add more references