×

zbMATH — the first resource for mathematics

Studies in Logic and the Foundations of Mathematics

Short Title: Stud. Logic Found. Math.
Publisher: Elsevier, Amsterdam
Online: http://www.sciencedirect.com/science/bookseries/0049237X
Comments: Book series; No longer indexed; numbered from Vol. 61 (1969)
Documents Indexed: 148 Publications (1951–2009)
all top 5

Authors / Editors

6 Fraenkel, Abraham
6 Henkin, Leon Albert
6 Robinson, Abraham
6 Tarski, Alfred
5 Bar-Hillel, Yehoshua
5 Mostowski, Andrzej Stanisław
5 van Dalen, Dirk
4 Curry, Haskell Brooks
4 Keisler, Howard Jerome
3 Barwise, Kenneth Jon
3 Fenstad, Jens Erik
3 Gandy, Robin O.
3 Heyting, Arend
3 Kunen, Kenneth
3 Odifreddi, Piergiorgio
3 Takeuti, Gaisi
3 Troelstra, Anne Sjerp
2 Addison, J. W.
2 Arruda, Ayda Ignez
2 Barendregt, Hendrik Pieter
2 Boone, William W.
2 Chang, Chen-Chung
2 Chuaqui Kettlun, Rolando Basim
2 Da Costa, Newton Carneiro Affonso
2 Drake, Frank R.
2 Ershov, Yuriĭ Leonidovich
2 Fraïssé, Roland
2 Gabbay, Dov M.
2 Goldblatt, Robert Ian
2 Goncharov, Sergeĭ Savost’yanovich
2 Goodstein, Reuben Louis
2 Hailperin, Theodore
2 Lakatos, Imre
2 Lascar, Daniel
2 Levy, Azriel
2 Marek, V. Wiktor
2 Monk, James Donald
2 Moschovakis, Yiannis Nicholas
2 Nerode, Anil
2 Paris, Jeffrey Bruce
2 Remmel, Jeffrey B.
2 Shelah, Saharon
2 Suppes, Patrick
1 Ackermann, Wilhelm
1 Adyan, Sergeĭ Ivanovich
1 Andrews, Peter B.
1 Arnold, André
1 Ash, Christopher John
1 Basri, Saul A.
1 Bayod, Jose Manuel
1 Bernays, Paul
1 Beth, Evert Willem
1 Bocheński, Józef Maria
1 Boffa, Maurice
1 Bonotto, Cinzia
1 Börger, Egon
1 Braffort, Paul
1 Buss, Samuel R.
1 Cannonito, Frank B.
1 Cantini, Andrea
1 Cohen, L. Jonathan
1 de Vrijer, R. C.
1 Dickmann, Max A.
1 Dorn, Georg J. W.
1 Dürr, Karl
1 Ebbinghaus, Heinz-Dieter
1 Erdős, Pál
1 Fernandez-Prida, Jose
1 Ferro, Ruggero
1 Feys, Robert
1 Fitting, Melvin Chris
1 Frankiewicz, Ryszard
1 Frolov, Ivan T.
1 Galatos, Nikolaos
1 Geuvers, Jan Herman
1 Griffor, Edward R.
1 Hájek, Petr
1 Hajnal, András
1 Harrington, Leo A.
1 Higman, Graham
1 Hilpinen, Risto
1 Hindley, J. Roger
1 Hinman, Peter G.
1 Hirsch, Robin
1 Hirschberg, Daniel S.
1 Hodkinson, Ian Martin
1 Hyland, J. Martin E.
1 Jacobs, Bart
1 Jech, Thomas J.
1 Jipsen, Peter
1 Joja, Athanase
1 Kanger, Stig
1 Kino, Akiko
1 Knight, Julia F.
1 Kobrinskij, N. E.
1 Kowalski, Tomasz Marek
1 Kracht, Marcus
1 Kuratowski, Kazimierz
1 Kurucz, Agi
1 Leblanc, Hugues
...and 78 more Authors

Publications by Year

Citations contained in zbMATH Open

