×

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

7 Fraenkel, Abraham
7 Keisler, Howard Jerome
7 van Dalen, Dirk
6 Henkin, Leon Albert
6 Robinson, Abraham
6 Tarski, Alfred
5 Bar-Hillel, Yehoshua
5 Kunen, Kenneth
5 Mostowski, Andrzej Stanisław
5 Simpson, Stephen G.
5 Troelstra, Anne Sjerp
4 Barendregt, Hendrik Pieter
4 Barwise, Kenneth Jon
4 Curry, Haskell Brooks
4 Feferman, Solomon
4 Marek, V. Wiktor
4 Moschovakis, Yiannis Nicholas
4 Paris, Jeffrey Bruce
3 Fenstad, Jens Erik
3 Gandy, Robin O.
3 Harrington, Leo A.
3 Heyting, Arend
3 Jech, Thomas J.
3 Kechris, Alexander S.
3 Levy, Azriel
3 Macintyre, Angus John
3 Morley, Michael Darwin
3 Odifreddi, Piergiorgio
3 Shore, Richard Arnold
3 Stroyan, Keith D.
3 Takeuti, Gaisi
2 Addison, J. W.
2 Arruda, Ayda Ignez
2 Bernays, Paul
2 Boone, William W.
2 Burgess, John P.
2 Chang, Chen-Chung
2 Chuaqui Kettlun, Rolando Basim
2 Da Costa, Newton Carneiro Affonso
2 Davis, Martin David
2 Devlin, Keith J.
2 Drake, Frank Robert
2 Eklof, Paul C.
2 Enderton, Herbert B.
2 Ershov, Yuriĭ Leonidovich
2 Fourman, Michael Paul
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 Hyland, J. Martin E.
2 Juhász, István
2 Kock, Anders
2 Lakatos, Imre
2 Lascar, Daniel
2 Makkai, Michael
2 Martin, Donald A.
2 Monk, James Donald
2 Nerode, Anil
2 Pacholski, Leszek M.
2 Rabin, Michael O.
2 Remmel, Jeffrey B.
2 Reyes, Gonzalo E.
2 Rudin, Mary Ellen
2 Schwichtenberg, Helmut
2 Shelah, Saharon
2 Shönfield, Joseph R.
2 Smoryński, Craig
2 Statman, Richard
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 Bergstra, Jan A.
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
...and 115 more Authors

Publications by Year

Citations contained in zbMATH Open

