×

Ackermann, Wilhelm (b. 1896 d. 1962)

Author ID: ackermann.wilhelm Recent zbMATH articles by "Ackermann, Wilhelm"
Published as: Ackermann, W.; Ackermann, Wilhelm
External Links: MacTutor · MGP · Wikidata · dblp · GND · IdRef
Documents Indexed: 38 Publications since 1924, including 10 Books
3 Further Contributions
Biographic References: 3 Publications
Co-Authors: 1 Co-Author with 10 Joint Publications
8 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

32 Publications have been cited 558 times in 495 Documents Cited by Year
Grundzüge der theoretischen Logik. JFM 54.0055.01
Hilbert, D.; Ackermann, W.
102
1928
Solvable cases of the decision problem. Zbl 0056.24505
Ackermann, W.
81
1954
Zum Hilbertschen Aufbau der reellen Zahlen. JFM 54.0056.06
Ackermann, W.
73
1928
Begründung einer strengen Implikation. Zbl 0072.00106
Ackermann, Wilhelm
46
1956
Begründung des “tertium non datur” mittels der Hilbertschen Theorie der Widerspruchsfreiheit. JFM 50.0023.02
Ackermann, W.
28
1924
Principles of mathematical logic. English translation by Lewis M. Hammond, George G. Leckie and F. Steinhardt. - Edited and with notes by Robert E. Luce. Zbl 0040.00402
Hilbert, David; Ackermann, W.
24
1950
Grundzüge der theoretischen Logik. JFM 64.0026.05
Hilbert, D.; Ackermann, W.
22
1938
Die Widerspruchsfreiheit der allgemeinen Mengenlehre. Zbl 0016.19501
Ackermann, Wilhelm
22
1937
Zur Axiomatik der Mengenlehre. Zbl 0070.04801
Ackermann, Wilhelm
21
1956
Untersuchungen über das Eliminationsproblem der mathematischen Logik. Zbl 0009.38601
Ackermann, Wilhelm
19
1934
Zur Widerspruchsfreiheit der Zahlentheorie. JFM 66.0031.02
Ackermann, W.
16
1940
Über die Erfüllbarkeit gewisser Zählausdrücke. JFM 54.0057.01
Ackermann, W.
15
1928
Untersuchungen über das Eliminationsproblem der mathematischen Logik. JFM 60.0022.01
Ackermann, W.
11
1934
Die Widerspruchsfreiheit der allgemeinen Mengenlehre. JFM 63.0828.04
Ackermann, W.
9
1937
Zur Widerspruchsfreiheit der Zahlentheorie. Zbl 0022.29202
Ackermann, Wilhelm
9
1940
Grundzüge der theoretischen Logik. 3. verbesserte Aufl. Zbl 0034.29002
Hilbert, David; Ackermann, W.
9
1949
Konstruktiver Aufbau eines Abschnitts der zweiten Cantorschen Zahlenklasse. Zbl 0042.05004
Ackermann, Wilhelm
9
1951
Beiträge zum Entscheidungsproblem der mathematischen Logik. Zbl 0013.24110
Ackermann, Wilhelm
8
1936
Widerspruchsfreier Aufbau der Logik. I. Typenfreies System ohne Tertium non datur. Zbl 0036.14703
Ackermann, Wilhelm
5
1950
Grundzüge der theoretischen Logik. 5. Aufl . Zbl 0158.00602
Hilbert, David; Ackermann, W.
5
1967
Zum Eliminationsproblem der mathematischen Logik. Zbl 0011.00302
Ackermann, Wilhelm
4
1935
Grundzüge der theoretischen Logik. 2., verb. Aufl. Zbl 0018.19301
Hilbert, David; Ackermann, W.
4
1938
Widerspruchsfreier Aufbau einer typenfreien Logik. (Erweitertes System.) I, II. Zbl 0050.24501
Ackermann, Wilhelm
4
1953
Beiträge zum Entscheidungsproblem der mathematischen Logik. JFM 62.0041.03
Ackermann, W.
2
1936
Grundzüge der theoretischen Logik. 6. Aufl. Zbl 0239.02001
Hilbert, D.; Ackermann, W.
2
1972
Beiträge zur Philosophie der Mathematik. Mit einführenden und ergänzenden Bemerkungen von Wilhelm Ackermann, Paul Bernays und David Hilbert. Zbl 0087.00712
Nelson, Leonard
2
1959
Grundzüge der theoretischen Logik. 4. Aufl. Zbl 0088.00901
Hilbert, David; Ackermann, W.
2
1959
Über die Beziehung zwischen strikter und strenger Implikation. Zbl 0099.00505
Ackermann, Wilhelm
2
1958
Ein System der typenfreien Logik. I. JFM 67.0039.01
Ackermann, W.
1
1941
Zum Eliminationsproblem der mathematischen Logik. JFM 61.0051.03
Ackermann, W.
1
1935
Was ist Mathematik? JFM 53.0039.01
Ackermann, W.
1
1927
Mengentheoretische Begründung der Logik. Zbl 0017.24201
Ackermann, Wilhelm
1
1937
Grundzüge der theoretischen Logik. 6. Aufl. Zbl 0239.02001
Hilbert, D.; Ackermann, W.
2
1972
Grundzüge der theoretischen Logik. 5. Aufl . Zbl 0158.00602
Hilbert, David; Ackermann, W.
5
1967
Beiträge zur Philosophie der Mathematik. Mit einführenden und ergänzenden Bemerkungen von Wilhelm Ackermann, Paul Bernays und David Hilbert. Zbl 0087.00712
Nelson, Leonard
2
1959
Grundzüge der theoretischen Logik. 4. Aufl. Zbl 0088.00901
Hilbert, David; Ackermann, W.
2
1959
Über die Beziehung zwischen strikter und strenger Implikation. Zbl 0099.00505
Ackermann, Wilhelm
2
1958
Begründung einer strengen Implikation. Zbl 0072.00106
Ackermann, Wilhelm
46
1956
Zur Axiomatik der Mengenlehre. Zbl 0070.04801
Ackermann, Wilhelm
21
1956
Solvable cases of the decision problem. Zbl 0056.24505
Ackermann, W.
81
1954
Widerspruchsfreier Aufbau einer typenfreien Logik. (Erweitertes System.) I, II. Zbl 0050.24501
Ackermann, Wilhelm
4
1953
Konstruktiver Aufbau eines Abschnitts der zweiten Cantorschen Zahlenklasse. Zbl 0042.05004
Ackermann, Wilhelm
9
1951
Principles of mathematical logic. English translation by Lewis M. Hammond, George G. Leckie and F. Steinhardt. - Edited and with notes by Robert E. Luce. Zbl 0040.00402
Hilbert, David; Ackermann, W.
24
1950
Widerspruchsfreier Aufbau der Logik. I. Typenfreies System ohne Tertium non datur. Zbl 0036.14703
Ackermann, Wilhelm
5
1950
Grundzüge der theoretischen Logik. 3. verbesserte Aufl. Zbl 0034.29002
Hilbert, David; Ackermann, W.
9
1949
Ein System der typenfreien Logik. I. JFM 67.0039.01
Ackermann, W.
1
1941
Zur Widerspruchsfreiheit der Zahlentheorie. JFM 66.0031.02
Ackermann, W.
16
1940
Zur Widerspruchsfreiheit der Zahlentheorie. Zbl 0022.29202
Ackermann, Wilhelm
9
1940
Grundzüge der theoretischen Logik. JFM 64.0026.05
Hilbert, D.; Ackermann, W.
22
1938
Grundzüge der theoretischen Logik. 2., verb. Aufl. Zbl 0018.19301
Hilbert, David; Ackermann, W.
4
1938
Die Widerspruchsfreiheit der allgemeinen Mengenlehre. Zbl 0016.19501
Ackermann, Wilhelm
22
1937
Die Widerspruchsfreiheit der allgemeinen Mengenlehre. JFM 63.0828.04
Ackermann, W.
9
1937
Mengentheoretische Begründung der Logik. Zbl 0017.24201
Ackermann, Wilhelm
1
1937
Beiträge zum Entscheidungsproblem der mathematischen Logik. Zbl 0013.24110
Ackermann, Wilhelm
8
1936
Beiträge zum Entscheidungsproblem der mathematischen Logik. JFM 62.0041.03
Ackermann, W.
2
1936
Zum Eliminationsproblem der mathematischen Logik. Zbl 0011.00302
Ackermann, Wilhelm
4
1935
Zum Eliminationsproblem der mathematischen Logik. JFM 61.0051.03
Ackermann, W.
1
1935
Untersuchungen über das Eliminationsproblem der mathematischen Logik. Zbl 0009.38601
Ackermann, Wilhelm
19
1934
Untersuchungen über das Eliminationsproblem der mathematischen Logik. JFM 60.0022.01
Ackermann, W.
11
1934
Grundzüge der theoretischen Logik. JFM 54.0055.01
Hilbert, D.; Ackermann, W.
102
1928
Zum Hilbertschen Aufbau der reellen Zahlen. JFM 54.0056.06
Ackermann, W.
73
1928
Über die Erfüllbarkeit gewisser Zählausdrücke. JFM 54.0057.01
Ackermann, W.
15
1928
Was ist Mathematik? JFM 53.0039.01
Ackermann, W.
1
1927
Begründung des “tertium non datur” mittels der Hilbertschen Theorie der Widerspruchsfreiheit. JFM 50.0023.02
Ackermann, W.
28
1924
all top 5