129 Publications have been cited 7,674 times in 6,701 Documents Cited by Year
Set theory. An introduction to independence proofs. Zbl 0443.03021
Kunen, Kenneth
617
1980
The lambda calculus. Its syntax and semantics. Rev. ed. Zbl 0551.03007
Barendregt, H. P.
434
1984
Residuated lattices. An algebraic glimpse at substructural logics. Zbl 1171.03001
Galatos, Nikolaos; Jipsen, Peter; Kowalski, Tomasz; Ono, Hiroakira
373
2007
Model theory. Zbl 0276.02032
Chang, C. C.; Keisler, H. J.
347
1973
Descriptive set theory. Zbl 0433.03025
Moschovakis, Yiannis N.
342
1980
Model theory. 3rd rev. ed. Zbl 0697.03022
Chang, C. C.; Keisler, H. J.
296
1990
An algebraic approach to non-classical logics. Zbl 0299.02069
Rasiowa, Helena
279
1974
Constructivism in mathematics. An introduction. Volume I. Zbl 0653.03040
Troelstra, A. S.; van Dalen, D.
227
1988
Computable structures and the hyperarithmetical hierarchy. Zbl 0960.03001
Ash, C. J.; Knight, J. F.
219
2000
Non-standard analysis. Zbl 0151.00803
Robinson, Abraham
209
1966
Classical recursion theory. Vol. II. Zbl 0931.03057
Odifreddi, P. G.
195
1999
The axiom of choice. Zbl 0259.02051
Jech, Thomas J.
187
1973
The lambda calculus, its syntax and semantics. Zbl 0467.03010
Barendregt, H. P.
169
1981
Constructivism in mathematics. An introduction. Volume II. Zbl 0661.03047
Troelstra, A. S.; van Dalen, D.
156
1988
Classification theory and the number of non-isomorphic models. Zbl 0388.03009
Shelah, S.
143
1978
Classical recursion theory. The theory of functions and sets of natural numbers. Zbl 0661.03029
Odifreddi, Piergiorgio
139
1989
Cylindric algebras. Part II. Zbl 0576.03043
Henkin, Leon; Monk, J. Donald; Tarski, Alfred
138
1985
Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers. Zbl 0222.02064
Keisler, H. Jerome
135
1971
Many-dimensional modal logics: theory and applications. Zbl 1051.03001
Gabbay, D. M.; Kurucz, A.; Wolter, F.; Zakharyaschev, M.
131
2003
Elementary induction on abstract structures. Zbl 0307.02003
Moschovakis, Yiannis N.
124
1974
Categorical logic and type theory. Zbl 0911.03001
Jacobs, Bart
115
1999
Classification theory and the number of non-isomorphic models. 2nd rev. ed. Zbl 0713.03013
Shelah, Saharon
110
1990
Undecidable theories. Zbl 0053.00401
Tarski, Alfred; Mostowski, Andrzej; Robinson, Raphael M.
100
1953
Combinatory logic. With two sections by William Craig. Zbl 0081.24104
Curry, Haskell B.; Feys, Robert
97
1958
Introduction to model theory and to the metamathematics of algebra. Zbl 0118.25302
Robinson, A.
96
1963
Set theory. With an introduction to descriptive set theory. Translation of the original Polish edition. 2nd, completely revised ed. Zbl 0337.02034
Kuratowski, K.; Mostowski, A.
92
1976
Intuitionism. An introduction. Zbl 0070.00801
Heyting, A.
88
1956
Set theory. An introduction to independence proofs. 2nd print. Zbl 0534.03026
Kunen, Kenneth
85
1983
Proof theory. Zbl 0354.02027
Takeuti, Gaisi
78
1975
Combinatorial set theory: Partition relations for cardinals. Zbl 0573.03019
Erdős, Paul; Hajnal, András; Máté, Attila; Rado, Richard
77
1984
Relation algebras by games. Zbl 1018.03002
Hirsch, Robin; Hodkinson, Ian
76
2002
Set theory. An introduction to large cardinals. Zbl 0294.02034
Drake, Frank R.
74
1974
Topoi. The categorial analysis of logic. Zbl 0434.03050
Goldblatt, Robert
74
1979
Admissibility of logical inference rules. Zbl 0872.03002
Rybakov, V. V.
74
1997
Combinatory logic. Vol. II. Zbl 0242.02029
Curry, Haskell B.; Hindley, J. Roger; Seldin, Jonathan P.
72
1972
Theory of relations. Transl. from the French by P. Clote. Zbl 0593.04001
Fraïssé, R.
68
1986
Lectures on the Curry-Howard isomorphism. Zbl 1183.03004
Sørensen, Morten Heine; Urzyczyn, Paweł
66
2006
Solvable cases of the decision problem. Zbl 0056.24505
Ackermann, W.
65
1954
Tools and techniques in modal logic. Zbl 0927.03002
Kracht, M.
63
1999
Relation algebras. Zbl 1197.03051
Maddux, Roger D.
59
2006
Language in action. Categories, lambdas and dynamic logic. Zbl 0717.03001
van Benthem, Johan
58
1991
Proof theory. 2nd ed. Zbl 0609.03019
Takeuti, Gaisi
53
1987
Complete theories. Zbl 0070.02701
Robinson, Abraham
51
1956
Realizability. An introduction to its categorical side. Zbl 1225.03002
van Oosten, Jaap
46
2008
Foundations of infinitesimal stochastic analysis. Zbl 0624.60052
Stroyan, K. D.; Bayod, José Manuel
45
1986
Handbook of proof theory. Zbl 0898.03001
Buss, Samuel R. (ed.)
44
1998
An essay in modal logic. Zbl 0043.00701
von Wright, Georg H.
42
1951
Rudiments of \(\mu\)-calculus. Zbl 0968.03002
Arnold, A.; Niwiński, D.
41
2001
Foundations of set theory. With the collaboration of Dirk van Dalen. 2nd revised ed. Zbl 0248.02071
Fraenkel, Abraham A.; Bar-Hillel, Yehoshua; Levy, Azriel
41
1973
The foundations of mathematics. A study in the philosophy of science. Zbl 0085.24104
Beth, Evert W.
39
1959
Topoi. The categorial analysis of logic. Rev. ed. Zbl 0528.03039
Goldblatt, Robert
38
1984
Combinatorial set theory. Zbl 0362.04008
Williams, Neil H.
36
1977
Large infinitary languages. Model theory. Zbl 0324.02010
Dickmann, M. A.
33
1975
Equivalents of the axiom of choice. 2nd ed. Zbl 0582.03033
Rubin, Herman; Rubin, Jean E.
29
1985
Boole’s logic and probability. A critical exposition from the standpoint of contemporary algebra, logic and probability theory. 2nd ed., rev. and enlarged. Zbl 0611.03001
Hailperin, Theodore
27
1986
Foundations of set theory. Zbl 0082.26203
Fraenkel, Abraham A.; Bar-Hillel, Yehoshua
27
1958
Classical recursion theory. The theory of functions and sets of natural numbers. Paperback ed. Zbl 0744.03044
Odifreddi, Piergiorgio
23
1992
Theory of relations. Transl. from the French by P. Clote. With an appendix by Norbert Sauer. Revised ed. Zbl 0965.03059
Fraïssé, Roland
23
2000
On the metamathematics of algebra. Zbl 0043.24702
Robinson, Abraham
22
1951
Logical frameworks for truth and abstraction. An axiomatic study. Zbl 0860.03015
Cantini, Andrea
21
1996
Boole’s logic and probability. A critical exposition from the standpoint of contemporary algebra, logic and probability theory. Zbl 0352.02002
Hailperin, Theodore
20
1976
The logical systems of Lesniewski. Zbl 0111.00602
Luschei, E. C.
20
1962
Abstract set theory. Zbl 0050.04903
Fraenkel, Abraham A.
19
1953
Recursive number theory. A development of recursive arithmetic in a logic-free equation calculus. Zbl 0077.01401
Goodstein, R. L.
19
1957
Recursive analysis. Zbl 0217.30202
Goodstein, R. L.
18
1961
Intuitionism. An introduction. 3rd revised ed. Zbl 0219.02013
Heyting, A.
18
1971
Cylindric algebras. Part I. With an introductory chapter: General theory of algebras. 2nd printing. Zbl 0576.03042
Henkin, Leon; Monk, J. Donald; Tarski, Alfred
17
1985
Proof theory. Zbl 0355.02023
Takeuti, Gaisi
17
1975
Sentences undecidable in formalized arithmetic. An exposition of the theory of Kurt Gödel. Zbl 0047.00903
Mostowski, Andrzej
14
1952
Axiomatic set theory. With a historical introduction by Abraham A. Fraenkel. Zbl 0082.26301
Bernays, Paul
14
1958
The axiomatic method. With special reference to geometry and physics. Zbl 0088.24414
Henkin, Leon (ed.); Suppes, Patrick (ed.); Tarski, Alfred (ed.)
14
1959
Algebra of proofs. Zbl 0532.03030
Szabo, M. E.
13
1978
Intensional mathematics. Zbl 0547.00010
Shapiro, Stewart (ed.)
12
1985
Handbook of computability theory. Zbl 0923.03001
Griffor, Edward R. (ed.)
12
1999
Quantification in nonclassical logic. Volume I. Zbl 1211.03002
Gabbay, Dov M.; Skvortsov, Dimitrij; Shehtman, Valentin
12
2009
Selected papers on AUTOMATH, dedicated to N. G. de Bruijn. Zbl 0822.03009
Nederpelt, R. P. (ed.); Geuvers, J. H. (ed.); de Vrijer, R. C. (ed.); van Benthem Jutting, L. S. (ed.); van Daalen, D. T. (ed.)
10
1994
Handbook of recursive mathematics. Vol. 1: Recursive model theory. Zbl 0905.03001
Ershov, Yu. L. (ed.); Goncharov, S. S. (ed.); Nerode, A. (ed.); Remmel, J. B. (ed.); Marek, V. W. (ed.)
9
1998
Hausdorff gaps and limits. Zbl 0821.54001
Frankiewicz, Ryszard; Zbierski, Pawel
9
1994
The theory of semisets. Zbl 0332.02064
Vopenka, Petr; Hajek, Petr
9
1972
Handbook of mathematical logic. With the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis, A. S. Troelstra. 2nd printing. Zbl 0443.03001
Barwise, Jon (ed.)
9
1978
Harvey Friedman’s research on the foundations of mathematics. Zbl 0588.03001
Harrington, L. A. (ed.); Morley, M. D. (ed.); Ščedrov, A. (ed.); Simpson, S. G. (ed.)
8
1985
Foundations of set theory. With the collab. of Dirk van Dalen. 2nd rev. ed. Reprint. Zbl 0623.03047
Fraenkel, Abraham A.; Bar-Hillel, Yehoshua; Levy, Azriel
8
1984
Aristotle’s modal syllogisms. Zbl 0105.24703
McCall, Storrs
8
1963
Logic in algebraic form. Three languages and theories. Zbl 0312.02049
Craig, William
7
1974
Foundational studies. Selected works. Vol. I, II. Zbl 0425.01021
Mostowski, Andrzej
7
1979
A transfinite type theory with type variables. Zbl 0132.24504
Andrews, P. B.
7
1965
Fundamentals of generalized recursion theory. Zbl 0597.03028
Fitting, Melvin
6
1981
Outlines of a formalist philosophy of mathematics. Zbl 0043.00601
Curry, Haskell B.
6
1951
Truth and consequence in mediaeval logic. Zbl 0050.24404
Moody, Ernest A.
6
1953
Handbook of recursive mathematics. Vol. 2: Recursive algebra, analysis and combinatorics. Zbl 0905.03002
Ershov, Yu. L. (ed.); Goncharov, S. S. (ed.); Nerode, A. (ed.); Remmel, J. B. (ed.); Marek, V. W. (ed.)
5
1998
Word problems. Decision problems and the Burnside problem in group theory. Zbl 0254.00004
Boone, W. W. (ed.); Cannonito, F. B. (ed.); Lyndon, R. C. (ed.)
5
1973
Computer programming and formal systems. Zbl 0108.13402
Braffort, P. (ed.); Hirschberg, D. (ed.)
5
1963
The theory of models. Proceedings of the 1963 international symposium at Berkeley. Zbl 0148.00103
Addison, J. W. (ed.); Henkin, Leon (ed.); Tarski, Alfred (ed.)
5
1965
Constructible sets with applications. Zbl 0185.01401
Mostowski, A.
5
1969
Computability, complexity, logic. Transl. from the German. Zbl 0669.68002
Börger, E.
4
1989
Logic colloquium ’78. Proceedings of the colloquium held in Mons, August 1978. Zbl 0423.00001
Boffa, Maurice (ed.); van Dalen, Dirk (ed.); McAloon, Kenneth (ed.)
4
1979
Intuitionism and proof theory. Proceedings of the summer conference at Buffalo N. Y. 1968. Zbl 0195.01201
Kino, A. (ed.); Myhill, J. (ed.); Vesley, R. (ed.)
4
1970
Abstract set theory. Second, completely revised edition. Zbl 0098.03902
Fraenkel, Abraham A.
4
1961
Introduction to the theory of finite automata. Translated from the Russian. Translation edited by J.C. Shepherdson. Zbl 0128.01401
Kobrinskij, N. E.; Trakhtenbrot, B. A.
4
1965
A deductive theory of space and time. Zbl 0161.00208
Basri, S. A.
4
1966
Quantification in nonclassical logic. Volume I. Zbl 1211.03002
Gabbay, Dov M.; Skvortsov, Dimitrij; Shehtman, Valentin
12
2009
Realizability. An introduction to its categorical side. Zbl 1225.03002
van Oosten, Jaap
46
2008
Residuated lattices. An algebraic glimpse at substructural logics. Zbl 1171.03001
Galatos, Nikolaos; Jipsen, Peter; Kowalski, Tomasz; Ono, Hiroakira
373
2007
Lectures on the Curry-Howard isomorphism. Zbl 1183.03004
Sørensen, Morten Heine; Urzyczyn, Paweł
66
2006
Relation algebras. Zbl 1197.03051
Maddux, Roger D.
59
2006
Many-dimensional modal logics: theory and applications. Zbl 1051.03001
Gabbay, D. M.; Kurucz, A.; Wolter, F.; Zakharyaschev, M.
131
2003
Relation algebras by games. Zbl 1018.03002
Hirsch, Robin; Hodkinson, Ian
76
2002
Rudiments of \(\mu\)-calculus. Zbl 0968.03002
Arnold, A.; Niwiński, D.
41
2001
Computable structures and the hyperarithmetical hierarchy. Zbl 0960.03001
Ash, C. J.; Knight, J. F.
219
2000
Theory of relations. Transl. from the French by P. Clote. With an appendix by Norbert Sauer. Revised ed. Zbl 0965.03059
Fraïssé, Roland
23
2000
Classical recursion theory. Vol. II. Zbl 0931.03057
Odifreddi, P. G.
195
1999
Categorical logic and type theory. Zbl 0911.03001
Jacobs, Bart
115
1999
Tools and techniques in modal logic. Zbl 0927.03002
Kracht, M.
63
1999
Handbook of computability theory. Zbl 0923.03001
Griffor, Edward R.
12
1999
Handbook of proof theory. Zbl 0898.03001
Buss, Samuel R.
44
1998
Handbook of recursive mathematics. Vol. 1: Recursive model theory. Zbl 0905.03001
Ershov, Yu. L.; Goncharov, S. S.; Nerode, A.; Remmel, J. B.; Marek, V. W.
9
1998
Handbook of recursive mathematics. Vol. 2: Recursive algebra, analysis and combinatorics. Zbl 0905.03002
Ershov, Yu. L.; Goncharov, S. S.; Nerode, A.; Remmel, J. B.; Marek, V. W.
5
1998
Admissibility of logical inference rules. Zbl 0872.03002
Rybakov, V. V.
74
1997
Logical frameworks for truth and abstraction. An axiomatic study. Zbl 0860.03015
Cantini, Andrea
21
1996
Selected papers on AUTOMATH, dedicated to N. G. de Bruijn. Zbl 0822.03009
Nederpelt, R. P.; Geuvers, J. H.; de Vrijer, R. C.; van Benthem Jutting, L. S.; van Daalen, D. T.
10
1994
Hausdorff gaps and limits. Zbl 0821.54001
Frankiewicz, Ryszard; Zbierski, Pawel
9
1994
Classical recursion theory. The theory of functions and sets of natural numbers. Paperback ed. Zbl 0744.03044
Odifreddi, Piergiorgio
23
1992
Language in action. Categories, lambdas and dynamic logic. Zbl 0717.03001
van Benthem, Johan
58
1991
Model theory. 3rd rev. ed. Zbl 0697.03022
Chang, C. C.; Keisler, H. J.
296
1990
Classification theory and the number of non-isomorphic models. 2nd rev. ed. Zbl 0713.03013
Shelah, Saharon
110
1990
Classical recursion theory. The theory of functions and sets of natural numbers. Zbl 0661.03029
Odifreddi, Piergiorgio
139
1989
Computability, complexity, logic. Transl. from the German. Zbl 0669.68002
Börger, E.
4
1989
Logic, methodology and philosophy of science VIII. Proceedings of the eighth international congress of logic, methodology and philosophy of science, Moscow, August 17-22, 1987. Zbl 0676.00003
Fenstad, Jens Erik; Frolov, Ivan T.; Hilpinen, Risto
2
1989
Logic colloquium ’88. Proceedings of the colloquium held in Padova, Italy, August 22-31, 1988. Zbl 0673.00007
Ferro, R.; Bonotto, C.; Valentini, S.; Zanardo, A.
1
1989
Constructivism in mathematics. An introduction. Volume I. Zbl 0653.03040
Troelstra, A. S.; van Dalen, D.
227
1988
Constructivism in mathematics. An introduction. Volume II. Zbl 0661.03047
Troelstra, A. S.; van Dalen, D.
156
1988
Proof theory. 2nd ed. Zbl 0609.03019
Takeuti, Gaisi
53
1987
The Paris Logic Group (ed.): Logic colloquium ’85. Proceedings of the Colloquium held in Orsay, France, July 1985. Zbl 0611.00002
1
1987
Theory of relations. Transl. from the French by P. Clote. Zbl 0593.04001
Fraïssé, R.
68
1986
Foundations of infinitesimal stochastic analysis. Zbl 0624.60052
Stroyan, K. D.; Bayod, José Manuel
45
1986
Boole’s logic and probability. A critical exposition from the standpoint of contemporary algebra, logic and probability theory. 2nd ed., rev. and enlarged. Zbl 0611.03001
Hailperin, Theodore
27
1986
Introduction to model theory and to the metamathematics of algebra. 2nd ed. (2nd print.). (With a preface by H. Jerome Keisler). Zbl 0665.03017
Robinson, Abraham
1
1986
Cylindric algebras. Part II. Zbl 0576.03043
Henkin, Leon; Monk, J. Donald; Tarski, Alfred
138
1985
Equivalents of the axiom of choice. 2nd ed. Zbl 0582.03033
Rubin, Herman; Rubin, Jean E.
29
1985
Cylindric algebras. Part I. With an introductory chapter: General theory of algebras. 2nd printing. Zbl 0576.03042
Henkin, Leon; Monk, J. Donald; Tarski, Alfred
17
1985
Intensional mathematics. Zbl 0547.00010
Shapiro, Stewart
12
1985
Harvey Friedman’s research on the foundations of mathematics. Zbl 0588.03001
Harrington, L. A.; Morley, M. D.; Ščedrov, A.; Simpson, S. G.
8
1985
The lambda calculus. Its syntax and semantics. Rev. ed. Zbl 0551.03007
Barendregt, H. P.
434
1984
Combinatorial set theory: Partition relations for cardinals. Zbl 0573.03019
Erdős, Paul; Hajnal, András; Máté, Attila; Rado, Richard
77
1984
Topoi. The categorial analysis of logic. Rev. ed. Zbl 0528.03039
Goldblatt, Robert
38
1984
Foundations of set theory. With the collab. of Dirk van Dalen. 2nd rev. ed. Reprint. Zbl 0623.03047
Fraenkel, Abraham A.; Bar-Hillel, Yehoshua; Levy, Azriel
8
1984
Set theory. An introduction to independence proofs. 2nd print. Zbl 0534.03026
Kunen, Kenneth
85
1983
Proceedings of the Herbrand Symposium. Logic Colloquium ’81, held in Marseille, France, July 1981. Zbl 0489.00007
Stern, J.
3
1982
Patras Logic Symposion. Proceedings of the Logic Symposion held at Patras, Greece, August 18–22, 1980. Zbl 0504.00001
Metakides, George
1
1982
Handbook of mathematical logic. With the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis and A. S. Troelstra. Reprint. Zbl 0528.03001
Barwise, Jon
1
1982
The lambda calculus, its syntax and semantics. Zbl 0467.03010
Barendregt, H. P.
169
1981
Fundamentals of generalized recursion theory. Zbl 0597.03028
Fitting, Melvin
6
1981
Set theory. An introduction to independence proofs. Zbl 0443.03021
Kunen, Kenneth
617
1980
Descriptive set theory. Zbl 0433.03025
Moschovakis, Yiannis N.
342
1980
Mathematical logic in Latin America. Proceedings of the IV Latin American symposium on mathematical logic, held in Santiago, December 1978. Zbl 0419.00003
Arruda, Ayda I.; Chuaqui, R.; da Costa, Newton C. A.
3
1980
Word problems II. The Oxford book. Zbl 0423.00002
Adyan, S. I.; Boone, W. W.; Higman, G.
1
1980
The Kleene Symposium. Proceedings of the Symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. Zbl 0436.00007
Barwise, Jon; Keisler, H. Jerome; Kunen, Kenneth
1
1980
Topoi. The categorial analysis of logic. Zbl 0434.03050
Goldblatt, Robert
74
1979
Foundational studies. Selected works. Vol. I, II. Zbl 0425.01021
Mostowski, Andrzej
7
1979
Logic colloquium ’78. Proceedings of the colloquium held in Mons, August 1978. Zbl 0423.00001
Boffa, Maurice; van Dalen, Dirk; McAloon, Kenneth
4
1979
Classification theory and the number of non-isomorphic models. Zbl 0388.03009
Shelah, S.
143
1978
Algebra of proofs. Zbl 0532.03030
Szabo, M. E.
13
1978
Handbook of mathematical logic. With the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis, A. S. Troelstra. 2nd printing. Zbl 0443.03001
Barwise, Jon
9
1978
Logic colloquium ’77. Proceedings of the colloquium held in Wroclaw, August 1977. Zbl 0426.00004
Macintyre, Angus J.; Pacholski, Leszek; Paris, Jeff
2
1978
Combinatorial set theory. Zbl 0362.04008
Williams, Neil H.
36
1977
Logic colloquium 76. Proceedings of a conference held in Oxford in July 1976. Zbl 0409.00002
Gandy, R. O.; Hayland, J. M. E.
1
1977
Set theory. With an introduction to descriptive set theory. Translation of the original Polish edition. 2nd, completely revised ed. Zbl 0337.02034
Kuratowski, K.; Mostowski, A.
92
1976
Boole’s logic and probability. A critical exposition from the standpoint of contemporary algebra, logic and probability theory. Zbl 0352.02002
Hailperin, Theodore
20
1976
Abstract set theory. 4th rev. ed. Revised by Azriel Levy. Zbl 0372.04001
Fraenkel, Abraham A.
2
1976
Sets and classes. On the work by Paul Bernays. Zbl 0327.00003
Müller, Gert H.
1
1976
Proof theory. Zbl 0354.02027
Takeuti, Gaisi
78
1975
Large infinitary languages. Model theory. Zbl 0324.02010
Dickmann, M. A.
33
1975
Proof theory. Zbl 0355.02023
Takeuti, Gaisi
17
1975
Proceedings of the 3rd Scandinavian logic symposium. Zbl 0299.00012
Kanger, Stig
3
1975
Logic colloquium ’73. Proceedings of the logic colloquium, Bristol, July 1973. Zbl 0299.00011
Rose, H. E.; Shepherdson, J. C.
1
1975
An algebraic approach to non-classical logics. Zbl 0299.02069
Rasiowa, Helena
279
1974
Elementary induction on abstract structures. Zbl 0307.02003
Moschovakis, Yiannis N.
124
1974
Set theory. An introduction to large cardinals. Zbl 0294.02034
Drake, Frank R.
74
1974
Logic in algebraic form. Three languages and theories. Zbl 0312.02049
Craig, William
7
1974
Generalized recursion theory. Proceedings of the 1972 Oslo symposium. Zbl 0272.00006
Fenstad, Jens Erik; Hinman, P. G.
2
1974
Model theory. Zbl 0276.02032
Chang, C. C.; Keisler, H. J.
347
1973
The axiom of choice. Zbl 0259.02051
Jech, Thomas J.
187
1973
Foundations of set theory. With the collaboration of Dirk van Dalen. 2nd revised ed. Zbl 0248.02071
Fraenkel, Abraham A.; Bar-Hillel, Yehoshua; Levy, Azriel
41
1973
Word problems. Decision problems and the Burnside problem in group theory. Zbl 0254.00004
Boone, W. W.; Cannonito, F. B.; Lyndon, R. C.
5
1973
Truth, syntax and modality. Proceedings of the Temple University conference on alternative semantics. Zbl 0254.00003
Leblanc, Hugues
2
1973
Logic, methodology and philosophy of science. IV. Proceedings of the Fourth International Congress for Logic, Methodology and Philosophy of Science, Bucharest, August 29 - September 4, 1971. Zbl 0487.03002
Suppes, Patrick; Henkin, Leon; Joja, Athanase; Moisil, Gr. C.
1
1973
Combinatory logic. Vol. II. Zbl 0242.02029
Curry, Haskell B.; Hindley, J. Roger; Seldin, Jonathan P.
72
1972
The theory of semisets. Zbl 0332.02064
Vopenka, Petr; Hajek, Petr
9
1972
Contribution to non-standard analysis. Zbl 0236.00005
Luxemburg, W. A. J.; Robinson, A.
3
1972
Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers. Zbl 0222.02064
Keisler, H. Jerome
135
1971
Intuitionism. An introduction. 3rd revised ed. Zbl 0219.02013
Heyting, A.
18
1971
Logic colloquium ’69. Proceedings of the summer school and colloquium in mathematical logic, Manchester, August 1969. Zbl 0214.00402
Gandy, R. O.; Yates, C. M. E.
1
1971
The metamathematics of algebraic systems. Collected papers: 1936-1967. Translated, edited, and provided with supplementary notes by Benjamin Franklin Wells III. Zbl 0231.02002
Mal’tsev, Anatolii Ivanovich
1
1971
Intuitionism and proof theory. Proceedings of the summer conference at Buffalo N. Y. 1968. Zbl 0195.01201
Kino, A.; Myhill, J.; Vesley, R.
4
1970
Outlines of a formalist philosophy of mathematics. 3rd printing. Zbl 0256.02002
Curry, Haskell B.
1
1970
Constructible sets with applications. Zbl 0185.01401
Mostowski, A.
5
1969
Problems in the philosophy of science. Proceedings of the International Colloquium in the Philosophy of Science. London, 1965. Vol. 3. Zbl 0153.31202
Lakatos, Imre; Musgrave, Alan
2
1968
Non-standard analysis. Zbl 0151.00803
Robinson, Abraham
209
1966
A deductive theory of space and time. Zbl 0161.00208
Basri, S. A.
4
1966
A transfinite type theory with type variables. Zbl 0132.24504
Andrews, P. B.
7
1965
...and 29 more Documents
all top 5