129 Publications have been cited 8,041 times in 7,017 Documents Cited by Year
Set theory. An introduction to independence proofs. Zbl 0443.03021
Kunen, Kenneth
638
1980
The lambda calculus. Its syntax and semantics. Rev. ed. Zbl 0551.03007
Barendregt, H. P.
449
1984
Residuated lattices. An algebraic glimpse at substructural logics. Zbl 1171.03001
Galatos, Nikolaos; Jipsen, Peter; Kowalski, Tomasz; Ono, Hiroakira
403
2007
Model theory. Zbl 0276.02032
Chang, C. C.; Keisler, H. J.
352
1973
Descriptive set theory. Zbl 0433.03025
Moschovakis, Yiannis N.
349
1980
Model theory. 3rd rev. ed. Zbl 0697.03022
Chang, C. C.; Keisler, H. J.
307
1990
An algebraic approach to non-classical logics. Zbl 0299.02069
Rasiowa, Helena
291
1974
Computable structures and the hyperarithmetical hierarchy. Zbl 0960.03001
Ash, C. J.; Knight, J. F.
233
2000
Constructivism in mathematics. An introduction. Volume I. Zbl 0653.03040
Troelstra, A. S.; van Dalen, D.
232
1988
Non-standard analysis. Zbl 0151.00803
Robinson, Abraham
219
1966
Classical recursion theory. Vol. II. Zbl 0931.03057
Odifreddi, P. G.
204
1999
The axiom of choice. Zbl 0259.02051
Jech, Thomas J.
198
1973
Constructivism in mathematics. An introduction. Volume II. Zbl 0661.03047
Troelstra, A. S.; van Dalen, D.
182
1988
The lambda calculus, its syntax and semantics. Zbl 0467.03010
Barendregt, H. P.
172
1981
Classical recursion theory. The theory of functions and sets of natural numbers. Zbl 0661.03029
Odifreddi, Piergiorgio
148
1989
Cylindric algebras. Part II. Zbl 0576.03043
Henkin, Leon; Monk, J. Donald; Tarski, Alfred
145
1985
Classification theory and the number of non-isomorphic models. Zbl 0388.03009
Shelah, S.
144
1978
Categorical logic and type theory. Zbl 0911.03001
Jacobs, Bart
142
1999
Many-dimensional modal logics: theory and applications. Zbl 1051.03001
Gabbay, D. M.; Kurucz, A.; Wolter, F.; Zakharyaschev, M.
138
2003
Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers. Zbl 0222.02064
Keisler, H. Jerome
136
1971
Elementary induction on abstract structures. Zbl 0307.02003
Moschovakis, Yiannis N.
129
1974
Classification theory and the number of non-isomorphic models. 2nd rev. ed. Zbl 0713.03013
Shelah, Saharon
115
1990
Undecidable theories. Zbl 0053.00401
Tarski, Alfred; Mostowski, Andrzej; Robinson, Raphael M.
107
1953
Combinatory logic. With two sections by William Craig. Zbl 0081.24104
Curry, Haskell B.; Feys, Robert
100
1958
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.
98
1976
Introduction to model theory and to the metamathematics of algebra. Zbl 0118.25302
Robinson, A.
96
1963
Intuitionism. An introduction. Zbl 0070.00801
Heyting, A.
93
1956
Set theory. An introduction to independence proofs. 2nd print. Zbl 0534.03026
Kunen, Kenneth
87
1983
Combinatorial set theory: Partition relations for cardinals. Zbl 0573.03019
Erdős, Paul; Hajnal, András; Máté, Attila; Rado, Richard
81
1984
Relation algebras by games. Zbl 1018.03002
Hirsch, Robin; Hodkinson, Ian
81
2002
Proof theory. Zbl 0354.02027
Takeuti, Gaisi
80
1975
Admissibility of logical inference rules. Zbl 0872.03002
Rybakov, V. V.
79
1997
Set theory. An introduction to large cardinals. Zbl 0294.02034
Drake, Frank R.
78
1974
Topoi. The categorial analysis of logic. Zbl 0434.03050
Goldblatt, Robert
76
1979
Lectures on the Curry-Howard isomorphism. Zbl 1183.03004
Sørensen, Morten Heine; Urzyczyn, Paweł
76
2006
Combinatory logic. Vol. II. Zbl 0242.02029
Curry, Haskell B.; Hindley, J. Roger; Seldin, Jonathan P.
73
1972
Theory of relations. Transl. from the French by P. Clote. Zbl 0593.04001
Fraïssé, R.
71
1986
Tools and techniques in modal logic. Zbl 0927.03002
Kracht, M.
68
1999
Solvable cases of the decision problem. Zbl 0056.24505
Ackermann, W.
66
1954
Relation algebras. Zbl 1197.03051
Maddux, Roger D.
65
2006
Proof theory. 2nd ed. Zbl 0609.03019
Takeuti, Gaisi
61
1987
Language in action. Categories, lambdas and dynamic logic. Zbl 0717.03001
van Benthem, Johan
60
1991
Realizability. An introduction to its categorical side. Zbl 1225.03002
van Oosten, Jaap
54
2008
Complete theories. Zbl 0070.02701
Robinson, Abraham
51
1956
Rudiments of \(\mu\)-calculus. Zbl 0968.03002
Arnold, A.; Niwiński, D.
45
2001
Handbook of proof theory. Zbl 0898.03001
45
1998
Foundations of infinitesimal stochastic analysis. Zbl 0624.60052
Stroyan, K. D.; Bayod, José Manuel
45
1986
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
43
1973
An essay in modal logic. Zbl 0043.00701
von Wright, Georg H.
42
1951
The foundations of mathematics. A study in the philosophy of science. Zbl 0085.24104
Beth, Evert W.
42
1959
Topoi. The categorial analysis of logic. Rev. ed. Zbl 0528.03039
Goldblatt, Robert
39
1984
Combinatorial set theory. Zbl 0362.04008
Williams, Neil H.
37
1977
Large infinitary languages. Model theory. Zbl 0324.02010
Dickmann, M. A.
36
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
29
1986
Foundations of set theory. Zbl 0082.26203
Fraenkel, Abraham A.; Bar-Hillel, Yehoshua
27
1958
Theory of relations. Transl. from the French by P. Clote. With an appendix by Norbert Sauer. Revised ed. Zbl 0965.03059
Fraïssé, Roland
26
2000
Classical recursion theory. The theory of functions and sets of natural numbers. Paperback ed. Zbl 0744.03044
Odifreddi, Piergiorgio
25
1992
On the metamathematics of algebra. Zbl 0043.24702
Robinson, Abraham
23
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
Abstract set theory. Zbl 0050.04903
Fraenkel, Abraham A.
20
1953
Recursive number theory. A development of recursive arithmetic in a logic-free equation calculus. Zbl 0077.01401
Goodstein, R. L.
20
1957
The logical systems of Lesniewski. Zbl 0111.00602
Luschei, E. C.
20
1962
Recursive analysis. Zbl 0217.30202
Goodstein, R. L.
19
1961
Intuitionism. An introduction. 3rd revised ed. Zbl 0219.02013
Heyting, A.
19
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
18
1985
Proof theory. Zbl 0355.02023
Takeuti, Gaisi
18
1975
Axiomatic set theory. With a historical introduction by Abraham A. Fraenkel. Zbl 0082.26301
Bernays, Paul
15
1958
Sentences undecidable in formalized arithmetic. An exposition of the theory of Kurt Gödel. Zbl 0047.00903
Mostowski, Andrzej
14
1952
The axiomatic method. With special reference to geometry and physics. Zbl 0088.24414
14
1959
Algebra of proofs. Zbl 0532.03030
Szabo, M. E.
13
1978
Quantification in nonclassical logic. Volume I. Zbl 1211.03002
Gabbay, Dov M.; Skvortsov, Dimitrij; Shehtman, Valentin
13
2009
Handbook of computability theory. Zbl 0923.03001
13
1999
Intensional mathematics. Zbl 0547.00010
12
1985
Harvey Friedman’s research on the foundations of mathematics. Zbl 0588.03001
11
1985
Selected papers on AUTOMATH, dedicated to N. G. de Bruijn. Zbl 0822.03009
10
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
9
1978
Hausdorff gaps and limits. Zbl 0821.54001
Frankiewicz, Ryszard; Zbierski, Pawel
9
1994
Handbook of recursive mathematics. Vol. 1: Recursive model theory. Zbl 0905.03001
9
1998
Aristotle’s modal syllogisms. Zbl 0105.24703
McCall, Storrs
8
1963
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
Foundational studies. Selected works. Vol. I, II. Zbl 0425.01021
Mostowski, Andrzej
7
1979
Outlines of a formalist philosophy of mathematics. Zbl 0043.00601
Curry, Haskell B.
7
1951
A transfinite type theory with type variables. Zbl 0132.24504
Andrews, P. B.
7
1965
Logic in algebraic form. Three languages and theories. Zbl 0312.02049
Craig, William
7
1974
Fundamentals of generalized recursion theory. Zbl 0597.03028
Fitting, Melvin
6
1981
Truth and consequence in mediaeval logic. Zbl 0050.24404
Moody, Ernest A.
6
1953
Computability, complexity, logic. Transl. from the German. Zbl 0669.68002
Börger, E.
5
1989
Handbook of recursive mathematics. Vol. 2: Recursive algebra, analysis and combinatorics. Zbl 0905.03002
5
1998
Constructible sets with applications. Zbl 0185.01401
Mostowski, A.
5
1969
Word problems. Decision problems and the Burnside problem in group theory. Zbl 0254.00004
5
1973
Computer programming and formal systems. Zbl 0108.13402
5
1963
The theory of models. Proceedings of the 1963 international symposium at Berkeley. Zbl 0148.00103
5
1965
Logic colloquium ’78. Proceedings of the colloquium held in Mons, August 1978. Zbl 0423.00001
4
1979
Intuitionism and proof theory. Proceedings of the summer conference at Buffalo N. Y. 1968. Zbl 0195.01201
4
1970
A deductive theory of space and time. Zbl 0161.00208
Basri, S. A.
4
1966
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
Quantification in nonclassical logic. Volume I. Zbl 1211.03002
Gabbay, Dov M.; Skvortsov, Dimitrij; Shehtman, Valentin
13
2009
Realizability. An introduction to its categorical side. Zbl 1225.03002
van Oosten, Jaap
54
2008
Residuated lattices. An algebraic glimpse at substructural logics. Zbl 1171.03001
Galatos, Nikolaos; Jipsen, Peter; Kowalski, Tomasz; Ono, Hiroakira
403
2007
Lectures on the Curry-Howard isomorphism. Zbl 1183.03004
Sørensen, Morten Heine; Urzyczyn, Paweł
76
2006
Relation algebras. Zbl 1197.03051
Maddux, Roger D.
65
2006
Many-dimensional modal logics: theory and applications. Zbl 1051.03001
Gabbay, D. M.; Kurucz, A.; Wolter, F.; Zakharyaschev, M.
138
2003
Relation algebras by games. Zbl 1018.03002
Hirsch, Robin; Hodkinson, Ian
81
2002
Rudiments of \(\mu\)-calculus. Zbl 0968.03002
Arnold, A.; Niwiński, D.
45
2001
Computable structures and the hyperarithmetical hierarchy. Zbl 0960.03001
Ash, C. J.; Knight, J. F.
233
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
26
2000
Classical recursion theory. Vol. II. Zbl 0931.03057
Odifreddi, P. G.
204
1999
Categorical logic and type theory. Zbl 0911.03001
Jacobs, Bart
142
1999
Tools and techniques in modal logic. Zbl 0927.03002
Kracht, M.
68
1999
Handbook of computability theory. Zbl 0923.03001
13
1999
Handbook of proof theory. Zbl 0898.03001
45
1998
Handbook of recursive mathematics. Vol. 1: Recursive model theory. Zbl 0905.03001
9
1998
Handbook of recursive mathematics. Vol. 2: Recursive algebra, analysis and combinatorics. Zbl 0905.03002
5
1998
Admissibility of logical inference rules. Zbl 0872.03002
Rybakov, V. V.
79
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
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
25
1992
Language in action. Categories, lambdas and dynamic logic. Zbl 0717.03001
van Benthem, Johan
60
1991
Model theory. 3rd rev. ed. Zbl 0697.03022
Chang, C. C.; Keisler, H. J.
307
1990
Classification theory and the number of non-isomorphic models. 2nd rev. ed. Zbl 0713.03013
Shelah, Saharon
115
1990
Classical recursion theory. The theory of functions and sets of natural numbers. Zbl 0661.03029
Odifreddi, Piergiorgio
148
1989
Computability, complexity, logic. Transl. from the German. Zbl 0669.68002
Börger, E.
5
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
2
1989
Logic colloquium ’88. Proceedings of the colloquium held in Padova, Italy, August 22-31, 1988. Zbl 0673.00007
1
1989
Constructivism in mathematics. An introduction. Volume I. Zbl 0653.03040
Troelstra, A. S.; van Dalen, D.
232
1988
Constructivism in mathematics. An introduction. Volume II. Zbl 0661.03047
Troelstra, A. S.; van Dalen, D.
182
1988
Proof theory. 2nd ed. Zbl 0609.03019
Takeuti, Gaisi
61
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.
71
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
29
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
145
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
18
1985
Intensional mathematics. Zbl 0547.00010
12
1985
Harvey Friedman’s research on the foundations of mathematics. Zbl 0588.03001
11
1985
The lambda calculus. Its syntax and semantics. Rev. ed. Zbl 0551.03007
Barendregt, H. P.
449
1984
Combinatorial set theory: Partition relations for cardinals. Zbl 0573.03019
Erdős, Paul; Hajnal, András; Máté, Attila; Rado, Richard
81
1984
Topoi. The categorial analysis of logic. Rev. ed. Zbl 0528.03039
Goldblatt, Robert
39
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
87
1983
Proceedings of the Herbrand Symposium. Logic Colloquium ’81, held in Marseille, France, July 1981. Zbl 0489.00007
3
1982
Patras Logic Symposion. Proceedings of the Logic Symposion held at Patras, Greece, August 18–22, 1980. Zbl 0504.00001
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
1
1982
The lambda calculus, its syntax and semantics. Zbl 0467.03010
Barendregt, H. P.
172
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
638
1980
Descriptive set theory. Zbl 0433.03025
Moschovakis, Yiannis N.
349
1980
Mathematical logic in Latin America. Proceedings of the IV Latin American symposium on mathematical logic, held in Santiago, December 1978. Zbl 0419.00003
3
1980
Word problems II. The Oxford book. Zbl 0423.00002
1
1980
The Kleene Symposium. Proceedings of the Symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. Zbl 0436.00007
1
1980
Topoi. The categorial analysis of logic. Zbl 0434.03050
Goldblatt, Robert
76
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
4
1979
Classification theory and the number of non-isomorphic models. Zbl 0388.03009
Shelah, S.
144
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
9
1978
Logic colloquium ’77. Proceedings of the colloquium held in Wroclaw, August 1977. Zbl 0426.00004
2
1978
Combinatorial set theory. Zbl 0362.04008
Williams, Neil H.
37
1977
Logic colloquium 76. Proceedings of a conference held in Oxford in July 1976. Zbl 0409.00002
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.
98
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
1
1976
Proof theory. Zbl 0354.02027
Takeuti, Gaisi
80
1975
Large infinitary languages. Model theory. Zbl 0324.02010
Dickmann, M. A.
36
1975
Proof theory. Zbl 0355.02023
Takeuti, Gaisi
18
1975
Proceedings of the 3rd Scandinavian logic symposium. Zbl 0299.00012
3
1975
Logic colloquium ’73. Proceedings of the logic colloquium, Bristol, July 1973. Zbl 0299.00011
1
1975
An algebraic approach to non-classical logics. Zbl 0299.02069
Rasiowa, Helena
291
1974
Elementary induction on abstract structures. Zbl 0307.02003
Moschovakis, Yiannis N.
129
1974
Set theory. An introduction to large cardinals. Zbl 0294.02034
Drake, Frank R.
78
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
2
1974
Model theory. Zbl 0276.02032
Chang, C. C.; Keisler, H. J.
352
1973
The axiom of choice. Zbl 0259.02051
Jech, Thomas J.
198
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
43
1973
Word problems. Decision problems and the Burnside problem in group theory. Zbl 0254.00004
5
1973
Truth, syntax and modality. Proceedings of the Temple University conference on alternative semantics. Zbl 0254.00003
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
1
1973
Combinatory logic. Vol. II. Zbl 0242.02029
Curry, Haskell B.; Hindley, J. Roger; Seldin, Jonathan P.
73
1972
The theory of semisets. Zbl 0332.02064
Vopenka, Petr; Hajek, Petr
9
1972
Contribution to non-standard analysis. Zbl 0236.00005
3
1972
Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers. Zbl 0222.02064
Keisler, H. Jerome
136
1971
Intuitionism. An introduction. 3rd revised ed. Zbl 0219.02013
Heyting, A.
19
1971
Logic colloquium ’69. Proceedings of the summer school and colloquium in mathematical logic, Manchester, August 1969. Zbl 0214.00402
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
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
2
1968
Non-standard analysis. Zbl 0151.00803
Robinson, Abraham
219
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 5,088 Authors

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

