×

zbMATH — the first resource for mathematics

Grzegorczyk, Andrzej

Compute Distance To:
Author ID: grzegorczyk.andrzej Recent zbMATH articles by "Grzegorczyk, Andrzej"
Published as: Grzegorczyk, Andrzej; Grzegorczyk, A.; Grzegorczyk, Andrej
External Links: MGP · Wikidata · GND · IdRef
Documents Indexed: 51 Publications since 1949, including 10 Books
Biographic References: 8 Publications

Publications by Year

Citations contained in zbMATH Open

31 Publications have been cited 409 times in 351 Documents Cited by Year
On the definitions of computable real continuous functions. Zbl 0079.24801
Grzegorczyk, A.
93
1957
Computable functionals. Zbl 0066.26001
Grzegorczyk, A.
63
1955
Some classes of recursive functions. Zbl 0052.24902
Grzegorczyk, Andrzej
61
1953
Some relational systems and the associated topological spaces. Zbl 0207.29603
Grzegorczyk, A.
27
1967
Some classes of recursive functions. Zbl 0224.02029
Grzegorczyk, A.
21
1970
Undecidability without arithmetization. Zbl 1080.03004
Grzegorczyk, Andrzej
18
2005
A philosophically plausible formal interpretation of intuitionistic logic. Zbl 0131.00701
Grzegorczyk, A.
18
1964
Axiomatizability of geometry without points. Zbl 0201.32104
Grzegorczyk, A.
17
1960
The classical and the \(\omega\)-complete arithmetic. Zbl 0084.24801
Grzegorczyk, A.; Mostowski, A.; Ryll-Nardzewski, Czeslaw
15
1959
Outline of mathematical logic. (Zarys logiki matematycznej.) 3rd revised ed. Zbl 0246.02001
Grzegorczyk, Andrzej
9
1972
Undecidability and concatenation. Zbl 1150.03014
Grzegorczyk, Andrzej; Zdanowski, Konrad
9
2008
Definability of sets in models of axiomatic theories. Zbl 0099.00903
Grzegorczyk, A.; Mostowski, A.; Ryll-Nardzewski, Czeslaw
6
1961
Logical uniformity by decomposition and categoricity in \(\aleph_0\). Zbl 0184.01204
Grzegorczyk, A.
6
1968
On the definition of computable functionals. Zbl 0067.00301
Grzegorczyk, A.
5
1955
On the concept of categoricity. Zbl 0192.03605
Grzegorczyk, A.
5
1962
An outline of mathematical logic. Fundamental results and notions explained with all details. Translated from the original Polish by Olgierd Wojtasiewicz and Waclaw Zawadowski. Zbl 0287.02001
Grzegorczyk, Andrzej
5
1974
Abriß der Mathematischen Logik. [Zarys logiki matematycnej.]. Zbl 0132.24501
Grzegorczyk, Andrzej
5
1961
Recursive objects in all finite types. Zbl 0196.01404
Grzegorczyk, A.
4
1964
Elementarily definable analysis. Zbl 0064.00902
Grzegorczyk, A.
3
1955
An approach to logical calculus. Zbl 0286.02029
Grzegorczyk, Andrzej
3
1972
Some approaches to constructive analysis. Zbl 0088.01701
Grzegorczyk, Andrzej
2
1959
Assertions depending on time and corresponding logical calculi. Zbl 0175.26302
Grzegorczyk, A.
2
1968
An outline of mathematical logic. (Zarys logiki matematycznej). 5th ed. Zbl 0551.03001
Grzegorczyk, Andrzej
2
1981
Axiomatic theory of enumeration. Zbl 0309.02037
Grzegorczyk, Andrzej
2
1974
Decidability without mathematics. Zbl 1056.03023
Grzegorczyk, Andrzej
2
2004
On Janiszewski’s property of topological spaces. Zbl 0048.41102
Grzegorczyk, A.; Kuratowski, C.
1
1952
Der gegenwärtige Stand der Grundlagenforschung in der Mathematik. Zbl 0057.24307
Mostowski, A.; Grzegorczyk, A.; Jaśkowski, S.; Łoś, Jerzy; Mazur, S.; Rasiowa, H.; Sikorski, R.
1
1954
The present state of investigations on the foundations of mathematics. Zbl 0067.24808
Mostowski, Andrzej; Grzegorczyk, A.; Jaśkowski, S.; Łoś, Jerzy; Mazur, S.; Rasiowa, H.; Sikorski, R.
1
1955
Some proofs of undecidability of arithmetic. Zbl 0072.00502
Grzegorczyk, A.
1
1956
An unfinitizability proof by means of restricted reduced power. Zbl 0225.02034
Grzegorczyk, Andrzej
1
1971
Logic—a human affair. Zbl 0897.03007
Grzegorczyk, Andrzej
1
1997
Undecidability and concatenation. Zbl 1150.03014
Grzegorczyk, Andrzej; Zdanowski, Konrad
9
2008
Undecidability without arithmetization. Zbl 1080.03004
Grzegorczyk, Andrzej
18
2005
Decidability without mathematics. Zbl 1056.03023
Grzegorczyk, Andrzej
2
2004
Logic—a human affair. Zbl 0897.03007
Grzegorczyk, Andrzej
1
1997
An outline of mathematical logic. (Zarys logiki matematycznej). 5th ed. Zbl 0551.03001
Grzegorczyk, Andrzej
2
1981
An outline of mathematical logic. Fundamental results and notions explained with all details. Translated from the original Polish by Olgierd Wojtasiewicz and Waclaw Zawadowski. Zbl 0287.02001
Grzegorczyk, Andrzej
5
1974
Axiomatic theory of enumeration. Zbl 0309.02037
Grzegorczyk, Andrzej
2
1974
Outline of mathematical logic. (Zarys logiki matematycznej.) 3rd revised ed. Zbl 0246.02001
Grzegorczyk, Andrzej
9
1972
An approach to logical calculus. Zbl 0286.02029
Grzegorczyk, Andrzej
3
1972
An unfinitizability proof by means of restricted reduced power. Zbl 0225.02034
Grzegorczyk, Andrzej
1
1971
Some classes of recursive functions. Zbl 0224.02029
Grzegorczyk, A.
21
1970
Logical uniformity by decomposition and categoricity in \(\aleph_0\). Zbl 0184.01204
Grzegorczyk, A.
6
1968
Assertions depending on time and corresponding logical calculi. Zbl 0175.26302
Grzegorczyk, A.
2
1968
Some relational systems and the associated topological spaces. Zbl 0207.29603
Grzegorczyk, A.
27
1967
A philosophically plausible formal interpretation of intuitionistic logic. Zbl 0131.00701
Grzegorczyk, A.
18
1964
Recursive objects in all finite types. Zbl 0196.01404
Grzegorczyk, A.
4
1964
On the concept of categoricity. Zbl 0192.03605
Grzegorczyk, A.
5
1962
Definability of sets in models of axiomatic theories. Zbl 0099.00903
Grzegorczyk, A.; Mostowski, A.; Ryll-Nardzewski, Czeslaw
6
1961
Abriß der Mathematischen Logik. [Zarys logiki matematycnej.]. Zbl 0132.24501
Grzegorczyk, Andrzej
5
1961
Axiomatizability of geometry without points. Zbl 0201.32104
Grzegorczyk, A.
17
1960
The classical and the \(\omega\)-complete arithmetic. Zbl 0084.24801
Grzegorczyk, A.; Mostowski, A.; Ryll-Nardzewski, Czeslaw
15
1959
Some approaches to constructive analysis. Zbl 0088.01701
Grzegorczyk, Andrzej
2
1959
On the definitions of computable real continuous functions. Zbl 0079.24801
Grzegorczyk, A.
93
1957
Some proofs of undecidability of arithmetic. Zbl 0072.00502
Grzegorczyk, A.
1
1956
Computable functionals. Zbl 0066.26001
Grzegorczyk, A.
63
1955
On the definition of computable functionals. Zbl 0067.00301
Grzegorczyk, A.
5
1955
Elementarily definable analysis. Zbl 0064.00902
Grzegorczyk, A.
3
1955
The present state of investigations on the foundations of mathematics. Zbl 0067.24808
Mostowski, Andrzej; Grzegorczyk, A.; Jaśkowski, S.; Łoś, Jerzy; Mazur, S.; Rasiowa, H.; Sikorski, R.
1
1955
Der gegenwärtige Stand der Grundlagenforschung in der Mathematik. Zbl 0057.24307
Mostowski, A.; Grzegorczyk, A.; Jaśkowski, S.; Łoś, Jerzy; Mazur, S.; Rasiowa, H.; Sikorski, R.
1
1954
Some classes of recursive functions. Zbl 0052.24902
Grzegorczyk, Andrzej
61
1953
On Janiszewski’s property of topological spaces. Zbl 0048.41102
Grzegorczyk, A.; Kuratowski, C.
1
1952
all top 5

