×

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

30 Publications have been cited 528 times in 471 Documents Cited by Year
Grundzüge der theoretischen Logik. JFM 54.0055.01
Hilbert, D.; Ackermann, W.
96
1928
Solvable cases of the decision problem. Zbl 0056.24505
Ackermann, W.
76
1954
Zum Hilbertschen Aufbau der reellen Zahlen. JFM 54.0056.06
Ackermann, W.
69
1928
Begründung einer strengen Implikation. Zbl 0072.00106
Ackermann, Wilhelm
44
1956
Begründung des “tertium non datur” mittels der Hilbertschen Theorie der Widerspruchsfreiheit. JFM 50.0023.02
Ackermann, W.
27
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.
22
1950
Die Widerspruchsfreiheit der allgemeinen Mengenlehre. Zbl 0016.19501
Ackermann, Wilhelm
21
1937
Zur Axiomatik der Mengenlehre. Zbl 0070.04801
Ackermann, Wilhelm
21
1956
Grundzüge der theoretischen Logik. JFM 64.0026.05
Hilbert, D.; Ackermann, W.
20
1938
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
Die Widerspruchsfreiheit der allgemeinen Mengenlehre. JFM 63.0828.04
Ackermann, W.
9
1937
Untersuchungen über das Eliminationsproblem der mathematischen Logik. JFM 60.0022.01
Ackermann, W.
9
1934
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
Zur Widerspruchsfreiheit der Zahlentheorie. Zbl 0022.29202
Ackermann, Wilhelm
7
1940
Grundzüge der theoretischen Logik. 5. Aufl . Zbl 0158.00602
Hilbert, David; Ackermann, W.
5
1967
Widerspruchsfreier Aufbau der Logik. I. Typenfreies System ohne Tertium non datur. Zbl 0036.14703
Ackermann, Wilhelm
5
1950
Zum Eliminationsproblem der mathematischen Logik. Zbl 0011.00302
Ackermann, Wilhelm
4
1935
Widerspruchsfreier Aufbau einer typenfreien Logik. (Erweitertes System.) I, II. Zbl 0050.24501
Ackermann, Wilhelm
4
1953
Grundzüge der theoretischen Logik. 2., verb. Aufl. Zbl 0018.19301
Hilbert, David; Ackermann, W.
3
1938
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
Grundzüge der theoretischen Logik. 4. Aufl. Zbl 0088.00901
Hilbert, David; Ackermann, W.
2
1959
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
Über die Beziehung zwischen strikter und strenger Implikation. Zbl 0099.00505
Ackermann, Wilhelm
1
1958
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
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
1
1958
Begründung einer strengen Implikation. Zbl 0072.00106
Ackermann, Wilhelm
44
1956
Zur Axiomatik der Mengenlehre. Zbl 0070.04801
Ackermann, Wilhelm
21
1956
Solvable cases of the decision problem. Zbl 0056.24505
Ackermann, W.
76
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.
22
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
7
1940
Grundzüge der theoretischen Logik. JFM 64.0026.05
Hilbert, D.; Ackermann, W.
20
1938
Grundzüge der theoretischen Logik. 2., verb. Aufl. Zbl 0018.19301
Hilbert, David; Ackermann, W.
3
1938
Die Widerspruchsfreiheit der allgemeinen Mengenlehre. Zbl 0016.19501
Ackermann, Wilhelm
21
1937
Die Widerspruchsfreiheit der allgemeinen Mengenlehre. JFM 63.0828.04
Ackermann, W.
9
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.
9
1934
Grundzüge der theoretischen Logik. JFM 54.0055.01
Hilbert, D.; Ackermann, W.
96
1928
Zum Hilbertschen Aufbau der reellen Zahlen. JFM 54.0056.06
Ackermann, W.
69
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.
27
1924
all top 5

Cited by 523 Authors

8 Peter, Rozsa
8 Szałas, Andrzej
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 Kleene, Stephen Cole
4 Kotas, Jerzy
4 Meyer, Robert Kenneth
4 Robles, Gemma
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 Ehrlich, Philip
3 Feferman, Solomon
3 Gurevich, Yuri
3 Kahle, Reinhard
3 Makowsky, Johann-Andreas
3 Policriti, Alberto
3 Shapiro, Stewart
3 Shramko, Yaroslav V.
3 Strichman, Ofer
3 Urquhart, Alasdair
2 Abed, Sa’ed
2 Aït Mohamed, Otmane
2 Anderson, Alan Ross
2 Andréka, Hajnal
2 Anellis, Irving H.
2 Avron, Arnon
2 Barrett, Clark W.
2 Belikov, Aleksander Aleksandrovich
2 Béziau, Jean-Yves
2 Bilò, Davide
2 Blanqui, Frédéric
2 Blass, Andreas Raphael
2 Bonacina, Maria Paola
2 Brady, Ross Thomas
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 Doherty, Patrick
2 Došen, Kosta
2 Dowek, Gilles
2 Gentzen, Gerhard
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 Kreisel, Georg
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 Moser, Georg
2 Øgaard, Tore Fjetland
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
2 Schirn, Matthias
2 Schmidt, Hermann Arnold
2 Schmidt, Renate A.
2 Sharir, Micha
2 Shelah, Saharon
2 Sieg, Wilfried
2 Smolka, Gert
...and 423 more Authors
all top 5

Cited in 105 Serials

44 The Journal of Symbolic Logic
31 Studia Logica
30 The Bulletin of Symbolic Logic
29 Mathematische Annalen
21 Annals of Pure and Applied Logic
15 Synthese
14 The Review of Symbolic Logic
11 Archiv für Mathematische Logik und Grundlagenforschung
11 Journal of Philosophical Logic
11 Theoretical Computer Science
8 History and Philosophy of Logic
8 Information and Computation
7 Archive for Mathematical Logic
7 Journal of Applied Non-Classical Logics
6 Notre Dame Journal of Formal Logic
6 Logica Universalis
5 Acta Mathematica Academiae Scientiarum Hungaricae
5 Journal of Computer and System Sciences
5 Journal of Symbolic Computation
5 Mathematical Logic Quarterly (MLQ)
5 Annals of Mathematics and Artificial Intelligence
4 Artificial Intelligence
4 Information Processing Letters
4 Mathematische Semesterberichte
4 The Mathematical Intelligencer
4 Combinatorica
4 Journal of Automated Reasoning
4 Monatshefte für Mathematik und Physik
3 Jahresbericht der Deutschen Mathematiker-Vereinigung (DMV)
3 Algebra and Logic
3 Algebra Universalis
3 Historia Mathematica
3 Journal of Applied Logic
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 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 Mathematische Zeitschrift
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 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
1 Journal of Applied Mathematics & Informatics
...and 5 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.