Cited by 552 Authors

9 Szałas, Andrzej
8 Peter, Rozsa
7 Ackermann, Wilhelm
7 Conradie, Willem
7 von Plato, Jan
7 Zach, Richard
6 Goldfarb, Warren D.
6 Kalmar, Laszlo
6 Mints, Grigoriĭ Efroimovich
6 Schütte, Kurt
5 Gabbay, Dov M.
5 Kanamori, Akihiro
5 Méndez, José M.
4 Goranko, Valentin F.
4 Kahle, Reinhard
4 Kleene, Stephen Cole
4 Kotas, Jerzy
4 Meyer, Robert Kenneth
4 Robles, Gemma
4 Shramko, Yaroslav V.
4 Soare, Robert I.
3 Arai, Toshiyasu
3 Badban, Bahareh
3 Belnap, Nuel D. jun.
3 Bruttomesso, Roberto
3 Calude, Cristian S.
3 Carnap, Rudolf
3 de Moura, Leonardo
3 Doherty, Patrick
3 Došen, Kosta
3 Ehrlich, Philip
3 Feferman, Solomon
3 Gurevich, Yuri
3 Makowsky, Johann-Andreas
3 Moser, Georg
3 Øgaard, Tore Fjetland
3 Policriti, Alberto
3 Shapiro, Stewart
3 Strichman, Ofer
3 Urquhart, Alasdair
2 Abed, Sa’ed
2 Adžić, Miloš
2 Aït Mohamed, Otmane
2 Anderson, Alan Ross
2 Andréka, Hajnal
2 Anellis, Irving Henry
2 Avron, Arnon
2 Badia, Guillermo
2 Barrett, Clark W.
2 Belikov, Aleksander Aleksandrovich
2 Béziau, Jean-Yves
2 Biasotti, Silvia
2 Bilò, Davide
2 Blanqui, Frédéric
2 Blass, Andreas Raphael
2 Bonacina, Maria Paola
2 Brady, Ross Thomas
2 Chaudhuri, Shiva P.
2 Cimatti, Alessandro
2 Copeland, B. Jack
2 Da Costa, Newton Carneiro Affonso
2 d’Atri, Gianfranco
2 Davis, Martin David
2 de Rijke, Maarten
2 Dean, Walter
2 Dershowitz, Nachum
2 Dowek, Gilles
2 Gentzen, Gerhard
2 Giorgi, Daniela
2 Gómez-Torrente, Mario
2 Gualà, Luciano
2 Gunji, Yukio-Pegio
2 Hodges, Wilfrid
2 Hu, Alan J.
2 Jaskowski, Stanislaw
2 Jordan, Charles
2 Kirby, Laurence
2 Kirst, Dominik
2 Kreisel, Georg
2 Kripke, Saul A.
2 Lara, Juan A.
2 Leonardis, Antonino
2 Lewis, Harry R.
2 Lizcano, David
2 Maksimova, Larisa L’vovna
2 Mancosu, Paolo
2 Martínez, María-Aurora
2 Mathias, Adrian R. D.
2 Mokhtari, Yassine
2 Moore, Gregory H.
2 Ohlbach, Hans Jürgen
2 Orłowska, Ewa S.
2 Palmigiano, Alessandra
2 Pavičić, Mladen
2 Pazos, Juan
2 Peckhaus, Volker
2 Pieczkowski, August
2 Proietti, Guido
2 Rodeh, Yoav
2 Rutishauser, Heinz
...and 452 more Authors
all top 5

