×

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 116 more Authors

Publications by Year

Citations contained in zbMATH Open

130 Publications have been cited 8,291 times in 7,224 Documents Cited by Year
Set theory. An introduction to independence proofs. Zbl 0443.03021
Kunen, Kenneth
649
1980
The lambda calculus. Its syntax and semantics. Rev. ed. Zbl 0551.03007
Barendregt, H. P.
464
1984
Residuated lattices. An algebraic glimpse at substructural logics. Zbl 1171.03001
Galatos, Nikolaos; Jipsen, Peter; Kowalski, Tomasz; Ono, Hiroakira
429
2007
Model theory. Zbl 0276.02032
Chang, C. C.; Keisler, H. J.
356
1973
Descriptive set theory. Zbl 0433.03025
Moschovakis, Yiannis N.
354
1980
Model theory. 3rd rev. ed. Zbl 0697.03022
Chang, C. C.; Keisler, H. J.
321
1990
An algebraic approach to non-classical logics. Zbl 0299.02069
Rasiowa, Helena
298
1974
Computable structures and the hyperarithmetical hierarchy. Zbl 0960.03001
Ash, C. J.; Knight, J. F.
236
2000
Constructivism in mathematics. An introduction. Volume I. Zbl 0653.03040
Troelstra, A. S.; van Dalen, D.
234
1988
Non-standard analysis. Zbl 0151.00803
Robinson, Abraham
223
1966
Classical recursion theory. Vol. II. Zbl 0931.03057
Odifreddi, P. G.
209
1999
Constructivism in mathematics. An introduction. Volume II. Zbl 0661.03047
Troelstra, A. S.; van Dalen, D.
207
1988
The axiom of choice. Zbl 0259.02051
Jech, Thomas J.
200
1973
The lambda calculus, its syntax and semantics. Zbl 0467.03010
Barendregt, H. P.
173
1981
Classical recursion theory. The theory of functions and sets of natural numbers. Zbl 0661.03029
Odifreddi, Piergiorgio
152
1989
Categorical logic and type theory. Zbl 0911.03001
Jacobs, Bart
148
1999
Cylindric algebras. Part II. Zbl 0576.03043
Henkin, Leon; Monk, J. Donald; Tarski, Alfred
147
1985
Many-dimensional modal logics: theory and applications. Zbl 1051.03001
Gabbay, D. M.; Kurucz, A.; Wolter, F.; Zakharyaschev, M.
144
2003
Classification theory and the number of non-isomorphic models. Zbl 0388.03009
Shelah, S.
144
1978
Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers. Zbl 0222.02064
Keisler, H. Jerome
137
1971
Elementary induction on abstract structures. Zbl 0307.02003
Moschovakis, Yiannis N.
134
1974
Classification theory and the number of non-isomorphic models. 2nd rev. ed. Zbl 0713.03013
Shelah, Saharon
119
1990
Undecidable theories. Zbl 0053.00401
Tarski, Alfred; Mostowski, Andrzej; Robinson, Raphael M.
109
1953
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.
104
1976
Combinatory logic. With two sections by William Craig. Zbl 0081.24104
Curry, Haskell B.; Feys, Robert
103
1958
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.
95
1956
Set theory. An introduction to independence proofs. 2nd print. Zbl 0534.03026
Kunen, Kenneth
87
1983
Relation algebras by games. Zbl 1018.03002
Hirsch, Robin; Hodkinson, Ian
84
2002
Combinatorial set theory: Partition relations for cardinals. Zbl 0573.03019
Erdős, Paul; Hajnal, András; Máté, Attila; Rado, Richard
84
1984
Lectures on the Curry-Howard isomorphism. Zbl 1183.03004
Sørensen, Morten Heine; Urzyczyn, Paweł
82
2006
Proof theory. Zbl 0354.02027
Takeuti, Gaisi
81
1975
Set theory. An introduction to large cardinals. Zbl 0294.02034
Drake, Frank R.
80
1974
Admissibility of logical inference rules. Zbl 0872.03002
Rybakov, V. V.
79
1997
Topoi. The categorial analysis of logic. Zbl 0434.03050
Goldblatt, Robert
77
1979
Combinatory logic. Vol. II. Zbl 0242.02029
Curry, Haskell B.; Hindley, J. Roger; Seldin, Jonathan P.
76
1972
Proof theory. 2nd ed. Zbl 0609.03019
Takeuti, Gaisi
75
1987
Theory of relations. Transl. from the French by P. Clote. Zbl 0593.04001
Fraïssé, R.
72
1986
Relation algebras. Zbl 1197.03051
Maddux, Roger D.
71
2006
Tools and techniques in modal logic. Zbl 0927.03002
Kracht, M.
70
1999
Solvable cases of the decision problem. Zbl 0056.24505
Ackermann, W.
68
1954
Realizability. An introduction to its categorical side. Zbl 1225.03002
van Oosten, Jaap
62
2008
Language in action. Categories, lambdas and dynamic logic. Zbl 0717.03001
van Benthem, Johan
60
1991
Complete theories. Zbl 0070.02701
Robinson, Abraham
51
1956
Rudiments of \(\mu\)-calculus. Zbl 0968.03002
Arnold, A.; Niwiński, D.
47
2001
Handbook of proof theory. Zbl 0898.03001
47
1998
Foundations of infinitesimal stochastic analysis. Zbl 0624.60052
Stroyan, K. D.; Bayod, José Manuel
46
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
44
1973
The foundations of mathematics. A study in the philosophy of science. Zbl 0085.24104
Beth, Evert W.
44
1959
An essay in modal logic. Zbl 0043.00701
von Wright, Georg H.
43
1951
Topoi. The categorial analysis of logic. Rev. ed. Zbl 0528.03039
Goldblatt, Robert
40
1984
Combinatorial set theory. Zbl 0362.04008
Williams, Neil H.
39
1977
Large infinitary languages. Model theory. Zbl 0324.02010
Dickmann, M. A.
36
1975
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
30
1986
Equivalents of the axiom of choice. 2nd ed. Zbl 0582.03033
Rubin, Herman; Rubin, Jean E.
29
1985
Theory of relations. Transl. from the French by P. Clote. With an appendix by Norbert Sauer. Revised ed. Zbl 0965.03059
Fraïssé, Roland
28
2000
Classical recursion theory. The theory of functions and sets of natural numbers. Paperback ed. Zbl 0744.03044
Odifreddi, Piergiorgio
27
1992
Foundations of set theory. Zbl 0082.26203
Fraenkel, Abraham A.; Bar-Hillel, Yehoshua
27
1958
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
Intuitionism. An introduction. 3rd revised ed. Zbl 0219.02013
Heyting, A.
20
1971
The logical systems of Lesniewski. Zbl 0111.00602
Luschei, E. C.
20
1962
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
Recursive analysis. Zbl 0217.30202
Goodstein, R. L.
19
1961
Proof theory. Zbl 0355.02023
Takeuti, Gaisi
18
1975
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
Quantification in nonclassical logic. Volume I. Zbl 1211.03002
Gabbay, Dov M.; Skvortsov, Dimitrij; Shehtman, Valentin
15
2009
Axiomatic set theory. With a historical introduction by Abraham A. Fraenkel. Zbl 0082.26301
Bernays, Paul
15
1958
Algebra of proofs. Zbl 0532.03030
Szabo, M. E.
14
1978
Selected papers on AUTOMATH, dedicated to N. G. de Bruijn. Zbl 0822.03009
14
1994
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
Handbook of computability theory. Zbl 0923.03001
13
1999
Harvey Friedman’s research on the foundations of mathematics. Zbl 0588.03001
12
1985
Intensional mathematics. Zbl 0547.00010
12
1985
The theory of semisets. Zbl 0332.02064
Vopenka, Petr; Hajek, Petr
10
1972
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
9
1984
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
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
Aristotle’s modal syllogisms. Zbl 0105.24703
McCall, Storrs
8
1963
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
Outlines of a formalist philosophy of mathematics. Zbl 0043.00601
Curry, Haskell B.
7
1951
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
Logic colloquium ’78. Proceedings of the colloquium held in Mons, August 1978. Zbl 0423.00001
5
1979
Intuitionism and proof theory. Proceedings of the summer conference at Buffalo N. Y. 1968. Zbl 0195.01201
5
1970
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
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
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
15
2009
Realizability. An introduction to its categorical side. Zbl 1225.03002
van Oosten, Jaap
62
2008
Residuated lattices. An algebraic glimpse at substructural logics. Zbl 1171.03001
Galatos, Nikolaos; Jipsen, Peter; Kowalski, Tomasz; Ono, Hiroakira
429
2007
Lectures on the Curry-Howard isomorphism. Zbl 1183.03004
Sørensen, Morten Heine; Urzyczyn, Paweł
82
2006
Relation algebras. Zbl 1197.03051
Maddux, Roger D.
71
2006
Many-dimensional modal logics: theory and applications. Zbl 1051.03001
Gabbay, D. M.; Kurucz, A.; Wolter, F.; Zakharyaschev, M.
144
2003
Relation algebras by games. Zbl 1018.03002
Hirsch, Robin; Hodkinson, Ian
84
2002
Rudiments of \(\mu\)-calculus. Zbl 0968.03002
Arnold, A.; Niwiński, D.
47
2001
Computable structures and the hyperarithmetical hierarchy. Zbl 0960.03001
Ash, C. J.; Knight, J. F.
236
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
28
2000
Classical recursion theory. Vol. II. Zbl 0931.03057
Odifreddi, P. G.
209
1999
Categorical logic and type theory. Zbl 0911.03001
Jacobs, Bart
148
1999
Tools and techniques in modal logic. Zbl 0927.03002
Kracht, M.
70
1999
Handbook of computability theory. Zbl 0923.03001
13
1999
Handbook of proof theory. Zbl 0898.03001
47
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
14
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
27
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.
321
1990
Classification theory and the number of non-isomorphic models. 2nd rev. ed. Zbl 0713.03013
Shelah, Saharon
119
1990
Classical recursion theory. The theory of functions and sets of natural numbers. Zbl 0661.03029
Odifreddi, Piergiorgio
152
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.
234
1988
Constructivism in mathematics. An introduction. Volume II. Zbl 0661.03047
Troelstra, A. S.; van Dalen, D.
207
1988
Proof theory. 2nd ed. Zbl 0609.03019
Takeuti, Gaisi
75
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.
72
1986
Foundations of infinitesimal stochastic analysis. Zbl 0624.60052
Stroyan, K. D.; Bayod, José Manuel
46
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
30
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
147
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
Harvey Friedman’s research on the foundations of mathematics. Zbl 0588.03001
12
1985
Intensional mathematics. Zbl 0547.00010
12
1985
The lambda calculus. Its syntax and semantics. Rev. ed. Zbl 0551.03007
Barendregt, H. P.
464
1984
Combinatorial set theory: Partition relations for cardinals. Zbl 0573.03019
Erdős, Paul; Hajnal, András; Máté, Attila; Rado, Richard
84
1984
Topoi. The categorial analysis of logic. Rev. ed. Zbl 0528.03039
Goldblatt, Robert
40
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
9
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
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
Patras Logic Symposion. Proceedings of the Logic Symposion held at Patras, Greece, August 18–22, 1980. Zbl 0504.00001
1
1982
The lambda calculus, its syntax and semantics. Zbl 0467.03010
Barendregt, H. P.
173
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
649
1980
Descriptive set theory. Zbl 0433.03025
Moschovakis, Yiannis N.
354
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
77
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
5
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.
14
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.
39
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.
104
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
81
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
298
1974
Elementary induction on abstract structures. Zbl 0307.02003
Moschovakis, Yiannis N.
134
1974
Set theory. An introduction to large cardinals. Zbl 0294.02034
Drake, Frank R.
80
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.
356
1973
The axiom of choice. Zbl 0259.02051
Jech, Thomas J.
200
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
44
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.
76
1972
The theory of semisets. Zbl 0332.02064
Vopenka, Petr; Hajek, Petr
10
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
137
1971
Intuitionism. An introduction. 3rd revised ed. Zbl 0219.02013
Heyting, A.
20
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
5
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
Logic, methodology and philosophy of science III. Proceedings of the third international congress for logic, methodology and philosophy of science, Amsterdam 1967. Zbl 0177.29302
1
1968
Non-standard analysis. Zbl 0151.00803
Robinson, Abraham
223
1966
A deductive theory of space and time. Zbl 0161.00208
Basri, S. A.
4
1966
...and 30 more Documents
all top 5