Cited in 427 Journals

582 Annals of Pure and Applied Logic
542 The Journal of Symbolic Logic
423 Theoretical Computer Science
289 Studia Logica
268 Archive for Mathematical Logic
221 Topology and its Applications
189 Proceedings of the American Mathematical Society
180 Transactions of the American Mathematical Society
137 Algebra Universalis
125 Notre Dame Journal of Formal Logic
124 Journal of Philosophical Logic
121 Fuzzy Sets and Systems
115 Information and Computation
112 Mathematical Logic Quarterly (MLQ)
93 The Bulletin of Symbolic Logic
91 Israel Journal of Mathematics
87 Synthese
82 The Review of Symbolic Logic
77 MSCS. Mathematical Structures in Computer Science
67 Algebra and Logic
62 Advances in Mathematics
61 Journal of Pure and Applied Algebra
59 Journal of Algebra
53 Journal of Computer and System Sciences
51 Journal of Applied Non-Classical Logics
51 Soft Computing
49 Logica Universalis
48 History and Philosophy of Logic
47 Order
43 Archiv für Mathematische Logik und Grundlagenforschung
41 Journal of Automated Reasoning
40 Information Sciences
40 Journal of Mathematical Logic
39 International Journal of Theoretical Physics
38 Journal of Applied Logic
37 Logical Methods in Computer Science
33 Siberian Mathematical Journal
33 Indagationes Mathematicae. New Series
32 Artificial Intelligence
32 Information Processing Letters
32 Journal of Logic, Language and Information
32 Annals of Mathematics and Artificial Intelligence
31 Journal of Functional Programming
30 Discrete Mathematics
27 Journal of Mathematical Sciences (New York)
26 International Journal of Approximate Reasoning
26 Journal of Logical and Algebraic Methods in Programming
24 Journal of Mathematical Analysis and Applications
21 Foundations of Science
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 Fundamenta Mathematicae
16 Mathematische Zeitschrift
16 Semigroup Forum
16 Journal of Symbolic Computation
16 Topology Proceedings
14 The Mathematical Intelligencer
14 Journal of Mathematical Economics
14 Journal of the American Mathematical Society
13 Mathematica Slovaca
13 Memoirs of the American Mathematical Society
13 Rendiconti del Seminario Matematico della Università di Padova
13 Formal Aspects of Computing
13 International Journal of Algebra and Computation
13 Historia Mathematica
13 RAIRO. Informatique Théorique et Applications
13 Applied Categorical Structures
13 The Journal of Logic and Algebraic Programming
12 Journal of Mathematical Physics
12 Compositio Mathematica
12 European Journal of Combinatorics
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 Erkenntnis
10 Logic and Logical Philosophy
10 Central European Journal of Mathematics
10 ACM Transactions on Computational Logic
10 Foundations of Physics
10 Journal of Logic and Analysis
9 Mathematical Notes
9 Kybernetika
9 RAIRO, Informatique Théorique
9 Mathematical Social Sciences
9 Acta Mathematica Hungarica
9 Journal of Complexity
9 Comptes Rendus. Mathématique. Académie des Sciences, Paris
...and 327 more Journals
all top 5

