7 results
THE AXIOM OF CHOICE IS FALSE INTUITIONISTICALLY (IN MOST CONTEXTS)
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 29 / Issue 1 / March 2023
- Published online by Cambridge University Press:
- 31 May 2022, pp. 71-96
- Print publication:
- March 2023
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Continuous Abstract Data Types for Verified Computation
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 27 / Issue 4 / December 2021
- Published online by Cambridge University Press:
- 28 February 2022, p. 531
- Print publication:
- December 2021
-
- Article
-
- You have access
- Export citation
A MARRIAGE OF BROUWER’S INTUITIONISM AND HILBERT’S FINITISM I: ARITHMETIC
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 87 / Issue 2 / June 2022
- Published online by Cambridge University Press:
- 07 January 2021, pp. 437-497
- Print publication:
- June 2022
-
- Article
- Export citation
WEIHRAUCH GOES BROUWERIAN
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 85 / Issue 4 / December 2020
- Published online by Cambridge University Press:
- 30 October 2020, pp. 1614-1653
- Print publication:
- December 2020
-
- Article
- Export citation
GÖDEL DIFFEOMORPHISMS
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 26 / Issue 3-4 / December 2020
- Published online by Cambridge University Press:
- 01 September 2020, pp. 219-223
- Print publication:
- December 2020
-
- Article
- Export citation
Computing boundary extensions of conformal maps
- Part of
-
- Journal:
- LMS Journal of Computation and Mathematics / Volume 17 / Issue 1 / 2014
- Published online by Cambridge University Press:
- 01 September 2014, pp. 360-378
-
- Article
-
- You have access
- Export citation
Uniqueness, continuity and the existence of implicit functions in constructive analysis
- Part of
-
- Journal:
- LMS Journal of Computation and Mathematics / Volume 14 / 2011
- Published online by Cambridge University Press:
- 01 June 2011, pp. 127-136
-
- Article
-
- You have access
- Export citation