Cited by 327 Authors

12 Brattka, Vasco
12 Weihrauch, Klaus
9 Zhong, Ning
7 Marchenkov, Sergeĭ Serafimovich
7 Pour-El, Marian Boykan
7 Ziegler, Martin
6 Campagnolo, Manuel Lameiras
6 Gruszczyński, Rafał
5 Hertling, Peter H.
5 Pietruszczak, Andrzej
5 Richards, Ian
4 Bel’tyukov, Anatoliĭ Petrovich
4 Cenzer, Douglas
4 Grzegorczyk, Andrzej
4 Lutz, Jack H.
4 Macintyre, Angus John
4 Pakhomov, S. V.
4 Rybakov, Vladimir Vladimirovich
4 Zheng, Xizhong
4 Zucker, Jeffery I.
3 Bezhanishvili, Guram
3 Bournez, Olivier
3 Chytil, Metodej K.
3 Graça, Daniel Silva
3 Hainry, Emmanuel
3 Hjorth, Gregory
3 Hotz, Günter
3 Kalantari, Iraj
3 Kawamura, Akitoshi
3 Ko, Ker-I
3 Leivant, Daniel M.
3 Maksimova, Larisa L’vovna
3 Ojakian, Kerry
3 Ritchie, Robert W.
3 Steinberg, Florian
3 Tucker, John V.
3 Wainer, Stanley Scott
3 Welch, Lawrence V.
3 Wybraniec-Skardowska, Urszula
2 Apps, A. B.
2 Blanck, Jens
2 Buescu, Jorge
2 Burgess, John P.
2 Cheng, Yong
2 Cichon, E. A.
2 Constable, Robert Lee
2 Costa, José Félix
2 Dashti, S. Ali
2 Dean, Walter
2 Dimov, Georgi D.
2 Dudakov, Sergey M.
2 Düntsch, Ivo
2 Edalat, Abbas
2 Friedman, Harvey M.
2 Gärtner, Tobias
2 Georgiev, Ivan
2 Goldblatt, Robert Ian
2 Gomaa, Walid E.
2 Grubba, Tanja
2 Gu, Xiaoyang
2 Hájek, Petr
2 Havel, Ivan M.
2 Heck, Richard Kimberly
2 Horihata, Yoshihiro
2 Hoyrup, Mathieu
2 Iwanus, Boguslaw
2 Karlov, Boris
2 King, Jonathan L. F.
2 Koz’minyh, V. V.
2 Krajewski, Stanisław
2 Kristiansen, Lars
2 Kroon, Frederick W.
2 Kurahashi, Taishi
2 Mayordomo, Elvira
2 Moore, Cristopher
2 Müller, Horst
2 Muravitsky, Alexei Yu.
2 Murawski, Roman
2 Mycka, Jerzy
2 Neumann, Eike
2 Niggl, Karl-Heinz
2 Ono, Hiroakira
2 Parker, Matthew W.
2 Quinn-Gregson, Thomas
2 Remmel, Jeffrey B.
2 Rettinger, Robert
2 Schröder, Matthias
2 Seiferas, Joel I.
2 Sünderhauf, Philipp
2 Thies, Holger
2 Vakarelov, Dimiter
2 Varzi, Achille C.
2 Wansing, Heinrich Theodor
2 Wolter, Frank
2 Zakharyaschev, Michael Viktorovich
1 Abian, Alexander
1 Aczel, Peter
1 Adachi, Akeo
1 Anberrée, Thomas
1 Arikawa, Setsuo
...and 227 more Authors
all top 5

