More on Brouwer's refutations

Annals of Pure and Applied Logic 41 (1):83-91 (1989)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0168-0072(89)90008-0

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 99,362

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

Short propositional refutations for dense random 3CNF formulas.Sebastian Müller & Iddo Tzameret - 2014 - Annals of Pure and Applied Logic 165 (12):1864-1918.
Aligning the weak König lemma, the uniform continuity theorem, and Brouwer’s fan theorem.Josef Berger - 2012 - Annals of Pure and Applied Logic 163 (8):981-985.
Annals of pure and applied logic.Ja Makowsky - forthcoming - Annals of Pure and Applied Logic.
Introducing article numbering to Annals of Pure and Applied Logic.Giovanni Raneri - 2019 - Annals of Pure and Applied Logic 170 (11):102728.
More on the weak diamond.Saharon Shelah - 1985 - Annals of Pure and Applied Logic 28 (3):315-318.
Guessing more sets.Pierre Matet - 2015 - Annals of Pure and Applied Logic 166 (10):953-990.
More on ideals with simple forcing notions.M. Gitik & S. Shelah - 1993 - Annals of Pure and Applied Logic 59 (3):219-238.
More on real algebra in scott's model.Philip Scowcroft - 1986 - Annals of Pure and Applied Logic 30 (3):277-291.
Complexity of Null- and Positivstellensatz proofs.Dima Grigoriev & Nicolai Vorobjov - 2001 - Annals of Pure and Applied Logic 113 (1-3):153-160.
More game-theoretic properties of boolean algebras.Thomas J. Jech - 1984 - Annals of Pure and Applied Logic 26 (1):11-29.

Analytics

Added to PP
2014-01-16

Downloads
39 (#467,696)

6 months
12 (#221,743)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A new model for intuitionistic analysis.Philip Scowcroft - 1990 - Annals of Pure and Applied Logic 47 (2):145-165.

Add more citations

References found in this work

Constructive Analysis.Errett Bishop & Douglas Bridges - 1987 - Journal of Symbolic Logic 52 (4):1047-1048.
A transfer theorem in constructive real algebra.Philip Scowcroft - 1988 - Annals of Pure and Applied Logic 40 (1):29-87.
Counterexamples in intuitionistic analysis using Kripke's schema.Richard G. Hull - 1969 - Mathematical Logic Quarterly 15 (16-18):241-246.
A Palatable Substitute for Kripke's Schema.R. E. Vesley, A. Kino & J. Myhill - 1974 - Journal of Symbolic Logic 39 (2):334-334.

Add more references