Cited in 61 Fields

5,376 Mathematical logic and foundations (03-XX)
1,516 Computer science (68-XX)
692 Order, lattices, ordered algebraic structures (06-XX)
612 General topology (54-XX)
331 Category theory; homological algebra (18-XX)
262 General algebraic systems (08-XX)
256 Group theory and generalizations (20-XX)
219 Combinatorics (05-XX)
204 History and biography (01-XX)
159 Functional analysis (46-XX)
158 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
122 Real functions (26-XX)
118 Quantum theory (81-XX)
111 Measure and integration (28-XX)
104 Field theory and polynomials (12-XX)
100 General and overarching topics; collections (00-XX)
72 Probability theory and stochastic processes (60-XX)
70 Associative rings and algebras (16-XX)
59 Topological groups, Lie groups (22-XX)
58 Number theory (11-XX)
50 Commutative algebra (13-XX)
45 Geometry (51-XX)
40 Systems theory; control (93-XX)
37 Algebraic geometry (14-XX)
37 Operator theory (47-XX)
36 Dynamical systems and ergodic theory (37-XX)
33 Algebraic topology (55-XX)
27 Operations research, mathematical programming (90-XX)
23 Relativity and gravitational theory (83-XX)
21 Linear and multilinear algebra; matrix theory (15-XX)
20 Ordinary differential equations (34-XX)
20 Statistics (62-XX)
20 Information and communication theory, circuits (94-XX)
15 Abstract harmonic analysis (43-XX)
15 Manifolds and cell complexes (57-XX)
12 Convex and discrete geometry (52-XX)
11 Differential geometry (53-XX)
11 Global analysis, analysis on manifolds (58-XX)
11 Biology and other natural sciences (92-XX)
10 Nonassociative rings and algebras (17-XX)
9 Functions of a complex variable (30-XX)
8 Several complex variables and analytic spaces (32-XX)
8 Sequences, series, summability (40-XX)
7 Calculus of variations and optimal control; optimization (49-XX)
7 Mechanics of deformable solids (74-XX)
6 Potential theory (31-XX)
6 Difference and functional equations (39-XX)
6 Approximations and expansions (41-XX)
6 Numerical analysis (65-XX)
6 Mechanics of particles and systems (70-XX)
6 Mathematics education (97-XX)
5 Partial differential equations (35-XX)
5 Statistical mechanics, structure of matter (82-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