×

zbMATH — the first resource for mathematics

Ackermann, Wilhelm

Compute Distance To:
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
Biographic References: 3 Publications

Co-Authors

30 single-authored
8 Hilbert, David

Publications by Year

Citations contained in zbMATH Open

28 Publications have been cited 448 times in 400 Documents Cited by Year
Grundzüge der theoretischen Logik. JFM 54.0055.01
Hilbert, D.; Ackermann, W.
77
1928
Solvable cases of the decision problem. Zbl 0056.24505
Ackermann, W.
65
1954
Zum Hilbertschen Aufbau der reellen Zahlen. JFM 54.0056.06
Ackermann, W.
61
1928
Begründung einer strengen Implikation. Zbl 0072.00106
Ackermann, Wilhelm
37
1956
Begründung des “tertium non datur” mittels der Hilbertschen Theorie der Widerspruchsfreiheit. JFM 50.0023.02
Ackermann, W.
26
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.
18
1950
Grundzüge der theoretischen Logik. JFM 64.0026.05
Hilbert, D.; Ackermann, W.
18
1938
Zur Axiomatik der Mengenlehre. Zbl 0070.04801
Ackermann, Wilhelm
17
1956
Untersuchungen über das Eliminationsproblem der mathematischen Logik. Zbl 0009.38601
Ackermann, Wilhelm
16
1934
Die Widerspruchsfreiheit der allgemeinen Mengenlehre. Zbl 0016.19501
Ackermann, Wilhelm
16
1937
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.
13
1928
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
8
1951
Untersuchungen über das Eliminationsproblem der mathematischen Logik. JFM 60.0022.01
Ackermann, W.
8
1934
Beiträge zum Entscheidungsproblem der mathematischen Logik. Zbl 0013.24110
Ackermann, Wilhelm
7
1936
Zur Widerspruchsfreiheit der Zahlentheorie. Zbl 0022.29202
Ackermann, Wilhelm
6
1940
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
Die Widerspruchsfreiheit der allgemeinen Mengenlehre. JFM 63.0828.04
Ackermann, W.
4
1937
Grundzüge der theoretischen Logik. 2., verb. Aufl. Zbl 0018.19301
Hilbert, David; Ackermann, W.
3
1938
Widerspruchsfreier Aufbau einer typenfreien Logik. (Erweitertes System.) I, II. Zbl 0050.24501
Ackermann, Wilhelm
3
1953
Zum Eliminationsproblem der mathematischen Logik. Zbl 0011.00302
Ackermann, Wilhelm
2
1935
Grundzüge der theoretischen Logik. 6. Aufl. Zbl 0239.02001
Hilbert, D.; Ackermann, W.
2
1972
Beiträge zum Entscheidungsproblem der mathematischen Logik. JFM 62.0041.03
Ackermann, W.
2
1936
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
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
Begründung einer strengen Implikation. Zbl 0072.00106
Ackermann, Wilhelm
37
1956
Zur Axiomatik der Mengenlehre. Zbl 0070.04801
Ackermann, Wilhelm
17
1956
Solvable cases of the decision problem. Zbl 0056.24505
Ackermann, W.
65
1954
Widerspruchsfreier Aufbau einer typenfreien Logik. (Erweitertes System.) I, II. Zbl 0050.24501
Ackermann, Wilhelm
3
1953
Konstruktiver Aufbau eines Abschnitts der zweiten Cantorschen Zahlenklasse. Zbl 0042.05004
Ackermann, Wilhelm
8
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.
18
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
6
1940
Grundzüge der theoretischen Logik. JFM 64.0026.05
Hilbert, D.; Ackermann, W.
18
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
16
1937
Die Widerspruchsfreiheit der allgemeinen Mengenlehre. JFM 63.0828.04
Ackermann, W.
4
1937
Beiträge zum Entscheidungsproblem der mathematischen Logik. Zbl 0013.24110
Ackermann, Wilhelm
7
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
2
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
16
1934
Untersuchungen über das Eliminationsproblem der mathematischen Logik. JFM 60.0022.01
Ackermann, W.
8
1934
Grundzüge der theoretischen Logik. JFM 54.0055.01
Hilbert, D.; Ackermann, W.
77
1928
Zum Hilbertschen Aufbau der reellen Zahlen. JFM 54.0056.06
Ackermann, W.
61
1928
Über die Erfüllbarkeit gewisser Zählausdrücke. JFM 54.0057.01
Ackermann, W.
13
1928
Begründung des “tertium non datur” mittels der Hilbertschen Theorie der Widerspruchsfreiheit. JFM 50.0023.02
Ackermann, W.
26
1924
all top 5

Cited by 425 Authors

