A New Approach to Constructive Topology and Measure Theory

Mathematical Logic Quarterly 35 (6):539-550 (1989)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19890350610

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,122

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

On the formal points of the formal topology of the binary tree.Silvio Valentini - 2002 - Archive for Mathematical Logic 41 (7):603-618.
Why Topology in the Minimalist Foundation Must be Pointfree.Maria Emilia Maietti & Giovanni Sambin - 2013 - Logic and Logical Philosophy 22 (2):167-199.
Metric Boolean algebras and constructive measure theory.Thierry Coquand & Erik Palmgren - 2002 - Archive for Mathematical Logic 41 (7):687-704.
Gunk, Topology and Measure.Frank Arntzenius - 2004 - In Dean Zimmerman (ed.), Oxford Studies in Metaphysics: Volume 4. Oxford University Press.
Non-deterministic inductive definitions.Benno van den Berg - 2013 - Archive for Mathematical Logic 52 (1-2):113-135.
Quantum Covers in Quantum Measure Theory.Sumati Surya & Petros Wallden - 2010 - Foundations of Physics 40 (6):585-606.
From sets and types to topology and analysis: towards practicable foundations for constructive mathematics.Laura Crosilla & Peter Schuster (eds.) - 2005 - New York: Oxford University Press.
A nonstandard proof of a lemma from constructive measure theory.David A. Ross - 2006 - Mathematical Logic Quarterly 52 (5):494-497.
Objects: A Study in Kantian Formal Epistemology.Giovanni Boniolo & Silvio Valentini - 2012 - Notre Dame Journal of Formal Logic 53 (4):457-478.
In defense of a constructive, information-based approach to decision theory.M. R. Yilmaz - 1997 - Theory and Decision 43 (1):21-44.
Cohomology for Anyone.David A. Rabson, John F. Huesman & Benji N. Fisher - 2003 - Foundations of Physics 33 (12):1769-1796.
Intuitionistic Overlap Structures.Francesco Ciraulo - 2013 - Logic and Logical Philosophy 22 (2):201-212.
Aspects of general topology in constructive set theory.Peter Aczel - 2006 - Annals of Pure and Applied Logic 137 (1-3):3-29.
Apartness, Topology, and Uniformity: a Constructive View.Douglas Bridges, Peter Schuster & Luminiţa Vîţă - 2002 - Mathematical Logic Quarterly 48 (4):16-28.
A constructive semantics for non-deducibility.Francesco Ciraulo - 2008 - Mathematical Logic Quarterly 54 (1):35-48.

Analytics

Added to PP
2013-12-01

Downloads
15 (#868,066)

6 months
1 (#1,346,405)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Intuitionism.Arend Heyting - 1956 - Amsterdam,: North-Holland Pub. Co..
Foundations of Constructive Analysis.John Myhill - 1972 - Journal of Symbolic Logic 37 (4):744-747.
Intuitionism.A. Heyting - 1956 - Amsterdam,: North-Holland Pub. Co..
Notes on constructive mathematics.Per Martin-Löf - 1970 - Stockholm,: Almqvist & Wiksell.

Add more references