Arend Heyting - Author Profile

Edit Profile

Heyting, Arend

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 563 times in 408 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.	124	1956
Philosophy of mathematics. Selected readings. 2nd ed. Zbl 0548.03002	69	1983
Collected works. Vol. 1: Philosophy and foundations of mathematics. Zbl 0311.01021 Brouwer, L. E. J.	56	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
Blick von der intuitionistischen Warte. Zbl 0089.24502 Heyting, A.	10	1958
Axioms for intuitionistic plane affine geometry. Zbl 0092.25002 Heyting, A.	10	1959
Intuitionistische axiomatiek der projektieve meetkunde. JFM 51.0436.06 Heyting, A.	10	1925
Sur la logique intuitionniste. JFM 56.0045.02 Heyting, A.	10	1930
Constructivity in mathematics. Proceedings of the colloquium, held at Amsterdam, 1957. Zbl 0086.00701	9	1959
After thirty years. Zbl 0166.24702 Heyting, A.	9	1962
Intuitionistic views on the nature of mathematics. Zbl 0315.02010 Heyting, Arend	7	1974
Axiomatic projective geometry. 2nd ed. Zbl 0454.51001 Heyting, A.	7	1980
Les fondements des mathématiques. Intuitionnisme. Théorie de la démonstration. Zbl 0066.01006 Heyting, A.	6	1955
On weakened quantification. Zbl 0063.02004 Heyting, A.	5	1946
Some remarks on intuitionism. Zbl 0085.25003 Heyting, A.	5	1959
Infinitistic methods from a finitist point of view. Zbl 0116.00801 Heyting, A.	5	1961
Untersuchungen über intuitionistische Algebra. Zbl 0027.15303 Heyting, A.	4	1941
Mathematische Grundlagenforschung, Intuitionismus, Beweistheorie. Reprint. Zbl 0278.02002 Heyting, A.	4	1974
Die intuitionistische Grundlegung der Mathematik. Zbl 0002.32102 Heyting, Arend	3	1931
De telbaarheidspraedicaten van Prof. Brouwer. JFM 55.0052.01 Heyting, A.	3	1929
Intuitionistic views on the nature of mathematics. Zbl 0317.02007 Heyting, Arend	2	1974
Note on the Riesz-Fischer theorem. Zbl 0043.29101 Heyting, A.	2	1951
Logique et intuitionisme. Zbl 0057.00704 Heyting, A.	2	1954
Sur la tâche de la philosophie des mathématiques. Zbl 0051.24406 Heyting, A.	2	1953
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
Was ist berechenbar? Zbl 0185.01901 Heyting, A.	2	1969
History of the foundation of mathematics. Zbl 0412.01012 Heyting, A.	2	1978
Sur la théorie intuitionniste de la mesure. Zbl 0057.04404 Heyting, A.	1	1954
Intuitionismus und Schulmathematik. Zbl 0077.00211 Heyting, A.	1	1957
Intuitionistische wiskunde. III. JFM 62.0029.02 Heyting, A.	1	1936
La théorie élémentaire de l’intégration en mathématiques intuitionnistes. Zbl 0088.24802 Heyting, A.	1	1958
Technische vaardigheid. JFM 52.0063.02 Heyting, A.	1	1926
On intuitionism. Zbl 0229.02008 Heyting, A.	1	1972
Untersuchungen über intuitionistische Algebra. JFM 67.0045.04 Heyting, A.	1	1941
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
Intuitionistische wiskunde. JFM 61.0048.02 Heyting, A.	1	1935
Continuum and choice by Brouwer. Zbl 0486.03031 Heyting, A.	1	1981
The intuitionist foundations of mathematics. Zbl 0945.03517 Heyting, Arend	1	1996
In memoriam Evert Willem Beth (1909–1964). Zbl 0159.00703 Heyting, Arend	1	1966
Axiomatic method and intuitionism. Zbl 0163.24401 Heyting, A.	1	1962
Recent progress in intuitionistic analysis. Zbl 0203.29604 Heyting, A.	1	1970
Remarques sur la théorie intuitionniste des espaces linéaires. Zbl 0192.03101 Heyting, A.	1	1966
The intuitionist foundations of mathematics. Zbl 0945.03517 Heyting, Arend	1	1996
Philosophy of mathematics. Selected readings. 2nd ed. Zbl 0548.03002	69	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.	56	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.	1	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.	124	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
Sur la tâche de la philosophie des mathématiques. Zbl 0051.24406 Heyting, A.	2	1953
Espace de Hilbert et intuitionisme. Zbl 0053.00701 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 417 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	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	Sanders, Sam
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	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
2	Schuhmann, Anna
...and 317 more Authors

all top 5

Cited in 107 Serials

21	Annals of Pure and Applied Logic
18	Studia Logica
17	Synthese
14	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
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
2	Logical Methods in Computer Science
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

299	Mathematical logic and foundations (03-XX)
87	Computer science (68-XX)
37	History and biography (01-XX)
26	Order, lattices, ordered algebraic structures (06-XX)
26	Geometry (51-XX)
22	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	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	Measure and integration (28-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.