Access the full text.
Sign up today, get DeepDyve free for 14 days.
G. Sambin (1995)
Pretopologies and completeness proofsJournal of Symbolic Logic, 60
S. Vickers (2006)
Compactness in locales and in formal topologyAnn. Pure Appl. Log., 137
P. Johnstone (1990)
TOPOSES AND LOCAL SET THEORIES: AN INTRODUCTION (Oxford Logic Guides 14)Bulletin of The London Mathematical Society, 22
G. Sambin (2003)
Some points in formal topologyTheor. Comput. Sci., 305
E. Bishop (1970)
Mathematics as a Numerical LanguageStudies in logic and the foundations of mathematics, 60
A. Simpson (2005)
Constructive Set Theories and their Category-theoretic Models
Giulia Battilotti, G. Sambin (2006)
Pretopologies and a uniform presentation of sup-lattices, quantales and framesAnn. Pure Appl. Log., 137
Akiko Kino, J. Myhill, R. Vesley (1970)
Intuitionism and Proof Theory
Bengt Nordström, Kent Petersson, Jan Smith (1990)
Programming in Martin-Lo¨f's type theory: an introduction
G. Battilotti (2006)
30Annals of Pure and Applied Logic, 137
M. Maietti (2005)
Modular correspondence between dependent type theories and categories including pretopoi and topoiMathematical Structures in Computer Science, 15
A. Troelstra, D. Dalen, A. Heyting (1988)
Constructivism in Mathematics: An Introduction
G. Sambin (1987)
Intuitionistic Formal Spaces — A First Communication
D. Skordev (2011)
Mathematical Logic and Its Applications
J. Bell (1988)
Toposes and local set theories - an introduction
T. Coquand, G. Sambin, Jan Smith, S. Valentini (2003)
Inductively generated formal topologiesAnn. Pure Appl. Log., 124
P. Martin-Löf (2006)
100 years of Zermelo's axiom of choice: what was the problem with it?Comput. J., 49
P. Martin-Löf (1970)
Notes on constructive mathematics
E. Bishop (2012)
Foundations of Constructive Analysis
M. Maietti, S. Valentini (1999)
Can You Add Power‐Sets to Martin‐Lof's Intuitionistic Set Theory?Mathematical Logic Quarterly, 45
M. Maietti, G. Sambin (2005)
Toward a minimalistic foundation for constructive mathematics
M. Maietti (1998)
About Effective Quotients in Constructive Type Theory
M. Dummett (2000)
Elements of Intuitionism
J. Hyland (1982)
The Effective ToposStudies in logic and the foundations of mathematics, 110
Peter Hancock, Pierre Hyvernat (2009)
Programming interfaces and basic topologyAnn. Pure Appl. Log., 137
M. Fernández, M. Gabbay (2006)
Curry-Style Types for Nominal Terms
M. Maietti (2008)
A minimalist two-level foundation for constructive mathematicsAnn. Pure Appl. Log., 160
[What is the nature of mathematics? The different answers given to this perennial question can be gathered from the different theories which have been put forward as foundations of mathematics. In the common contemporary vision, the role of foundations is to provide safe grounds a posteriori for the activity of mathematicians, which on the whole is taken as a matter of fact. This is usually achieved by reducing all concepts of mathematics to that of set, and by postulating sets to form a fixed universe, which exists by itself and is unaffected by any human activity. Thus it is a static vision.]
Published: Jan 27, 2011
Keywords: Open Subset; Closed Subset; Classical Logic; Type Theory; Intuitionistic Logic
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.