Cited by 5,221 Authors

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

Cited in 440 Journals

605 Annals of Pure and Applied Logic
550 The Journal of Symbolic Logic
434 Theoretical Computer Science
293 Studia Logica
276 Archive for Mathematical Logic
222 Topology and its Applications
191 Proceedings of the American Mathematical Society
182 Transactions of the American Mathematical Society
138 Algebra Universalis
128 Journal of Philosophical Logic
125 Notre Dame Journal of Formal Logic
124 Information and Computation
122 Fuzzy Sets and Systems
112 Mathematical Logic Quarterly (MLQ)
95 The Bulletin of Symbolic Logic
92 Israel Journal of Mathematics
87 Synthese
82 The Review of Symbolic Logic
81 MSCS. Mathematical Structures in Computer Science
67 Algebra and Logic
64 Journal of Pure and Applied Algebra
63 Advances in Mathematics
60 Journal of Algebra
59 Soft Computing
54 Journal of Computer and System Sciences
51 Journal of Applied Non-Classical Logics
51 Logica Universalis
48 History and Philosophy of Logic
47 Order
43 Archiv für Mathematische Logik und Grundlagenforschung
43 Journal of Mathematical Logic
41 Journal of Automated Reasoning
41 Logical Methods in Computer Science
40 Information Sciences
39 International Journal of Theoretical Physics
38 Journal of Applied Logic
36 Artificial Intelligence
34 Indagationes Mathematicae. New Series
33 Siberian Mathematical Journal
33 Journal of Logic, Language and Information
33 Annals of Mathematics and Artificial Intelligence
32 Information Processing Letters
31 Discrete Mathematics
31 Journal of Functional Programming
28 International Journal of Approximate Reasoning
28 Journal of Mathematical Sciences (New York)
27 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 Fundamenta Mathematicae
18 Journal of Combinatorial Theory. Series A
17 Acta Informatica
17 Mathematische Annalen
17 Mathematische Zeitschrift
17 Journal of Symbolic Computation
17 RAIRO. Theoretical Informatics and Applications
16 International Journal of General Systems
16 Semigroup Forum
16 Topology Proceedings
15 Mathematica Slovaca
14 The Mathematical Intelligencer
14 Journal of Mathematical Economics
14 Memoirs of the American Mathematical Society
14 Journal of the American Mathematical Society
14 International Journal of Algebra and Computation
14 Applied Categorical Structures
13 Rendiconti del Seminario Matematico della Università di Padova
13 Formal Aspects of Computing
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 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 Acta Mathematica Hungarica
11 Bulletin of the American Mathematical Society. New Series
11 Foundations of Physics
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 Journal of Logic and Analysis
9 Mathematical Notes
9 Kybernetika
9 RAIRO, Informatique Théorique
9 Mathematical Social Sciences
9 Journal of Complexity
9 Comptes Rendus. Mathématique. Académie des Sciences, Paris
...and 340 more Journals
all top 5

