×
Compute Distance To:
Author ID: heyting.arend Recent zbMATH articles by "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

Publications by Year

Citations contained in zbMATH Open

48 Publications have been cited 504 times in 322 Documents Cited by Year
Die formalen Regeln der intuitionistischen Logik. I, II, III. JFM 56.0823.01
Heyting, A.
101
1930
Intuitionism. An introduction. Zbl 0070.00801
Heyting, A.
95
1956
Philosophy of mathematics. Selected readings. 2nd ed. Zbl 0548.03002
48
1983
Collected works. Vol. 1: Philosophy and foundations of mathematics. Zbl 0311.01021
Brouwer, L. E. J.
31
1975
Die intuitionistische Grundlegung der Mathematik. JFM 57.0053.01
Heyting, A.
26
1931
Die Theorie der linearen Gleichungen in einer Zahlenspezies mit nichtkommutativer Multiplikation. JFM 53.0120.01
Heyting, A.
21
1927
Intuitionism. An introduction. 3rd revised ed. Zbl 0219.02013
Heyting, A.
20
1971
Mathematische Grundlagenforschung. Intuitionismus. Beweistheorie. Zbl 0009.38501
Heyting, A.
20
1934
Zur intuitionistischen Axiomatik der projektiven Geometrie. JFM 53.0541.01
Heyting, A.
15
1927
Axiomatic projective geometry. Zbl 0114.12601
Heyting, A.
11
1963
Sur la logique intuitionniste. JFM 56.0045.02
Heyting, A.
9
1930
Mathematische Grundlagenforschung. Intuitionismus. Beweistheorie. JFM 60.0019.01
Heyting, A.
8
1934
Intuitionistische axiomatiek der projektieve meetkunde. JFM 51.0436.06
Heyting, A.
8
1925
Intuitionism. An introduction. Zbl 0125.00510
Heyting, A.
8
1965
Blick von der intuitionistischen Warte. Zbl 0089.24502
Heyting, A.
7
1958
Axioms for intuitionistic plane affine geometry. Zbl 0092.25002
Heyting, A.
7
1959
Intuitionistic views on the nature of mathematics. Zbl 0315.02010
Heyting, Arend
6
1974
Axiomatic projective geometry. 2nd ed. Zbl 0454.51001
Heyting, A.
6
1980
Les fondements des mathématiques. Intuitionnisme. Théorie de la démonstration. Zbl 0066.01006
Heyting, A.
5
1955
Mathematische Grundlagenforschung, Intuitionismus, Beweistheorie. Reprint. Zbl 0278.02002
Heyting, A.
4
1974
After thirty years. Zbl 0166.24702
Heyting, A.
4
1962
On weakened quantification. Zbl 0063.02004
Heyting, A.
4
1946
Constructivity in mathematics. Proceedings of the colloquium, held at Amsterdam, 1957. Zbl 0086.00701
4
1959
De telbaarheidspraedicaten van Prof. Brouwer. JFM 55.0052.01
Heyting, A.
3
1929
Some remarks on intuitionism. Zbl 0085.25003
Heyting, A.
3
1959
Intuitionistic views on the nature of mathematics. Zbl 0317.02007
Heyting, Arend
2
1974
History of the foundation of mathematics. Zbl 0412.01012
Heyting, A.
2
1978
A propos d’un article de MM. Barzin et Errera. JFM 59.0056.01
Heyting, A.
2
1932
Die intuitionistische Grundlegung der Mathematik. Zbl 0002.32102
Heyting, Arend
2
1931
Untersuchungen über intuitionistische Algebra. Zbl 0027.15303
Heyting, A.
2
1941
Note on the Riesz-Fischer theorem. Zbl 0043.29101
Heyting, A.
2
1951
Espace de Hilbert et intuitionisme. Zbl 0053.00701
Heyting, A.
2
1953
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
Die intuitionistische Mathematik. JFM 57.1323.22
Heyting, A.
1
1931
Technische vaardigheid. JFM 52.0063.02
Heyting, A.
1
1926
Infinitistic methods from a finitist point of view. Zbl 0116.00801
Heyting, A.
1
1961
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
Remarques sur la théorie intuitionniste des espaces linéaires. Zbl 0192.03101
Heyting, A.
1
1966
Recent progress in intuitionistic analysis. Zbl 0203.29604
Heyting, A.
1
1970
On intuitionism. Zbl 0229.02008
Heyting, A.
1
1972
Continuum and choice by Brouwer. Zbl 0486.03031
Heyting, A.
1
1981
Sur la tâche de la philosophie des mathématiques. Zbl 0051.24406
Heyting, A.
1
1953
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
La théorie élémentaire de l’intégration en mathématiques intuitionnistes. Zbl 0088.24802
Heyting, A.
1
1958
Philosophy of mathematics. Selected readings. 2nd ed. Zbl 0548.03002
48
1983
Continuum and choice by Brouwer. Zbl 0486.03031
Heyting, A.
1
1981
Axiomatic projective geometry. 2nd ed. Zbl 0454.51001
Heyting, A.
6
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.
31
1975
Intuitionistic views on the nature of mathematics. Zbl 0315.02010
Heyting, Arend
6
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.
20
1971
Recent progress in intuitionistic analysis. Zbl 0203.29604
Heyting, A.
1
1970
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.
8
1965
Axiomatic projective geometry. Zbl 0114.12601
Heyting, A.
11
1963
After thirty years. Zbl 0166.24702
Heyting, A.
4
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.
1
1961
Axioms for intuitionistic plane affine geometry. Zbl 0092.25002
Heyting, A.
7
1959
Constructivity in mathematics. Proceedings of the colloquium, held at Amsterdam, 1957. Zbl 0086.00701
4
1959
Some remarks on intuitionism. Zbl 0085.25003
Heyting, A.
3
1959
Blick von der intuitionistischen Warte. Zbl 0089.24502
Heyting, A.
7
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.
95
1956
Les fondements des mathématiques. Intuitionnisme. Théorie de la démonstration. Zbl 0066.01006
Heyting, A.
5
1955
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.
1
1953
Note on the Riesz-Fischer theorem. Zbl 0043.29101
Heyting, A.
2
1951
On weakened quantification. Zbl 0063.02004
Heyting, A.
4
1946
Untersuchungen über intuitionistische Algebra. Zbl 0027.15303
Heyting, A.
2
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.
20
1934
Mathematische Grundlagenforschung. Intuitionismus. Beweistheorie. JFM 60.0019.01
Heyting, A.
8
1934
A propos d’un article de MM. Barzin et Errera. JFM 59.0056.01
Heyting, A.
2
1932
Die intuitionistische Grundlegung der Mathematik. JFM 57.0053.01
Heyting, A.
26
1931
Die intuitionistische Grundlegung der Mathematik. Zbl 0002.32102
Heyting, Arend
2
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.
101
1930
Sur la logique intuitionniste. JFM 56.0045.02
Heyting, A.
9
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.
21
1927
Zur intuitionistischen Axiomatik der projektiven Geometrie. JFM 53.0541.01
Heyting, A.
15
1927
Technische vaardigheid. JFM 52.0063.02
Heyting, A.
1
1926
Intuitionistische axiomatiek der projektieve meetkunde. JFM 51.0436.06
Heyting, A.
8
1925
all top 5

Cited by 335 Authors

10 Cabalar, Pedro
7 von Plato, Jan
6 Salam, Ahmed
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 Bridges, Douglas Suth
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 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
2 Lane, Norman D.
2 Lipton, James B.
2 Lorimer, Joseph Wilson
2 Mandelkern, Mark
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 Shapiro, Stewart
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
1 Bellacicco, Antonio
...and 235 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 History and Philosophy of Logic
10 Artificial Intelligence
10 Journal of Philosophical Logic
10 Indagationes Mathematicae. New Series
8 Compositio Mathematica
7 Theoretical Computer Science
7 Journal of Applied Non-Classical Logics
6 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

225 Mathematical logic and foundations (03-XX)
65 Computer science (68-XX)
27 History and biography (01-XX)
22 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

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.