Edit Profile (opens in new tab) Heyting, Arend Compute Distance To: Compute 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, Geoffrey N. 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 Schouten, Jan Arnoldus 1 Schwabhäuser, Wolfram 1 Steiner, Hans-Georg 1 van Dantzig, D. 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 17 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 48 Publications have been cited 449 times in 328 Documents Cited by ▼ Year ▼ Die formalen Regeln der intuitionistischen Logik. I, II, III. JFM 56.0823.01Heyting, A. 118 1930 Intuitionism. An introduction. Zbl 0070.00801Heyting, A. 97 1956 Philosophy of mathematics. Selected readings. 2nd ed. Zbl 0548.03002 49 1983 Collected works. Vol. 1: Philosophy and foundations of mathematics. Zbl 0311.01021Brouwer, L. E. J. 31 1975 Die intuitionistische Grundlegung der Mathematik. JFM 57.0053.01Heyting, A. 26 1931 Intuitionism. An introduction. 3rd revised ed. Zbl 0219.02013Heyting, A. 22 1971 Die Theorie der linearen Gleichungen in einer Zahlenspezies mit nichtkommutativer Multiplikation. JFM 53.0120.01Heyting, A. 21 1927 Mathematische Grundlagenforschung. Intuitionismus. Beweistheorie. Zbl 0009.38501Heyting, A. 20 1934 Zur intuitionistischen Axiomatik der projektiven Geometrie. JFM 53.0541.01Heyting, A. 16 1927 Axiomatic projective geometry. Zbl 0114.12601Heyting, A. 11 1963 Intuitionism. An introduction. Zbl 0125.00510Heyting, A. 9 1965 Sur la logique intuitionniste. JFM 56.0045.02Heyting, A. 9 1930 Mathematische Grundlagenforschung. Intuitionismus. Beweistheorie. JFM 60.0019.01Heyting, A. 8 1934 Intuitionistische axiomatiek der projektieve meetkunde. JFM 51.0436.06Heyting, A. 8 1925 Blick von der intuitionistischen Warte. Zbl 0089.24502Heyting, A. 7 1958 Axioms for intuitionistic plane affine geometry. Zbl 0092.25002Heyting, A. 7 1959 Axiomatic projective geometry. 2nd ed. Zbl 0454.51001Heyting, A. 6 1980 Intuitionistic views on the nature of mathematics. Zbl 0315.02010Heyting, Arend 6 1974 Les fondements des mathématiques. Intuitionnisme. Théorie de la démonstration. Zbl 0066.01006Heyting, A. 5 1955 Constructivity in mathematics. Proceedings of the colloquium, held at Amsterdam, 1957. Zbl 0086.00701 5 1959 Mathematische Grundlagenforschung, Intuitionismus, Beweistheorie. Reprint. Zbl 0278.02002Heyting, A. 4 1974 On weakened quantification. Zbl 0063.02004Heyting, A. 4 1946 After thirty years. Zbl 0166.24702Heyting, A. 4 1962 Some remarks on intuitionism. Zbl 0085.25003Heyting, A. 3 1959 De telbaarheidspraedicaten van Prof. Brouwer. JFM 55.0052.01Heyting, A. 3 1929 History of the foundation of mathematics. Zbl 0412.01012Heyting, A. 2 1978 Intuitionistic views on the nature of mathematics. Zbl 0317.02007Heyting, Arend 2 1974 Die intuitionistische Grundlegung der Mathematik. Zbl 0002.32102Heyting, Arend 2 1931 Untersuchungen über intuitionistische Algebra. Zbl 0027.15303Heyting, A. 2 1941 Note on the Riesz-Fischer theorem. Zbl 0043.29101Heyting, A. 2 1951 Espace de Hilbert et intuitionisme. Zbl 0053.00701Heyting, A. 2 1953 A propos d’un article de MM. Barzin et Errera. JFM 59.0056.01Heyting, A. 2 1932 Continuum and choice by Brouwer. Zbl 0486.03031Heyting, A. 1 1981 Infinitistic methods from a finitist point of view. Zbl 0116.00801Heyting, A. 1 1961 Sur la tâche de la philosophie des mathématiques. Zbl 0051.24406Heyting, A. 1 1953 Sur la théorie intuitionniste de la mesure. Zbl 0057.04404Heyting, A. 1 1954 Intuitionismus und Schulmathematik. Zbl 0077.00211Heyting, A. 1 1957 La théorie élémentaire de l’intégration en mathématiques intuitionnistes. Zbl 0088.24802Heyting, A. 1 1958 Untersuchungen über intuitionistische Algebra. JFM 67.0045.04Heyting, A. 1 1941 In memoriam Evert Willem Beth (1909–1964). Zbl 0159.00703Heyting, Arend 1 1966 Axiomatic method and intuitionism. Zbl 0163.24401Heyting, A. 1 1962 Remarques sur la théorie intuitionniste des espaces linéaires. Zbl 0192.03101Heyting, A. 1 1966 Recent progress in intuitionistic analysis. Zbl 0203.29604Heyting, A. 1 1970 On intuitionism. Zbl 0229.02008Heyting, A. 1 1972 Intuitionistische wiskunde. JFM 61.0048.02Heyting, A. 1 1935 Die intuitionistische Mathematik. JFM 57.1323.22Heyting, A. 1 1931 Technische vaardigheid. JFM 52.0063.02Heyting, A. 1 1926 Intuitionistische wiskunde. III. JFM 62.0029.02Heyting, A. 1 1936 Philosophy of mathematics. Selected readings. 2nd ed. Zbl 0548.03002 49 1983 Continuum and choice by Brouwer. Zbl 0486.03031Heyting, A. 1 1981 Axiomatic projective geometry. 2nd ed. Zbl 0454.51001Heyting, A. 6 1980 History of the foundation of mathematics. Zbl 0412.01012Heyting, A. 2 1978 Collected works. Vol. 1: Philosophy and foundations of mathematics. Zbl 0311.01021Brouwer, L. E. J. 31 1975 Intuitionistic views on the nature of mathematics. Zbl 0315.02010Heyting, Arend 6 1974 Mathematische Grundlagenforschung, Intuitionismus, Beweistheorie. Reprint. Zbl 0278.02002Heyting, A. 4 1974 Intuitionistic views on the nature of mathematics. Zbl 0317.02007Heyting, Arend 2 1974 On intuitionism. Zbl 0229.02008Heyting, A. 1 1972 Intuitionism. An introduction. 3rd revised ed. Zbl 0219.02013Heyting, A. 22 1971 Recent progress in intuitionistic analysis. Zbl 0203.29604Heyting, A. 1 1970 In memoriam Evert Willem Beth (1909–1964). Zbl 0159.00703Heyting, Arend 1 1966 Remarques sur la théorie intuitionniste des espaces linéaires. Zbl 0192.03101Heyting, A. 1 1966 Intuitionism. An introduction. Zbl 0125.00510Heyting, A. 9 1965 Axiomatic projective geometry. Zbl 0114.12601Heyting, A. 11 1963 After thirty years. Zbl 0166.24702Heyting, A. 4 1962 Axiomatic method and intuitionism. Zbl 0163.24401Heyting, A. 1 1962 Infinitistic methods from a finitist point of view. Zbl 0116.00801Heyting, A. 1 1961 Axioms for intuitionistic plane affine geometry. Zbl 0092.25002Heyting, A. 7 1959 Constructivity in mathematics. Proceedings of the colloquium, held at Amsterdam, 1957. Zbl 0086.00701 5 1959 Some remarks on intuitionism. Zbl 0085.25003Heyting, A. 3 1959 Blick von der intuitionistischen Warte. Zbl 0089.24502Heyting, A. 7 1958 La théorie élémentaire de l’intégration en mathématiques intuitionnistes. Zbl 0088.24802Heyting, A. 1 1958 Intuitionismus und Schulmathematik. Zbl 0077.00211Heyting, A. 1 1957 Intuitionism. An introduction. Zbl 0070.00801Heyting, A. 97 1956 Les fondements des mathématiques. Intuitionnisme. Théorie de la démonstration. Zbl 0066.01006Heyting, A. 5 1955 Sur la théorie intuitionniste de la mesure. Zbl 0057.04404Heyting, A. 1 1954 Espace de Hilbert et intuitionisme. Zbl 0053.00701Heyting, A. 2 1953 Sur la tâche de la philosophie des mathématiques. Zbl 0051.24406Heyting, A. 1 1953 Note on the Riesz-Fischer theorem. Zbl 0043.29101Heyting, A. 2 1951 On weakened quantification. Zbl 0063.02004Heyting, A. 4 1946 Untersuchungen über intuitionistische Algebra. Zbl 0027.15303Heyting, A. 2 1941 Untersuchungen über intuitionistische Algebra. JFM 67.0045.04Heyting, A. 1 1941 Intuitionistische wiskunde. III. JFM 62.0029.02Heyting, A. 1 1936 Intuitionistische wiskunde. JFM 61.0048.02Heyting, A. 1 1935 Mathematische Grundlagenforschung. Intuitionismus. Beweistheorie. Zbl 0009.38501Heyting, A. 20 1934 Mathematische Grundlagenforschung. Intuitionismus. Beweistheorie. JFM 60.0019.01Heyting, A. 8 1934 A propos d’un article de MM. Barzin et Errera. JFM 59.0056.01Heyting, A. 2 1932 Die intuitionistische Grundlegung der Mathematik. JFM 57.0053.01Heyting, A. 26 1931 Die intuitionistische Grundlegung der Mathematik. Zbl 0002.32102Heyting, Arend 2 1931 Die intuitionistische Mathematik. JFM 57.1323.22Heyting, A. 1 1931 Die formalen Regeln der intuitionistischen Logik. I, II, III. JFM 56.0823.01Heyting, A. 118 1930 Sur la logique intuitionniste. JFM 56.0045.02Heyting, A. 9 1930 De telbaarheidspraedicaten van Prof. Brouwer. JFM 55.0052.01Heyting, A. 3 1929 Die Theorie der linearen Gleichungen in einer Zahlenspezies mit nichtkommutativer Multiplikation. JFM 53.0120.01Heyting, A. 21 1927 Zur intuitionistischen Axiomatik der projektiven Geometrie. JFM 53.0541.01Heyting, A. 16 1927 Technische vaardigheid. JFM 52.0063.02Heyting, A. 1 1926 Intuitionistische axiomatiek der projektieve meetkunde. JFM 51.0436.06Heyting, A. 8 1925 all cited Publications top 5 cited Publications all top 5 Cited by 344 Authors 10 Cabalar, Pedro 7 von Plato, Jan 6 Salam, Ahmed 5 Bridges, Douglas Suth 5 Diéguez, Martín 5 Fariñas del Cerro, Luis 5 Lifschitz, Vladimir 5 Pérez, Gilberto 5 Prawitz, Dag 5 Troelstra, Anne Sjerp 4 Aguado, Felicidad 4 Beeson, Michael J. 4 Cattaneo, Gianpiero 4 Kleene, Stephen Cole 4 Moschovakis, Joan Rand 4 Petrukhin, Yaroslav Igorevich 4 Piccolomini d’Aragona, Antonio 4 van Atten, Mark 4 van Dalen, Dirk 4 Vidal, Concepción 3 Ariznabarreta, Gerardo 3 Artemov, Sergei 3 Bhaduri, Purandar 3 Brezinski, Claude 3 Ciucci, Davide 3 Dean, Walter 3 Fandinno, Jorge 3 Franchella, Miriam 3 Gentzen, Gerhard 3 Katz, Mikhail G. 3 Mañas, Manuel 3 Mitrović, Melanija S. 3 Narens, Louis Edward 3 Panicker, Gayatri 3 Posy, Carl J. 3 Shapiro, Stewart 3 Stecher, Jack Douglas 3 Truszczyński, Mirosław 3 Valverde, Agustín 2 Baker, Catharine Ann 2 Balbiani, Philippe 2 Bickford, Mark 2 Carnap, Rudolf 2 Carnielli, Walter Alexandre 2 Chiffi, Daniele 2 Constable, Robert Lee 2 Cornelis, Chris 2 Crvenković, Siniša 2 Deschrijver, Glad 2 Eiter, Thomas 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 Lipton, James B. 2 Lorimer, Joseph Wilson 2 Mandelkern, Mark 2 McCarty, Charles 2 Negri, Sara 2 O’Donnell, Michael J. 2 Pietarinen, Ahti-Veikko 2 Pour-El, Marian Boykan 2 Redivo-Zaglia, Michela 2 Retakh, Vladimir Solomonovich 2 Richards, Ian 2 Roberts, D. E. 2 Rodrigues, Abilio 2 Romano, Daniel Abraham 2 Rump, Wolfgang 2 Sanders, Sam 2 Schnorr, Claus Peter 2 Schuster, Peter Michael 2 Shangin, Vasily 2 Su, Ezgi Iraz 2 Usberti, Gabriele 2 Van Gasse, Bart 2 Woltran, Stefan 2 Zaslavskii, Igor Dmitrievich 1 Alliot, Jean-Marc 1 Amendola, Giovanni 1 Andres, Eric 1 Anellis, Irving H. 1 Antoniou, Grigoris 1 Ashvinikumar 1 Aslaksen, Helmer 1 Assaye, Berhanu 1 Atanassov, Krassimir Todorov 1 Baaz, Matthias 1 Baker, Kirby A. 1 Balan, M. Sakthi 1 Barbanera, Franco 1 Barendregt, Hendrik Pieter 1 Barendsen, Erik 1 Baroni, Marian Alexandru 1 Beck, Harald ...and 244 more Authors all top 5 Cited in 97 Serials 18 Studia Logica 15 Annals of Pure and Applied Logic 14 The Journal of Symbolic Logic 14 Synthese 11 Artificial Intelligence 11 Journal of Philosophical Logic 11 History and Philosophy of Logic 10 Indagationes Mathematicae. New Series 8 Compositio Mathematica 8 Theoretical Computer Science 7 Journal of Applied Non-Classical Logics 7 The Bulletin of Symbolic Logic 5 Journal of Geometry 5 Notre Dame Journal of Formal Logic 5 Transactions of the American Mathematical Society 5 Annals of Mathematics and Artificial Intelligence 5 Topoi 4 Algebra Universalis 4 Fuzzy Sets and Systems 4 Information Sciences 4 Theory and Practice of Logic Programming 3 Archiv für Mathematische Logik und Grundlagenforschung 3 Advances in Mathematics 3 Historia Mathematica 3 Linear Algebra and its Applications 3 Erkenntnis 3 Foundations of Science 3 Logica Universalis 3 The Review of Symbolic Logic 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 Numerical Algorithms 2 Journal of Logic, Language and Information 2 Journal of Mathematical Sciences (New York) 2 Fundamenta Informaticae 2 Logic and Logical Philosophy 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 Annali di Matematica Pura ed Applicata. Serie Quarta 1 Functional Analysis and its Applications 1 Inventiones Mathematicae 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 Archive for Mathematical Logic 1 Mathematical Logic Quarterly (MLQ) 1 Journal of Functional Programming 1 Sbornik: Mathematics 1 Soft Computing 1 Philosophical Transactions of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences 1 Brazilian Journal of Probability and Statistics 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 Logical Methods in Computer Science 1 Asian-European Journal of Mathematics 1 Studies in History and Philosophy of Science. Part B. Studies in History and Philosophy of Modern Physics 1 Bulletin of Mathematical Sciences 1 Axiomathes all top 5 Cited in 38 Fields 231 Mathematical logic and foundations (03-XX) 67 Computer science (68-XX) 28 History and biography (01-XX) 23 Geometry (51-XX) 17 Order, lattices, ordered algebraic structures (06-XX) 15 General and overarching topics; collections (00-XX) 12 Linear and multilinear algebra; matrix theory (15-XX) 10 Numerical analysis (65-XX) 10 Quantum theory (81-XX) 9 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 8 Category theory; homological algebra (18-XX) 5 General algebraic systems (08-XX) 5 Real functions (26-XX) 5 Functional analysis (46-XX) 5 General topology (54-XX) 4 Combinatorics (05-XX) 4 Number theory (11-XX) 4 Group theory and generalizations (20-XX) 4 Harmonic analysis on Euclidean spaces (42-XX) 3 Commutative algebra (13-XX) 3 Approximations and expansions (41-XX) 3 Probability theory and stochastic processes (60-XX) 3 Statistics (62-XX) 2 Functions of a complex variable (30-XX) 2 Special functions (33-XX) 2 Dynamical systems and ergodic theory (37-XX) 2 Biology and other natural sciences (92-XX) 1 Field theory and polynomials (12-XX) 1 Algebraic geometry (14-XX) 1 Associative rings and algebras (16-XX) 1 Nonassociative rings and algebras (17-XX) 1 Measure and integration (28-XX) 1 Sequences, series, summability (40-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.