21 results
IN MEMORIAM: ANNE SJERP TROELSTRA 1939–2019
-
- Journal:
- Bulletin of Symbolic Logic / Volume 26 / Issue 3-4 / December 2020
- Published online by Cambridge University Press:
- 16 April 2021, pp. 293-295
- Print publication:
- December 2020
-
- Article
-
- You have access
- Export citation
MARKOV’S PRINCIPLE AND SUBSYSTEMS OF INTUITIONISTIC ANALYSIS
-
- Journal:
- The Journal of Symbolic Logic / Volume 84 / Issue 2 / June 2019
- Published online by Cambridge University Press:
- 26 February 2019, pp. 870-876
- Print publication:
- June 2019
-
- Article
- Export citation
INTUITIONISTIC ANALYSIS AT THE END OF TIME
-
- Journal:
- Bulletin of Symbolic Logic / Volume 23 / Issue 3 / September 2017
- Published online by Cambridge University Press:
- 04 December 2017, pp. 279-295
- Print publication:
- September 2017
-
- Article
- Export citation
An intuitionistic theory of lawlike, choice and lawless sequences
-
-
- Book:
- Logic Colloquium '90
- Published online:
- 24 March 2017
- Print publication:
- 02 March 2017, pp 191-209
-
- Chapter
- Export citation
Classical and constructive hierarchies in extended intuitionistic analysis
-
- Journal:
- The Journal of Symbolic Logic / Volume 68 / Issue 3 / September 2003
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1015-1043
- Print publication:
- September 2003
-
- Article
- Export citation
More about relatively lawless sequences
-
- Journal:
- The Journal of Symbolic Logic / Volume 59 / Issue 3 / September 1994
- Published online by Cambridge University Press:
- 12 March 2014, pp. 813-829
- Print publication:
- September 1994
-
- Article
- Export citation
Relative lawlessness in intuitionistic analysis
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 1 / March 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 68-88
- Print publication:
- March 1987
-
- Article
- Export citation
M.D. Krol′. The topological models of intuitionistic analysis. One counterexample. Mathematical notes, vol. 19 (1976), pp. 503–504. (English translation of K topologičéskim modélám intuicionistskogo analiza, Odin kontrprimér, Matématičéskié zamétki, vol. 19 (1976), pp. 859–862.) - M. D. Krol. A topological model for intuitionistic analysis with Kripke's scheme. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 24 (1978), pp. 427–436. - M. D. Krol′. Distinct variants of Kripke's schema in intuitionistic analysis. Soviet mathematics, vol. 19 (1978), pp. 474–477. (English translation by B. F. Wells of Različnyé varianty shémy Kripké v intuicionistskom analizé, Doklady Akadémii Nauk SSSR, vol. 239 (1978), pp. 1048–1051.)
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 3 / September 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 660-661
- Print publication:
- September 1981
-
- Article
- Export citation
L. E. J. Brouwer. On the foundations of mathematics. English translation of 1551, with added notes by the editor. L. E. J. Brouwer, collected works, Volume 1, Philosophy and foundations of mathematics, edited by A. Heyting, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 13–101, 565–569. - L. E. J. Brouwer. Die möglichen Mächtigkeiten. A reprint of 1554, with added notes by the editor. L. E. J. Brouwer, collected works, Volume 1, Philosophy and foundations of mathematics, edited by A. Heyting, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 102-104, 569. - L. E. J. Brouwer. On the foundations of mathematics. Partial English translation of 1553, with added notes by the editor. L. E. J. Brouwer, collected works, Volume 1, Philosophy and foundations of mathematics, edited by A. Heyting, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 105–106, 569. - L. E. J. Brouwer. The unreliability of the logical principles. English translation of 1552, with added notes by the editor. L. E. J. Brouwer, collected works, Volume 1, Philosophy and foundations of mathematics, edited by A. Heyting, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 107–111, 569–570. - L. E. J. Brouwer. From the review of: G. Mannoury, Methodologisches und Philosophisches zur Elementar-Mathematik (Haarlem 1909). Partial English translation of 1555. L. E. J. Brouwer, collected works, Volume 1, Philosophy and foundations of mathematics, edited by A. Heyting, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 121–122. - L. E. J. Brouwer. Intuitionism and formalism. A reprint of 1557, with added notes by the editor. L. E. J. Brouwer, collected works, Volume 1, Philosophy and foundations of mathematics, edited by A. Heyting, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 123–138, 570–571. - L. E. J. Brouwer. Review of Schoenflies's Entwickelung der Mengenlehre und ihrer Anwendungen (1305). A reprint of 1558, with added notes by the editor. edited by A. Heyting, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 139–144, 571–572. - L. E. J. Brouwer. Addenda and corrigenda to ‘On the foundations of mathematics.’Entwickelung der Mengenlehre und ihrer Anwendungen English translation of 1559, with added notes by the editor. edited by A. Heyting, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 145–149, 572.
-
- Journal:
- The Journal of Symbolic Logic / Volume 44 / Issue 2 / June 1979
- Published online by Cambridge University Press:
- 12 March 2014, pp. 271-275
- Print publication:
- June 1979
-
- Article
- Export citation
John Myhill. The formalization of intuitionism. Contemporary philosophy, A survey, I, Logic and foundations of mathematics (La philosophic contemporaine, Chroniques, I,Logique et fondements des mathimatiques), edited by Raymond Klibansky, La Nuova Italia Editrice, Florence 1968, pp. 324–341.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 625
- Print publication:
- December 1975
-
- Article
- Export citation
A. S. Troelstra. Principles of intuitionism. Lectures presented at the summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, N. Y. Lecture notes in mathematics, no. 95. Springer-Verlag, Berlin, Heidelberg, and New York, 1969, 111 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 3 / September 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 447-448
- Print publication:
- September 1975
-
- Article
- Export citation
John Myhill. The invalidity of Markoff's schema. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 9 (1963), pp. 359–360.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 333-334
- Print publication:
- June 1974
-
- Article
- Export citation
Yu. T. Medvedev. Finite problems. English translation of XXXVIII 356(20) by Elliott Mendelson. Soviet mathematics, vol. 3 no. 1 (1962), pp. 227–230. - Yu. T. Medvedev. Interpretation of logical formulas by means of finite problems and its relation to the readability theory. English translation of XXXVIII 356(21) by Sue Ann Walker. Soviet mathematics, vol. 4 no. 1 (1963), pp. 180–183. - Ju. T. Medvedev. Interpretation of logical formulas by means of finite problems. English translation of XXXVIII 356(22) by Sue Ann Walker. Soviet mathematics, vol. 7 no. 4 (1966), pp. 857–860.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 2 / June 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 330-331
- Print publication:
- June 1973
-
- Article
- Export citation
Can there be no nonrecursive functions?
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 2 / June 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 309-315
- Print publication:
- June 1971
-
- Article
- Export citation
Luitzen Egbertus Jan Brouwer. On the significance of the principle of excluded middle in mathematics, especially in function theory, English translation of 15516 by Stefan Bauer-Mengelberg and Jean van Heijenoort. From Frege to Gödel, A source book in mathematical logic, 1879–1931, edited by Jean van Heijenoort, Harvard University Press, Cambridge, Massachusetts, 1967, pp. 334–341. Addenda and corrigenda, English translation of XXIV 189(12) by Stefan Bauer-Mengelberg, Claske M. Berndes Franck, Dirk van Dalen, and Jean van Heijenoort. Ibid., pp. 341–342. Further addenda and corrigenda. English translation of XXIV 189(13) by Stefan Bauer-Mengelberg, Dirk van Dalen, and Jean van Heijenoort. Ibid., pp. 342–345. - Luitzen Egbertus Jan Brouwer. On the domains of definition of functions. From Frege to Gödel, A source book in mathematical logic, 1879–1931, edited by Jean van Heijenoort, Harvard University Press, Cambridge, Massachusetts, 1967, pp. 446–463. English translation of §§1–3 of Über Definitionsbereiche von Funktionen (Mathematische Annalen, vol. 97 (1926–27), pp. 60–75) by Stefan Bauer-Mengelberg. - Luitzen Egbertus Jan Brouwer. Intuitionistic reflections on formalism. English translation of §1 of 15520 by Stefan Bauer-Mengelberg. From Frege to Gödel, A source book in mathematical logic, 1879–1931, edited by Jean van Heijenoort, Harvard University Press, Cambridge, Massachusetts, 1967, pp. 490–492.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 2 / June 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 332-333
- Print publication:
- June 1970
-
- Article
- Export citation
L. E. J. Brouwer. Points and spaces. Canadian journal of mathematics, vol. 6 (1954), pp. 1–17.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 3 / 17 November 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 519
- Print publication:
- 17 November 1969
-
- Article
- Export citation
G. Kreisel. On weak completeness of intuitionistic predicate logic. The journal of symbolic logic, vol. 27 no. 2 (for 1962, pub. 1963), pp. 139–158.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 1 / 29 May 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 119-120
- Print publication:
- 29 May 1969
-
- Article
- Export citation
Dieter Rödding. Anzahlquantoren in der Kleene-Hierarchie.Archiv für mathematische Logik und Grundlagenforschung, vol. 9 no. 3–4 (1966), pp. 61–65.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 3 / 10 October 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 472-473
- Print publication:
- 10 October 1968
-
- Article
- Export citation
Dieter Rödding. Anzahlquantoren in der Prädikatenlogik. Archiv für mathematische Logik und Grundlagenforschung, vol. 9 no. 3–4 (1966), pp. 66–69.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 3 / 10 October 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 473
- Print publication:
- 10 October 1968
-
- Article
- Export citation
G. Kreisel. Elementary completeness properties of intuitionistic logic with a note on negations of prenex formulae. The journal of symbolic logic, vol. 23 no. 3 (for 1958, pub. 1959), pp. 317–330.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 2 / August 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 282-283
- Print publication:
- August 1967
-
- Article
- Export citation