Edit Profile (opens in new tab) Heyting, Arend Co-Author Distance Author ID: heyting.arend Published as: Heyting, A.; Heyting, Arend External Links: MacTutor · MGP · Wikidata · GND · IdRef Documents Indexed: 66 Publications since 1925, including 15 Books 2 Contributions as Editor · 3 Further Contributions Biographic References: 6 Publications Co-Authors: 2 Co-Authors with 1 Joint Publication 1 Co-Co-Author all top 5 Co-Authors 66 single-authored 3 Brouwer, Luitzen Egbertus Jan 1 Ayer, A. J. 1 Barzin, Marcel 1 Benacerraf, Paul 1 Bernays, Paul 1 Bertin, Emile Marie Joseph 1 Beth, Hermann J. E. 1 Boolos, George S. 1 Bos, Henk J. M. 1 Breitkopf, Alfred 1 Cantor, Georg 1 Carnap, Rudolf 1 Casimir, Hendrik Brugt Gerhard 1 Curry, Haskell Brooks 1 Dijksterhuis, Eduard Jan 1 Dummett, Michael Anthony Eardley 1 Duparc, H. J. A. 1 Errera, Alfred 1 Frege, Gottlob 1 Freudenthal, Hans 1 Gödel, Kurt 1 Goodstein, Reuben Louis 1 Grootendorst, Albert W. 1 Hempel, Carl Gustav 1 Hilbert, David 1 Kloosterman, Hendrik Douwe 1 Körner, Stephan 1 Kosten, L. 1 Kreisel, Georg 1 Kummer, Ernst Eduard 1 Laugwitz, Detlef 1 Lorenzen, Paul 1 Meschkowski, Herbert 1 Monna, Antonie Frans 1 Poincaré, Henri 1 Putnam, Hilary Whitehall 1 Quine, Willard Van Orman 1 Russell, Bertrand 1 Schmidt, Erhard 1 Schouten, Jan Arnoldus 1 Schwabhäuser, Wolfram 1 Steiner, Hans-Georg 1 van Dantzig, David 1 Van der Corput, Johannes Gualtherus 1 Van der Pol, Balthasar 1 Van der Waerden, Bartel Leendert 1 van der Woude, W. 1 Van Kampen, Egbert Rudolf 1 Visser, Cornelis 1 von Neumann, John 1 Wang, Hao 1 Zuse, Konrad all top 5 Serials 9 Mathematica, Section B 4 Nieuw Archief voor Wiskunde. Derde Serie 3 Studies in Logic and the Foundations of Mathematics 2 Compositio Mathematica 2 Mathematische Annalen 2 Synthese 2 L’Enseignement Mathématique 2 Ergebnisse der Mathematik und ihrer Grenzgebiete 2 Verhandelingen der Koninklijke (Nederlandse) Akademie van Wetenschappen, Afdeeling Natuurkunde, Sectie 1 1 Dialectica 1 Euclides 1 The Journal of Symbolic Logic 1 Notre Dame Journal of Formal Logic 1 Bulletin de la Classe des Sciences. 5e Série 1 Pokroky Matematiky, Fyziky & Astronomie 1 Erkenntnis 1 Bollettino della Unione Matematica Italiana. Series IV 1 Bulletin de la Société Mathématique de Belgique 1 Nieuw Archief voor Wiskunde. Tweede Serie 1 Sitzungsberichte der Preußischen Akademie der Wissenschaften, Physikalisch-Mathematische Klasse 1 Colloques Internationaux du Centre National de la Recherche Scientifique 1 Nederlandse Akademie van Wetenschappen. Proceedings. Series A. Indagationes Mathematicae 1 Nieuw Tijdschrift Voor Wiskunde. Bijvoegsel Fields 18 Mathematical logic and foundations (03-XX) 7 History and biography (01-XX) 5 General and overarching topics; collections (00-XX) 1 Commutative algebra (13-XX) 1 Geometry (51-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 52 Publications have been cited 566 times in 411 Documents Cited by ▼ Year ▼ Die formalen Regeln der intuitionistischen Logik. I, II, III. JFM 56.0823.01 Heyting, A. 140 1930 Intuitionism. An introduction. Zbl 0070.00801 Heyting, A. 126 1956 Philosophy of mathematics. Selected readings. 2nd ed. Zbl 0548.03002 71 1983 Collected works. Vol. 1: Philosophy and foundations of mathematics. Zbl 0311.01021 Brouwer, L. E. J. 57 1975 Die intuitionistische Grundlegung der Mathematik. JFM 57.0053.01 Heyting, A. 28 1931 Intuitionism. An introduction. 3rd revised ed. Zbl 0219.02013 Heyting, A. 28 1971 Mathematische Grundlagenforschung. Intuitionismus. Beweistheorie. Zbl 0009.38501 Heyting, A. 26 1934 Die Theorie der linearen Gleichungen in einer Zahlenspezies mit nichtkommutativer Multiplikation. JFM 53.0120.01 Heyting, A. 23 1927 Zur intuitionistischen Axiomatik der projektiven Geometrie. JFM 53.0541.01 Heyting, A. 19 1927 Mathematische Grundlagenforschung. Intuitionismus. Beweistheorie. JFM 60.0019.01 Heyting, A. 13 1934 Intuitionism. An introduction. Zbl 0125.00510 Heyting, A. 12 1965 Axiomatic projective geometry. Zbl 0114.12601 Heyting, A. 11 1963 Sur la logique intuitionniste. JFM 56.0045.02 Heyting, A. 10 1930 Intuitionistische axiomatiek der projektieve meetkunde. JFM 51.0436.06 Heyting, A. 10 1925 Axioms for intuitionistic plane affine geometry. Zbl 0092.25002 Heyting, A. 10 1959 Blick von der intuitionistischen Warte. Zbl 0089.24502 Heyting, A. 10 1958 After thirty years. Zbl 0166.24702 Heyting, A. 9 1962 Constructivity in mathematics. Proceedings of the colloquium, held at Amsterdam, 1957. Zbl 0086.00701 9 1959 Axiomatic projective geometry. 2nd ed. Zbl 0454.51001 Heyting, A. 7 1980 Intuitionistic views on the nature of mathematics. Zbl 0315.02010 Heyting, Arend 7 1974 Les fondements des mathématiques. Intuitionnisme. Théorie de la démonstration. Zbl 0066.01006 Heyting, A. 6 1955 Some remarks on intuitionism. Zbl 0085.25003 Heyting, A. 5 1959 On weakened quantification. Zbl 0063.02004 Heyting, A. 5 1946 Infinitistic methods from a finitist point of view. Zbl 0116.00801 Heyting, A. 5 1961 Mathematische Grundlagenforschung, Intuitionismus, Beweistheorie. Reprint. Zbl 0278.02002 Heyting, A. 4 1974 Untersuchungen über intuitionistische Algebra. Zbl 0027.15303 Heyting, A. 4 1941 De telbaarheidspraedicaten van Prof. Brouwer. JFM 55.0052.01 Heyting, A. 3 1929 Die intuitionistische Grundlegung der Mathematik. Zbl 0002.32102 Heyting, Arend 3 1931 History of the foundation of mathematics. Zbl 0412.01012 Heyting, A. 2 1978 Was ist berechenbar? Zbl 0185.01901 Heyting, A. 2 1969 Recent progress in intuitionistic analysis. Zbl 0203.29604 Heyting, A. 2 1970 Note on the Riesz-Fischer theorem. Zbl 0043.29101 Heyting, A. 2 1951 Logique et intuitionisme. Zbl 0057.00704 Heyting, A. 2 1954 Espace de Hilbert et intuitionisme. Zbl 0053.00701 Heyting, A. 2 1953 A propos d’un article de MM. Barzin et Errera. JFM 59.0056.01 Heyting, A. 2 1932 Sur la tâche de la philosophie des mathématiques. Zbl 0051.24406 Heyting, A. 2 1953 Intuitionistic views on the nature of mathematics. Zbl 0317.02007 Heyting, Arend 2 1974 The intuitionist foundations of mathematics. Zbl 0945.03517 Heyting, Arend 1 1996 Intuitionismus und Schulmathematik. Zbl 0077.00211 Heyting, A. 1 1957 La théorie élémentaire de l’intégration en mathématiques intuitionnistes. Zbl 0088.24802 Heyting, A. 1 1958 Axiomatic method and intuitionism. Zbl 0163.24401 Heyting, A. 1 1962 Intuitionistische wiskunde. III. JFM 62.0029.02 Heyting, A. 1 1936 Technische vaardigheid. JFM 52.0063.02 Heyting, A. 1 1926 Untersuchungen über intuitionistische Algebra. JFM 67.0045.04 Heyting, A. 1 1941 Intuitionistische wiskunde. JFM 61.0048.02 Heyting, A. 1 1935 Sur la logique intuitionniste. JFM 59.0056.03 Heyting, A.; Barzin, M.; Errera, A. 1 1932 Die intuitionistische Mathematik. JFM 57.1323.22 Heyting, A. 1 1931 Sur la théorie intuitionniste de la mesure. Zbl 0057.04404 Heyting, A. 1 1954 Continuum and choice by Brouwer. Zbl 0486.03031 Heyting, A. 1 1981 In memoriam Evert Willem Beth (1909–1964). Zbl 0159.00703 Heyting, Arend 1 1966 Remarques sur la théorie intuitionniste des espaces linéaires. Zbl 0192.03101 Heyting, A. 1 1966 On intuitionism. Zbl 0229.02008 Heyting, A. 1 1972 The intuitionist foundations of mathematics. Zbl 0945.03517 Heyting, Arend 1 1996 Philosophy of mathematics. Selected readings. 2nd ed. Zbl 0548.03002 71 1983 Continuum and choice by Brouwer. Zbl 0486.03031 Heyting, A. 1 1981 Axiomatic projective geometry. 2nd ed. Zbl 0454.51001 Heyting, A. 7 1980 History of the foundation of mathematics. Zbl 0412.01012 Heyting, A. 2 1978 Collected works. Vol. 1: Philosophy and foundations of mathematics. Zbl 0311.01021 Brouwer, L. E. J. 57 1975 Intuitionistic views on the nature of mathematics. Zbl 0315.02010 Heyting, Arend 7 1974 Mathematische Grundlagenforschung, Intuitionismus, Beweistheorie. Reprint. Zbl 0278.02002 Heyting, A. 4 1974 Intuitionistic views on the nature of mathematics. Zbl 0317.02007 Heyting, Arend 2 1974 On intuitionism. Zbl 0229.02008 Heyting, A. 1 1972 Intuitionism. An introduction. 3rd revised ed. Zbl 0219.02013 Heyting, A. 28 1971 Recent progress in intuitionistic analysis. Zbl 0203.29604 Heyting, A. 2 1970 Was ist berechenbar? Zbl 0185.01901 Heyting, A. 2 1969 In memoriam Evert Willem Beth (1909–1964). Zbl 0159.00703 Heyting, Arend 1 1966 Remarques sur la théorie intuitionniste des espaces linéaires. Zbl 0192.03101 Heyting, A. 1 1966 Intuitionism. An introduction. Zbl 0125.00510 Heyting, A. 12 1965 Axiomatic projective geometry. Zbl 0114.12601 Heyting, A. 11 1963 After thirty years. Zbl 0166.24702 Heyting, A. 9 1962 Axiomatic method and intuitionism. Zbl 0163.24401 Heyting, A. 1 1962 Infinitistic methods from a finitist point of view. Zbl 0116.00801 Heyting, A. 5 1961 Axioms for intuitionistic plane affine geometry. Zbl 0092.25002 Heyting, A. 10 1959 Constructivity in mathematics. Proceedings of the colloquium, held at Amsterdam, 1957. Zbl 0086.00701 9 1959 Some remarks on intuitionism. Zbl 0085.25003 Heyting, A. 5 1959 Blick von der intuitionistischen Warte. Zbl 0089.24502 Heyting, A. 10 1958 La théorie élémentaire de l’intégration en mathématiques intuitionnistes. Zbl 0088.24802 Heyting, A. 1 1958 Intuitionismus und Schulmathematik. Zbl 0077.00211 Heyting, A. 1 1957 Intuitionism. An introduction. Zbl 0070.00801 Heyting, A. 126 1956 Les fondements des mathématiques. Intuitionnisme. Théorie de la démonstration. Zbl 0066.01006 Heyting, A. 6 1955 Logique et intuitionisme. Zbl 0057.00704 Heyting, A. 2 1954 Sur la théorie intuitionniste de la mesure. Zbl 0057.04404 Heyting, A. 1 1954 Espace de Hilbert et intuitionisme. Zbl 0053.00701 Heyting, A. 2 1953 Sur la tâche de la philosophie des mathématiques. Zbl 0051.24406 Heyting, A. 2 1953 Note on the Riesz-Fischer theorem. Zbl 0043.29101 Heyting, A. 2 1951 On weakened quantification. Zbl 0063.02004 Heyting, A. 5 1946 Untersuchungen über intuitionistische Algebra. Zbl 0027.15303 Heyting, A. 4 1941 Untersuchungen über intuitionistische Algebra. JFM 67.0045.04 Heyting, A. 1 1941 Intuitionistische wiskunde. III. JFM 62.0029.02 Heyting, A. 1 1936 Intuitionistische wiskunde. JFM 61.0048.02 Heyting, A. 1 1935 Mathematische Grundlagenforschung. Intuitionismus. Beweistheorie. Zbl 0009.38501 Heyting, A. 26 1934 Mathematische Grundlagenforschung. Intuitionismus. Beweistheorie. JFM 60.0019.01 Heyting, A. 13 1934 A propos d’un article de MM. Barzin et Errera. JFM 59.0056.01 Heyting, A. 2 1932 Sur la logique intuitionniste. JFM 59.0056.03 Heyting, A.; Barzin, M.; Errera, A. 1 1932 Die intuitionistische Grundlegung der Mathematik. JFM 57.0053.01 Heyting, A. 28 1931 Die intuitionistische Grundlegung der Mathematik. Zbl 0002.32102 Heyting, Arend 3 1931 Die intuitionistische Mathematik. JFM 57.1323.22 Heyting, A. 1 1931 Die formalen Regeln der intuitionistischen Logik. I, II, III. JFM 56.0823.01 Heyting, A. 140 1930 Sur la logique intuitionniste. JFM 56.0045.02 Heyting, A. 10 1930 De telbaarheidspraedicaten van Prof. Brouwer. JFM 55.0052.01 Heyting, A. 3 1929 Die Theorie der linearen Gleichungen in einer Zahlenspezies mit nichtkommutativer Multiplikation. JFM 53.0120.01 Heyting, A. 23 1927 Zur intuitionistischen Axiomatik der projektiven Geometrie. JFM 53.0541.01 Heyting, A. 19 1927 Technische vaardigheid. JFM 52.0063.02 Heyting, A. 1 1926 Intuitionistische axiomatiek der projektieve meetkunde. JFM 51.0436.06 Heyting, A. 10 1925 all cited Publications top 5 cited Publications all top 5 Cited by 420 Authors 17 Cabalar, Pedro 8 Pérez, Gilberto 7 Aguado, Felicidad 7 Diéguez, Martín 7 Fariñas del Cerro, Luis 7 Pearce, David 7 Prawitz, Dag 7 Salam, Ahmed 7 Vidal, Concepción 7 von Plato, Jan 6 Lifschitz, Vladimir 5 Bridges, Douglas Suth 5 Fandinno, Jorge 5 Moschovakis, Joan Rand 5 Petrukhin, Yaroslav Igorevich 5 Troelstra, Anne Sjerp 5 van Atten, Mark 5 van Dalen, Dirk 4 Artemov, Sergei 4 Beeson, Michael J. 4 Brezinski, Claude 4 Cattaneo, Gianpiero 4 Franchella, Miriam 4 Kleene, Stephen Cole 4 Piccolomini d’Aragona, Antonio 4 Posy, Carl J. 4 Sanders, Sam 4 Shapiro, Stewart 3 Ariznabarreta, Gerardo 3 Bhaduri, Purandar 3 Carnielli, Walter Alexandre 3 Chiffi, Daniele 3 Ciucci, Davide 3 Dean, Walter 3 Eiter, Thomas 3 Gentzen, Gerhard 3 Katz, Mikhail G. 3 Li, Dafa 3 Maffezioli, Paolo 3 Mañas, Manuel 3 Mitrović, Melanija 3 Narens, Louis Edward 3 Onoprienko, Anastasiya A. 3 Panicker, Gayatri 3 Pietarinen, Ahti-Veikko 3 Redivo-Zaglia, Michela 3 Rodrigues, Abilio 3 Schaub, Torsten H. 3 Stecher, Jack Douglas 3 Truszczyński, Mirosław 3 Usberti, Gabriele 3 Valverde, Agustín 3 Veldman, Wim 2 Amendola, Giovanni 2 Andres, Eric 2 Baker, Catharine Ann 2 Balbiani, Philippe 2 Bickford, Mark 2 Brauer, Ethan 2 Carnap, Rudolf 2 Chollet, Agathe 2 Constable, Robert Lee 2 Cornelis, Chris 2 Crvenković, Siniša 2 de Araujo Feitosa, Hércules 2 de Campos Sanz, Wagner 2 de Jongh, Dick H. J. 2 Deschrijver, Glad 2 D’Ottaviano, Itala M. Loffredo 2 Eder, Günther 2 Erdélyi-Szabó, Miklós 2 Esakia, Leo 2 Fuchs, Laurent 2 Gel’fand, Israil’ Moiseevich 2 Graves-Morris, Peter R. 2 Harrison, Amelia 2 Herzig, Andreas 2 Ishihara, Hajime 2 Katz, Karin Usadi 2 Kerre, Etienne E. 2 Kock, Anders Jungersen 2 Lane, Norman D. 2 Largeteau-Skapin, Gaëlle 2 Leone, Nicola 2 Lipton, James B. 2 Lorimer, Joseph Wilson 2 Mandelkern, Mark 2 McCarty, Charles 2 Negri, Sara 2 Normann, Dag 2 O’Donnell, Michael J. 2 Pour-El, Marian Boykan 2 Retakh, Vladimir Solomonovich 2 Richards, Ian 2 Richman, Fred 2 Roberts, D. E. 2 Romano, Daniel Abraham 2 Rump, Wolfgang 2 Ščedrov, Andrej 2 Schnorr, Claus Peter ...and 320 more Authors all top 5 Cited in 107 Serials 21 Annals of Pure and Applied Logic 18 Studia Logica 17 Synthese 15 The Journal of Symbolic Logic 13 Artificial Intelligence 12 Journal of Philosophical Logic 12 History and Philosophy of Logic 12 Indagationes Mathematicae. New Series 11 Theoretical Computer Science 9 Journal of Applied Non-Classical Logics 8 Compositio Mathematica 8 The Bulletin of Symbolic Logic 7 Theory and Practice of Logic Programming 6 Journal of Geometry 6 Topoi 5 Notre Dame Journal of Formal Logic 5 Transactions of the American Mathematical Society 5 Annals of Mathematics and Artificial Intelligence 4 Algebra Universalis 4 Fuzzy Sets and Systems 4 Information Sciences 4 Historia Mathematica 4 Linear Algebra and its Applications 4 Mathematical Logic Quarterly (MLQ) 4 The Review of Symbolic Logic 3 Archiv für Mathematische Logik und Grundlagenforschung 3 Advances in Mathematics 3 Numerical Algorithms 3 Journal of Logic, Language and Information 3 Erkenntnis 3 Foundations of Science 3 Logic and Logical Philosophy 3 Logica Universalis 3 Logical Methods in Computer Science 2 Communications in Algebra 2 Moscow University Mathematics Bulletin 2 The Mathematical Intelligencer 2 Cahiers de Topologie et Géométrie Différentielle Catégoriques 2 Journal of Approximation Theory 2 Journal of Computational and Applied Mathematics 2 Journal of Mathematical Psychology 2 Mathematische Annalen 2 Zeitschrift für Wahrscheinlichkeitstheorie und Verwandte Gebiete 2 International Journal of Approximate Reasoning 2 Archive for Mathematical Logic 2 Journal of Mathematical Sciences (New York) 2 Soft Computing 2 Fundamenta Informaticae 2 Foundations of Physics 2 Monatshefte für Mathematik und Physik 1 Archive for History of Exact Sciences 1 Discrete Mathematics 1 International Journal of Theoretical Physics 1 Jahresbericht der Deutschen Mathematiker-Vereinigung (DMV) 1 Journal of Mathematical Analysis and Applications 1 Journal of Mathematical Physics 1 Mathematical Notes 1 Mathematical Proceedings of the Cambridge Philosophical Society 1 Mathematische Semesterberichte 1 Bulletin of Mathematical Biology 1 Beiträge zur Algebra und Geometrie 1 Algebra and Logic 1 Annali di Matematica Pura ed Applicata. Serie Quarta 1 Functional Analysis and its Applications 1 Inventiones Mathematicae 1 Journal of Computer and System Sciences 1 Journal of Pure and Applied Algebra 1 Journal of Soviet Mathematics 1 Mathematische Nachrichten 1 Mathematische Zeitschrift 1 Nagoya Mathematical Journal 1 Proceedings of the Edinburgh Mathematical Society. Series II 1 Rendiconti del Circolo Matemàtico di Palermo. Serie II 1 Semigroup Forum 1 Studies in Applied Mathematics 1 Tôhoku Mathematical Journal. Second Series 1 Bulletin of the Section of Logic 1 Cybernetics and Systems 1 Mathematical Social Sciences 1 Social Choice and Welfare 1 Journal of Symbolic Computation 1 Annals of Operations Research 1 International Journal of Algebra and Computation 1 Elemente der Mathematik 1 Pattern Recognition 1 SIAM Review 1 Bulletin of the American Mathematical Society. New Series 1 Computational Complexity 1 Journal of Functional Programming 1 Theory and Applications of Categories 1 Sbornik: Mathematics 1 Doklady Mathematics 1 Philosophical Transactions of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences 1 Brazilian Journal of Probability and Statistics 1 Central European Journal of Mathematics 1 Journal of Applied Logic 1 New Mathematics and Natural Computation 1 Annali della Scuola Normale Superiore di Pisa. Scienze Fisiche e Matematiche. III. Ser 1 Communications in Mathematical Analysis 1 Asian-European Journal of Mathematics ...and 7 more Serials all top 5 Cited in 38 Fields 301 Mathematical logic and foundations (03-XX) 87 Computer science (68-XX) 38 History and biography (01-XX) 26 Order, lattices, ordered algebraic structures (06-XX) 26 Geometry (51-XX) 23 General and overarching topics; collections (00-XX) 12 Linear and multilinear algebra; matrix theory (15-XX) 12 Quantum theory (81-XX) 11 Category theory; homological algebra (18-XX) 11 Numerical analysis (65-XX) 8 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 6 Group theory and generalizations (20-XX) 6 Real functions (26-XX) 6 Functional analysis (46-XX) 6 General topology (54-XX) 5 General algebraic systems (08-XX) 4 Combinatorics (05-XX) 4 Number theory (11-XX) 4 Harmonic analysis on Euclidean spaces (42-XX) 3 Commutative algebra (13-XX) 3 Measure and integration (28-XX) 3 Approximations and expansions (41-XX) 3 Probability theory and stochastic processes (60-XX) 3 Statistics (62-XX) 2 Algebraic geometry (14-XX) 2 Associative rings and algebras (16-XX) 2 Functions of a complex variable (30-XX) 2 Special functions (33-XX) 2 Dynamical systems and ergodic theory (37-XX) 2 Sequences, series, summability (40-XX) 2 Biology and other natural sciences (92-XX) 1 Field theory and polynomials (12-XX) 1 Nonassociative rings and algebras (17-XX) 1 Operator theory (47-XX) 1 Algebraic topology (55-XX) 1 Global analysis, analysis on manifolds (58-XX) 1 Systems theory; control (93-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.