Cited by 4,873 Authors

135 Shelah, Saharon
61 Stephan, Frank
35 Bazhenov, Nikolaĭ Alekseevich
35 Melnikov, Alexander G.
33 Downey, Rodney Graham
31 Knight, Julia F.
30 Tachtsis, Eleftherios
29 Montalbán, Antonio
28 Andréka, Hajnal
28 Jain, Sanjay
27 Dow, Alan S.
26 Keremedis, Kyriakos
25 Bridges, Douglas Suth
25 Németi, István
24 Finkel, Olivier
24 Harizanov, Valentina S.
24 Hjorth, Gregory
24 Kechris, Alexander S.
23 Katz, Mikhail G.
22 Kanovei, Vladimir G.
21 Hirsch, Robin
21 Kurilić, Miloš S.
21 Sayed Ahmed, Tarek
20 Friedman, Sy-David
20 Hodkinson, Ian Martin
20 Iemhoff, Rosalie
20 Ishihara, Hajime
20 Ng, KengMeng
20 Rathjen, Michael
20 Todorcevic, Stevo B.
20 van Benthem, Johan F. A. K.
19 Becker, Howard S.
18 Cintula, Petr
18 Galatos, Nikolaos
18 Goncharov, Sergeĭ Savost’yanovich
18 Hrušák, Michael
18 Jacobs, Bart
18 Jäger, Gerhard
17 Baldwin, John T.
17 Klop, Jan Willem
17 Terwijn, Sebastiaan A.
16 Case, John
16 Dezani-Ciancaglini, Mariangiola
16 Forrest, Jeffrey Yi-Lin
16 Howard, Paul E.
16 Jansana, Ramon
16 Noguera, Carles
16 Vasey, Sebastien
16 Vychodil, Vilém
15 Chajda, Ivan
15 Shore, Richard A.
15 Visser, Albert
14 Balbiani, Philippe
14 Cenzer, Douglas
14 Džamonja, Mirna
14 Givant, Steven R.
14 Makkai, Michael
14 Malliaris, Maryanthe Elizabeth
14 Moraschini, Tommaso
14 Paoli, Francesco
14 van Bakel, Steffen
13 Bankston, Paul
13 Bezhanishvili, Nick
13 Fernández, Maribel
13 Goldblatt, Robert Ian
13 Hrushovski, Ehud
13 Hyttinen, Tapani
13 Jin, Renling
13 Kemoto, Nobuyuki
13 Koszmider, Piotr B.
13 Kowalski, Tomasz Marek
13 Lecomte, Dominique
13 Metcalfe, George
13 Montagna, Franco
13 Nishimura, Hirokazu
13 Pouzet, Maurice
12 Bezhanishvili, Guram
12 Blass, Andreas Raphael
12 Cornejo, Juan Manuel
12 Ghilardi, Silvio
12 Greenberg, Noam
12 Herzberg, Frederik S.
12 Jackson, Stephen C.
12 Keisler, Howard Jerome
12 Kesner, Delia
12 Maddux, Roger D.
12 Makowsky, Johann-Andreas
12 Miller, Arnold W.
12 Nies, André Otfrid
12 Selivanov, Viktor L’vovich
12 Sorbi, Andrea
12 Zakharyaschev, Michael Viktorovich
11 Ardeshir, Mohammad
11 Asperó, David
11 Barmpalias, George
11 Buszkowski, Wojciech
11 Citkin, Alex
11 Di Nasso, Mauro
11 Georgescu, George
11 Harrington, Leo A.
...and 4,773 more Authors
all top 5