Cited in 61 Fields

5,525 Mathematical logic and foundations (03-XX)
1,578 Computer science (68-XX)
719 Order, lattices, ordered algebraic structures (06-XX)
624 General topology (54-XX)
344 Category theory; homological algebra (18-XX)
268 General algebraic systems (08-XX)
260 Group theory and generalizations (20-XX)
225 Combinatorics (05-XX)
206 History and biography (01-XX)
164 Functional analysis (46-XX)
158 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
122 Real functions (26-XX)
121 Quantum theory (81-XX)
113 Measure and integration (28-XX)
107 Field theory and polynomials (12-XX)
101 General and overarching topics; collections (00-XX)
75 Probability theory and stochastic processes (60-XX)
74 Associative rings and algebras (16-XX)
60 Topological groups, Lie groups (22-XX)
58 Number theory (11-XX)
54 Commutative algebra (13-XX)
47 Geometry (51-XX)
40 Operator theory (47-XX)
40 Systems theory; control (93-XX)
38 Algebraic geometry (14-XX)
37 Dynamical systems and ergodic theory (37-XX)
33 Algebraic topology (55-XX)
27 Operations research, mathematical programming (90-XX)
24 Linear and multilinear algebra; matrix theory (15-XX)
23 Ordinary differential equations (34-XX)
23 Relativity and gravitational theory (83-XX)
21 Information and communication theory, circuits (94-XX)
20 Statistics (62-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 Numerical analysis (65-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 Mechanics of particles and systems (70-XX)
6 Mathematics education (97-XX)
5 Partial differential equations (35-XX)
5 Harmonic analysis on Euclidean spaces (42-XX)
5 Statistical mechanics, structure of matter (82-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