×
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

52 Publications have been cited 560 times in 405 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.
123
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.
54
1975
Intuitionism. An introduction. 3rd revised ed. Zbl 0219.02013
Heyting, A.
28
1971
Die intuitionistische Grundlegung der Mathematik. JFM 57.0053.01
Heyting, A.
28
1931
Mathematische Grundlagenforschung. Intuitionismus. Beweistheorie. Zbl 0009.38501
Heyting, A.
25
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.
18
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
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
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
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
Mathematische Grundlagenforschung, Intuitionismus, Beweistheorie. Reprint. Zbl 0278.02002
Heyting, A.
4
1974
Untersuchungen über intuitionistische Algebra. Zbl 0027.15303
Heyting, A.
4
1941
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
History of the foundation of mathematics. Zbl 0412.01012
Heyting, A.
2
1978
Intuitionistic views on the nature of mathematics. Zbl 0317.02007
Heyting, Arend
2
1974
Was ist berechenbar? Zbl 0185.01901
Heyting, A.
2
1969
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
Sur la tâche de la philosophie des mathématiques. Zbl 0051.24406
Heyting, A.
2
1953
A propos d’un article de MM. Barzin et Errera. JFM 59.0056.01
Heyting, A.
2
1932
Logique et intuitionisme. Zbl 0057.00704
Heyting, A.
2
1954
Continuum and choice by Brouwer. Zbl 0486.03031
Heyting, A.
1
1981
Intuitionistische wiskunde. III. JFM 62.0029.02
Heyting, A.
1
1936
Axiomatic method and intuitionism. Zbl 0163.24401
Heyting, A.
1
1962
Untersuchungen über intuitionistische Algebra. JFM 67.0045.04
Heyting, A.
1
1941
In memoriam Evert Willem Beth (1909–1964). Zbl 0159.00703
Heyting, Arend
1
1966
Technische vaardigheid. JFM 52.0063.02
Heyting, A.
1
1926
Intuitionismus und Schulmathematik. Zbl 0077.00211
Heyting, A.
1
1957
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
Recent progress in intuitionistic analysis. Zbl 0203.29604
Heyting, A.
1
1970
On intuitionism. Zbl 0229.02008
Heyting, A.
1
1972
Intuitionistische wiskunde. JFM 61.0048.02
Heyting, A.
1
1935
Sur la théorie intuitionniste de la mesure. Zbl 0057.04404
Heyting, A.
1
1954
La théorie élémentaire de l’intégration en mathématiques intuitionnistes. Zbl 0088.24802
Heyting, A.
1
1958
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
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.
54
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.
123
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.
25
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.
18
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 top 5

Cited by 412 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 Salam, Ahmed
7 Vidal, Concepción
7 von Plato, Jan
6 Lifschitz, Vladimir
6 Prawitz, Dag
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 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
2 Schuster, Peter Michael
...and 312 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

297 Mathematical logic and foundations (03-XX)
86 Computer science (68-XX)
35 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

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