Cited in 405 Journals

568 Annals of Pure and Applied Logic
528 The Journal of Symbolic Logic
419 Theoretical Computer Science
276 Studia Logica
264 Archive for Mathematical Logic
211 Topology and its Applications
187 Proceedings of the American Mathematical Society
180 Transactions of the American Mathematical Society
136 Algebra Universalis
123 Notre Dame Journal of Formal Logic
121 Fuzzy Sets and Systems
116 Journal of Philosophical Logic
112 Mathematical Logic Quarterly (MLQ)
111 Information and Computation
88 Israel Journal of Mathematics
87 The Bulletin of Symbolic Logic
81 Synthese
77 The Review of Symbolic Logic
72 MSCS. Mathematical Structures in Computer Science
64 Algebra and Logic
61 Journal of Pure and Applied Algebra
59 Advances in Mathematics
59 Journal of Algebra
52 Journal of Computer and System Sciences
51 Journal of Applied Non-Classical Logics
51 Soft Computing
48 History and Philosophy of Logic
47 Order
46 Logica Universalis
43 Archiv für Mathematische Logik und Grundlagenforschung
39 Information Sciences
38 International Journal of Theoretical Physics
38 Journal of Automated Reasoning
38 Journal of Applied Logic
37 Journal of Mathematical Logic
33 Indagationes Mathematicae. New Series
32 Information Processing Letters
31 Siberian Mathematical Journal
31 Journal of Logic, Language and Information
31 Logical Methods in Computer Science
30 Artificial Intelligence
30 Discrete Mathematics
30 Annals of Mathematics and Artificial Intelligence
29 Journal of Functional Programming
25 International Journal of Approximate Reasoning
25 Journal of Mathematical Sciences (New York)
24 Journal of Mathematical Analysis and Applications
21 Foundations of Science
21 Journal of Logical and Algebraic Methods in Programming
20 Communications in Algebra
19 Theory of Computing Systems
18 Journal of Combinatorial Theory. Series A
17 Acta Informatica
17 Mathematische Annalen
17 RAIRO. Theoretical Informatics and Applications
16 International Journal of General Systems
16 Mathematische Zeitschrift
16 Semigroup Forum
16 Journal of Symbolic Computation
14 The Mathematical Intelligencer
14 Journal of Mathematical Economics
14 Journal of the American Mathematical Society
13 Rendiconti del Seminario Matematico della Università di Padova
13 International Journal of Algebra and Computation
13 Historia Mathematica
13 RAIRO. Informatique Théorique et Applications
13 The Journal of Logic and Algebraic Programming
12 Journal of Mathematical Physics
12 Compositio Mathematica
12 Fundamenta Mathematicae
12 Memoirs of the American Mathematical Society
12 European Journal of Combinatorics
12 Formal Aspects of Computing
12 Applied Categorical Structures
12 Higher-Order and Symbolic Computation
12 Bulletin of the American Mathematical Society
11 Archive for History of Exact Sciences
11 Discrete Applied Mathematics
11 Czechoslovak Mathematical Journal
11 Monatshefte für Mathematik
11 Quaestiones Mathematicae
11 Bulletin of the American Mathematical Society. New Series
10 Applied Mathematics and Computation
10 Archiv der Mathematik
10 Journal of Soviet Mathematics
10 Topology Proceedings
10 Central European Journal of Mathematics
10 ACM Transactions on Computational Logic
10 Foundations of Physics
9 Mathematical Notes
9 Kybernetika
9 RAIRO, Informatique Théorique
9 Mathematical Social Sciences
9 Journal of Complexity
9 Erkenntnis
9 Comptes Rendus. Mathématique. Académie des Sciences, Paris
9 Asian-European Journal of Mathematics
9 Journal of Logic and Analysis
8 Annales Scientifiques de l’Université de Clermont-Ferrand II. Mathématiques
8 Mathematica Slovaca
...and 305 more Journals
all top 5