Cited in 80 Serials

37 Theoretical Computer Science
35 Studia Logica
26 Annals of Pure and Applied Logic
14 Archiv für Mathematische Logik und Grundlagenforschung
12 Journal of Complexity
11 Journal of Soviet Mathematics
11 Mathematical Logic Quarterly (MLQ)
10 Algebra and Logic
8 Transactions of the American Mathematical Society
7 Notre Dame Journal of Formal Logic
7 Archive for Mathematical Logic
7 Theory of Computing Systems
6 Information and Computation
5 Journal of Computer and System Sciences
5 Journal of Philosophical Logic
5 Journal of Applied Non-Classical Logics
5 The Bulletin of Symbolic Logic
4 Israel Journal of Mathematics
4 Mathematical Notes
4 Journal of Algebra
4 Kybernetika
4 The Review of Symbolic Logic
3 Advances in Mathematics
3 Applied Mathematics and Computation
3 Bulletin of the American Mathematical Society
3 Logica Universalis
3 Logical Methods in Computer Science
2 Information Processing Letters
2 Bulletin de la Société Mathématique de France
2 Computing
2 Information Sciences
2 The Journal of Symbolic Logic
2 Mathematische Annalen
2 Mathematical Systems Theory
2 Proceedings of the American Mathematical Society
2 Publications of the Research Institute for Mathematical Sciences, Kyoto University
2 RAIRO, Informatique Théorique
2 Semigroup Forum
2 Bulletin of the Section of Logic
2 History and Philosophy of Logic
2 Journal of the American Mathematical Society
2 MSCS. Mathematical Structures in Computer Science
2 Erkenntnis
2 Lobachevskii Journal of Mathematics
2 The Journal of Logic and Algebraic Programming
2 Logic and Logical Philosophy
2 Natural Computing
1 Acta Informatica
1 International Journal of Engineering Science
1 International Journal of General Systems
1 International Journal of Theoretical Physics
1 Algebra Universalis
1 Compositio Mathematica
1 Czechoslovak Mathematical Journal
1 Fuzzy Sets and Systems
1 Journal of Mathematical Economics
1 Journal of Pure and Applied Algebra
1 Mathematische Zeitschrift
1 Mathematika
1 Programming and Computer Software
1 Siberian Mathematical Journal
1 Synthese
1 Moscow University Computational Mathematics and Cybernetics
1 SIAM Journal on Algebraic and Discrete Methods
1 Acta Mathematica Hungarica
1 Statistical Science
1 Artificial Intelligence Review
1 Indagationes Mathematicae. New Series
1 Journal of Logic, Language and Information
1 Doklady Mathematics
1 Journal of Intelligent and Fuzzy Systems
1 Journal of Applied Logic
1 Journal of Logic and Analysis
1 Diskretnyĭ Analiz i Issledovanie Operatsiĭ
1 Publications of the Research Institute for Mathematical Sciences, Series A
1 Axiomathes
1 Revue Française d’Automatique, Informatique, Recherche Opérationnelle. Série Rouge
1 Axioms
1 ACM Transactions on Computation Theory
1 Journal of Logical and Algebraic Methods in Programming

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.