Diagonalization of continuous matrices as a representation of intuitionistic reals
Annals of Pure and Applied Logic 30 (2):201-206 (1986)
Abstract
This article has no associated abstract. (fix it)DOI
10.1016/0168-0072(86)90006-0
My notes
Similar books and articles
Mapping a set of reals onto the reals.Arnold W. Miller - 1983 - Journal of Symbolic Logic 48 (3):575-584.
Recursive Approximability of Real Numbers.Xizhong Zheng - 2002 - Mathematical Logic Quarterly 48 (S1):131-156.
Cohen reals from small forcings.Janusz Pawlikowski - 2001 - Journal of Symbolic Logic 66 (1):318-324.
Potential continuity of colorings.Stefan Geschke - 2008 - Archive for Mathematical Logic 47 (6):567-578.
Absolute probability functions for intuitionistic propositional logic.Peter Roeper & Hugues Leblanc - 1999 - Journal of Philosophical Logic 28 (3):223-234.
Approximation Representations for Δ2 Reals.George Barmpalias - 2004 - Archive for Mathematical Logic 43 (8):947-964.
Church's thesis, continuity, and set theory.M. Beeson & A. Ščedrov - 1984 - Journal of Symbolic Logic 49 (2):630-643.
On closed subsets of the intuitionistic reals.Robin J. Grayson - 1983 - Mathematical Logic Quarterly 29 (1):7-9.
Subclasses of the Weakly Random Reals.Johanna N. Y. Franklin - 2010 - Notre Dame Journal of Formal Logic 51 (4):417-426.
Maximal weakly-intuitionistic logics.A. M. Sette & Walter A. Carnielli - 1995 - Studia Logica 55 (1):181 - 203.
The unprovability in intuitionistic formal systems of the continuity of effective operations on the reals.Michael Beeson - 1976 - Journal of Symbolic Logic 41 (1):18-24.
On a second order propositional operator in intuitionistic logic.A. S. Troelstra - 1981 - Studia Logica 40 (2):113 - 139.
Logical matrices and non-structural consequence operators.Brunetto Piochi - 1983 - Studia Logica 42 (1):33 - 42.
Exact equiconsistency results for Δ 3 1 -sets of reals.Haim Judah - 1992 - Archive for Mathematical Logic 32 (2):101-112.
Analytics
Added to PP
2014-01-16
Downloads
8 (#989,532)
6 months
1 (#454,876)
2014-01-16
Downloads
8 (#989,532)
6 months
1 (#454,876)
Historical graph of downloads
Citations of this work
Gleason's theorem has a constructive proof.Fred Richman - 2000 - Journal of Philosophical Logic 29 (4):425-431.
A Model for Spacetime: The Role of Interpretation in Some Grothendieck Topoi. [REVIEW]Jerzy Król - 2006 - Foundations of Physics 36 (7):1070-1098.