Cited in 61 Fields

5,153 Mathematical logic and foundations (03-XX)
1,425 Computer science (68-XX)
656 Order, lattices, ordered algebraic structures (06-XX)
578 General topology (54-XX)
310 Category theory; homological algebra (18-XX)
256 General algebraic systems (08-XX)
246 Group theory and generalizations (20-XX)
209 Combinatorics (05-XX)
195 History and biography (01-XX)
155 Functional analysis (46-XX)
153 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
118 Real functions (26-XX)
111 Quantum theory (81-XX)
107 Measure and integration (28-XX)
100 Field theory and polynomials (12-XX)
94 General and overarching topics; collections (00-XX)
70 Probability theory and stochastic processes (60-XX)
63 Associative rings and algebras (16-XX)
59 Number theory (11-XX)
56 Topological groups, Lie groups (22-XX)
47 Commutative algebra (13-XX)
44 Geometry (51-XX)
39 Systems theory; control (93-XX)
37 Algebraic geometry (14-XX)
35 Dynamical systems and ergodic theory (37-XX)
35 Operator theory (47-XX)
31 Algebraic topology (55-XX)
25 Operations research, mathematical programming (90-XX)
23 Relativity and gravitational theory (83-XX)
20 Linear and multilinear algebra; matrix theory (15-XX)
20 Statistics (62-XX)
18 Information and communication theory, circuits (94-XX)
16 Ordinary differential equations (34-XX)
15 Abstract harmonic analysis (43-XX)
14 Manifolds and cell complexes (57-XX)
12 Convex and discrete geometry (52-XX)
11 Differential geometry (53-XX)
10 Nonassociative rings and algebras (17-XX)
10 Global analysis, analysis on manifolds (58-XX)
10 Biology and other natural sciences (92-XX)
8 Several complex variables and analytic spaces (32-XX)
8 Sequences, series, summability (40-XX)
7 Functions of a complex variable (30-XX)
7 Mechanics of deformable solids (74-XX)
6 Potential theory (31-XX)
6 Approximations and expansions (41-XX)
6 Calculus of variations and optimal control; optimization (49-XX)
6 Numerical analysis (65-XX)
6 Mechanics of particles and systems (70-XX)
5 Difference and functional equations (39-XX)
5 Statistical mechanics, structure of matter (82-XX)
5 Mathematics education (97-XX)
4 Partial differential equations (35-XX)
3 Harmonic analysis on Euclidean spaces (42-XX)
3 Integral equations (45-XX)
3 Fluid mechanics (76-XX)
1 \(K\)-theory (19-XX)
1 Special functions (33-XX)
1 Integral transforms, operational calculus (44-XX)
1 Optics, electromagnetic theory (78-XX)
1 Geophysics (86-XX)

Citations by Year