8 Peter, Rozsa
8 Szałas, Andrzej
7 Ackermann, Wilhelm
7 von Plato, Jan
6 Conradie, Willem J.
6 Goldfarb, Warren D.
6 Kalmar, Laszlo
6 Mints, Grigoriĭ Efroimovich
5 Gabbay, Dov M.
5 Kanamori, Akihiro
5 Schütte, Kurt
5 Zach, Richard
4 Kleene, Stephen Cole
4 Kotas, Jerzy
4 Meyer, Robert Kenneth
4 Robles, Gemma
3 Arai, Toshiyasu
3 Badban, Bahareh
3 Belnap, Nuel D. jun.
3 Calude, Cristian S.
3 Carnap, Rudolf
3 de Moura, Leonardo
3 Ehrlich, Philip
3 Feferman, Solomon
3 Goranko, Valentin F.
3 Kahle, Reinhard
3 Makowsky, Johann-Andreas
3 Shramko, Yaroslav V.
3 Soare, Robert I.
3 Strichman, Ofer
2 Anderson, Alan Ross
2 Barrett, Clark W.
2 Belikov, Aleksander Aleksandrovich
2 Béziau, Jean-Yves
2 Bilò, Davide
2 Brady, Ross Thomas
2 Bruttomesso, Roberto
2 Da Costa, Newton Carneiro Affonso
2 Davis, Martin David
2 de Rijke, Maarten
2 Dean, Walter
2 Dershowitz, Nachum
2 Doherty, Patrick
2 Došen, Kosta
2 Gentzen, Gerhard
2 Gómez-Torrente, Mario
2 Gualà, Luciano
2 Gunji, Yukio-Pegio
2 Gurevich, Yuri
2 Hodges, Wilfrid
2 Jaskowski, Stanislaw
2 Jordan, Charles
2 Kreisel, Georg
2 Maksimova, Larisa L’vovna
2 Moore, Gregory H.
2 Moser, Georg
2 Ohlbach, Hans Jürgen
2 Orłowska, Ewa S.
2 Palmigiano, Alessandra
2 Pavičić, Mladen
2 Peckhaus, Volker
2 Pieczkowski, August
2 Policriti, Alberto
2 Proietti, Guido
2 Rodeh, Yoav
2 Rutishauser, Heinz
2 Schirn, Matthias
2 Schmidt, Hermann Arnold
2 Shapiro, Stewart
2 Sharir, Micha
2 Shelah, Saharon
2 Sieg, Wilfried
2 Suranyi, Janos
2 Towsner, Henry
2 Tveretina, Olga
2 Urquhart, Alasdair
2 van de Pol, Jan Cornelis
2 Wajsberg, Mordchaj
2 Zantema, Hans
2 Zeugmann, Thomas
1 Aanderaa, Stål O.
1 Abed, Sa’ed
1 Ackerman, Nathanael Leedom
1 Ackermann, Nils
1 Adžić, Miloš
1 Aiello, Marco
1 Aït Mohamed, Otmane
1 Akman, Varol
1 Alonso, Enrique
1 Alton, Donald A.
1 Anderson, Ross Alan
1 Andréka, Hajnal
1 Anellis, Irving H.
1 Anguera de Sojo, Aurea
1 Antonelli, Gian Aldo
1 Aono, Masashi
1 Ares, Juan
1 Avigad, Jeremy
1 Avron, Arnon
1 Awodey, Steve
...and 325 more Authors
all top 5

Cited in 92 Serials

43 The Journal of Symbolic Logic
31 Studia Logica
29 Mathematische Annalen
28 The Bulletin of Symbolic Logic
19 Annals of Pure and Applied Logic
11 Archiv für Mathematische Logik und Grundlagenforschung
11 Theoretical Computer Science
10 Synthese
10 The Review of Symbolic Logic
9 Journal of Philosophical Logic
8 Information and Computation
7 Journal of Applied Non-Classical Logics
6 Notre Dame Journal of Formal Logic
6 History and Philosophy of Logic
6 Archive for Mathematical Logic
6 Logica Universalis
5 Acta Mathematica Academiae Scientiarum Hungaricae
5 Annals of Mathematics and Artificial Intelligence
4 Information Processing Letters
4 Journal of Computer and System Sciences
4 Journal of Symbolic Computation
4 Monatshefte für Mathematik und Physik
3 Artificial Intelligence
3 Mathematische Semesterberichte
3 Algebra and Logic
3 Algebra Universalis
3 Combinatorica
3 Journal of Automated Reasoning
3 Historia Mathematica
3 Journal of Applied Logic
2 Computers & Mathematics with Applications
2 Jahresbericht der Deutschen Mathematiker-Vereinigung (DMV)
2 ZAMP. Zeitschrift für angewandte Mathematik und Physik
2 The Mathematical Intelligencer
2 Advances in Mathematics
2 Fuzzy Sets and Systems
2 Journal of Soviet Mathematics
2 Transactions of the American Mathematical Society
2 Algorithmica
2 Formal Methods in System Design
2 Journal of Mathematical Sciences (New York)
2 Mathematical Logic Quarterly (MLQ)
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 Proceedings of the American Mathematical Society
1 Tohoku Mathematical Journal. Second Series
1 Physica D
1 Journal of Computer Science and Technology
1 International Journal of Parallel Programming
1 Journal of the American Mathematical Society
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 Journal of Functional Programming
1 Advances in Computational Mathematics
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 Foundations of Science
1 Communications in Contemporary Mathematics
1 Bulletin of the American Mathematical Society
1 The Bulletin of Mathematical Biophysics
1 The College Mathematics Journal
1 Advances in Mathematical Physics
1 Axiomathes
1 Frontiers of Computer Science

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.