Reuniting the antipodes---constructive and nonstandard views of the continuum. Symposium proceedings, San Servolo, Venice, Italy, May 16--22, 1999
From MaRDI portal
Publication:5959193
zbMath0982.00037MaRDI QIDQ5959193
No author found.
Publication date: 24 March 2002
Published in: Synthese Library (Search for Journal in Brave)
Related Items (8)
A footnote to ``The crisis in contemporary mathematics ⋮ Proof-relevance in Bishop-style constructive mathematics ⋮ Direct spectra of Bishop spaces and their limits ⋮ Unnamed Item ⋮ Alpha-theory: An elementary axiomatics for nonstandard analysis ⋮ Unique existence, approximate solutions, and countable choice. ⋮ The consistency of probabilistic regresses: some implications for epistemological infinitism ⋮ Toward a clarity of the extreme value theorem
This page was built for publication: Reuniting the antipodes---constructive and nonstandard views of the continuum. Symposium proceedings, San Servolo, Venice, Italy, May 16--22, 1999