Cited in 107 Serials

45 The Journal of Symbolic Logic
32 Studia Logica
32 The Bulletin of Symbolic Logic
29 Mathematische Annalen
21 Annals of Pure and Applied Logic
17 Synthese
15 The Review of Symbolic Logic
13 Theoretical Computer Science
11 Archiv für Mathematische Logik und Grundlagenforschung
11 Journal of Philosophical Logic
8 History and Philosophy of Logic
8 Information and Computation
8 Archive for Mathematical Logic
7 Journal of Applied Non-Classical Logics
6 Notre Dame Journal of Formal Logic
6 Annals of Mathematics and Artificial Intelligence
6 Logica Universalis
5 Acta Mathematica Academiae Scientiarum Hungaricae
5 Artificial Intelligence
5 Journal of Computer and System Sciences
5 Journal of Symbolic Computation
5 Journal of Automated Reasoning
5 Mathematical Logic Quarterly (MLQ)
4 Information Processing Letters
4 Mathematische Semesterberichte
4 The Mathematical Intelligencer
4 Combinatorica
4 Journal of Applied Logic
4 Monatshefte für Mathematik und Physik
3 Jahresbericht der Deutschen Mathematiker-Vereinigung (DMV)
3 Algebra and Logic
3 Algebra Universalis
3 Historia Mathematica
2 Computers & Mathematics with Applications
2 ZAMP. Zeitschrift für angewandte Mathematik und Physik
2 Advances in Mathematics
2 Fuzzy Sets and Systems
2 Journal of Soviet Mathematics
2 Mathematische Zeitschrift
2 Transactions of the American Mathematical Society
2 Bulletin of the Section of Logic
2 Algorithmica
2 Journal of the American Mathematical Society
2 Formal Methods in System Design
2 Journal of Mathematical Sciences (New York)
2 Journal of Functional Programming
2 Foundations of Science
2 BIT. Nordisk Tidskrift for Informationsbehandling
2 Computer Science Review
1 Acta Informatica
1 Discrete Applied Mathematics
1 Discrete Mathematics
1 International Journal of General Systems
1 International Journal of Theoretical Physics
1 Mathematics of Computation
1 Chaos, Solitons and Fractals
1 Annali di Matematica Pura ed Applicata. Serie Quarta
1 Applied Mathematics and Computation
1 Blätter (Deutsche Gesellschaft für Versicherungsmathematik)
1 Bulletin de la Société Mathématique de France
1 Czechoslovak Mathematical Journal
1 Journal of Algebra
1 Kybernetes
1 Nagoya Mathematical Journal
1 Pacific Journal of Mathematics
1 Proceedings of the American Mathematical Society
1 Rendiconti dell’Istituto di Matematica dell’Università di Trieste
1 Tôhoku Mathematical Journal. Second Series
1 Physica D
1 Journal of Computer Science and Technology
1 International Journal of Parallel Programming
1 Japan Journal of Industrial and Applied Mathematics
1 International Journal of Algebra and Computation
1 International Journal of Foundations of Computer Science
1 Journal of Global Optimization
1 Artificial Intelligence Review
1 Aequationes Mathematicae
1 Pattern Recognition
1 Bulletin of the American Mathematical Society. New Series
1 Journal of Mathematical Imaging and Vision
1 Cybernetics and Systems Analysis
1 Computational Optimization and Applications
1 Journal of Logic, Language and Information
1 Computational and Applied Mathematics
1 Advances in Computational Mathematics
1 Theory and Applications of Categories
1 Constraints
1 Philosophical Transactions of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences
1 NTM. Neue Serie
1 Annals of Mathematics. Second Series
1 Erkenntnis
1 Communications in Contemporary Mathematics
1 Fundamenta Informaticae
1 Logic and Logical Philosophy
1 Bulletin of the American Mathematical Society
1 The Bulletin of Mathematical Biophysics
1 International Electronic Journal of Algebra (IEJA)
1 Logical Methods in Computer Science
1 The College Mathematics Journal
1 Advances in Mathematical Physics
...and 7 more Serials

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.