×

zbMATH — the first resource for mathematics

Oxford Logic Guides

Short Title: Oxf. Logic Guides
Publisher: Oxford University Press, Oxford
Online: https://global.oup.com/academic/content/series/o/oxford-logic-guides-olg/?cc=us&lang=en&
Comments: Book series
Documents Indexed: 57 Publications (since 1977)

Publications by Year

Citations contained in zbMATH Open

56 Publications have been cited 2,588 times in 2,407 Documents Cited by Year
Modal logic. Zbl 0871.03007
Chagrov, Alexander; Zakharyaschev, Michael
249
1997
Sketches of an elephant. A topos theory compendium. I. Zbl 1071.18001
Johnstone, Peter T.
162
2002
Computability and randomness. Zbl 1169.03034
Nies, André
157
2009
Models of Peano arithmetic. Zbl 0744.03037
Kaye, Richard
157
1991
Cardinal arithmetic. Zbl 0848.03025
Shelah, Saharon
147
1994
Geometric stability theory. Zbl 0871.03023
Pillay, Anand
125
1996
Elements of intuitionism. Zbl 0358.02032
Dummett, Michael
117
1977
Groups of finite Morley rank. Zbl 0816.20001
Borovik, Alexandre; Nesin, Ali
97
1994
Temporal logic. Vol. 1. Mathematical foundations and computational aspects. Zbl 0921.03023
Gabbay, Dov M.; Hodkinson, Ian; Reynolds, Mark
95
1994
Sketches of an elephant. A topos theory compendium. II. Zbl 1071.18002
Johnstone, Peter T.
91
2002
Subrecursion. Functions and hierarchies. Zbl 0539.03018
Rose, H. E.
86
1984
Foundations without foundationalism. A case for second-order logic. Zbl 0732.03002
Shapiro, Stewart
84
1991
Toposes and local set theories. An introduction. Zbl 0649.18004
Bell, J. L.
70
1988
Interpolation and definability. Modal and intuitionistic logics. Zbl 1091.03001
Gabbay, Dov M.; Maksimova, L.
68
2005
Computability and randomness. Zbl 1237.03027
Nies, André
64
2012
Algebraic methods in philosophical logic. Zbl 1014.03002
Dunn, J. Michael; Hardegree, Gary
61
2001
Change, choice and inference. A study of belief revision and nonmonotonic reasoning. Zbl 1018.03004
Rott, Hans
60
2001
An introduction to stability theory. Zbl 0526.03014
Pillay, Anand
51
1983
Labelled deductive systems. Vol. 1. Zbl 0858.03004
Gabbay, Dov M.
46
1996
Category theory. Zbl 1100.18001
Awodey, Steve
44
2006
The structure of models of Peano arithmetic. Zbl 1101.03029
Kossak, Roman; Schmerl, James H.
43
2006
Elements of intuitionism. 2nd ed. Zbl 0949.03059
Dummett, Michael
43
2000
Cantorian set theory and limitation of size. (Reprint). Zbl 0656.03030
Hallett, Michael
43
1986
Category theory. 2nd ed. Zbl 1194.18001
Awodey, Steve
37
2010
Boolean-valued models and independence proofs in set theory. Zbl 0371.02028
Bell, John Lane
32
1977
Features and fluents. Representation of knowledge about dynamical systems. Vol. I. Zbl 0842.68077
Sandewall, Erik
31
1994
Many-valued logics. Zbl 0807.03010
Malinowski, Grzegorz
30
1993
Choice sequences. A chapter of intuitionistic mathematics. Zbl 0355.02026
Troelstra, A. S.
30
1977
Boolean-valued models and independence proofs in set theory. 2nd ed. Zbl 0585.03021
Bell, J. L.
29
1985
Recursive aspects of descriptive set theory. With a chapter by Stephen Simpson. Zbl 0655.03032
Mansfield, Richard; Weitkamp, Galen
29
1985
Fibring logics. Zbl 0909.03001
Gabbay, Dov M.
25
1999
Classical propositional operators. An exercise in the foundations of logic. Zbl 0491.03003
Segerberg, Krister
20
1982
Simplicity theory. Zbl 1294.03003
Kim, Byunghan
18
2014
Set theory. Boolean-valued models and independence proofs. 3rd enlarged ed. Zbl 1065.03034
Bell, John L.
17
2005
Elementary categories, elementary toposes. Zbl 0762.18001
McLarty, Colin
16
1992
Gödel’s incompleteness theorems. Zbl 0787.03003
Smullyan, Raymond M.
15
1992
Elementary categories, elementary toposes. Zbl 0828.18001
McLarty, Colin
12
1995
Set theory with a universal set. Exploring an untyped universe. 2nd ed. Zbl 0831.03027
Forster, T. E.
11
1995
Set theory and the continuum problem. Zbl 0888.03032
Smullyan, Raymond M.; Fitting, Melvin
10
1996
Diagonalization and self-reference. Zbl 0810.03001
Smullyan, Raymond M.
9
1994
Introduction to logic and to the methodology of the deductive sciences. 4th ed. Zbl 0796.03001
Tarski, Alfred; Tarski, Jan (ed.)
7
1994
Temporal logic. Vol. 2. Mathematical foundations and computational aspects. Zbl 1014.03006
Gabbay, Dov M.; Reynolds, Mark A.; Finger, Marcelo
7
2000
Set theory with a universal set. Exploring an untyped universe. Zbl 0755.03029
Forster, T. E.
6
1992
Arithmetic, proof theory, and computational complexity. Zbl 0777.00008
Clote, Peter (ed.); Krajíček, Jan (ed.)
6
1993
A study of logics. Zbl 0763.03003
Cleave, John P.
5
1991
The Boole-De Morgan correspondence 1842-1864. Zbl 0505.01018
Smith, G. C.
5
1982
Twenty-five years of constructive type theory. Proceedings of a congress, Venice, Italy, Ocober 19–21, 1995. Zbl 0899.00026
Sambin, Giovanni (ed.); Smith, Jan M. (ed.)
4
1998
Beginning model theory. The completeness theorem and some consequences. Zbl 0361.02064
Bridge, Jane
4
1977
Recursion theory for metamathematics. Zbl 0796.03003
Smullyan, Raymond M.
3
1993
Model theory. Transl. from the Spanish by Ruy J. G. B. Queiroz. Zbl 0922.03001
Manzano, María
2
1999
Computability theory, semantics, and logic programming. Zbl 0613.68019
Fitting, Melvin
2
1987
Reductive logic and proof-search. Proof theory, semantics, and control. Zbl 1062.03003
Pym, David J.; Ritter, Eike
2
2004
Relative category theory and geometric morphisms: A logical approach. Zbl 0751.18001
Chapman, Jonathan; Rowbottom, Frederick
1
1992
Formal number theory and computability. A workbook. Zbl 0504.03002
Fisher, Alec
1
1982
Set theory. Boolean-valued models and independence proofs. 3rd. ed., corrected paperback ed. with new references. Zbl 1233.03002
Bell, John L.
1
2011
From sets and types to topology and analysis. Towards practicable foundations for constructive mathematics. Based on the workshop, Venice, Italy, May 12–16, 2003. Zbl 1076.03003
Crosilla, Laura (ed.); Schuster, Peter (ed.)
1
2005
Simplicity theory. Zbl 1294.03003
Kim, Byunghan
18
2014
Computability and randomness. Zbl 1237.03027
Nies, André
64
2012
Set theory. Boolean-valued models and independence proofs. 3rd. ed., corrected paperback ed. with new references. Zbl 1233.03002
Bell, John L.
1
2011
Category theory. 2nd ed. Zbl 1194.18001
Awodey, Steve
37
2010
Computability and randomness. Zbl 1169.03034
Nies, André
157
2009
Category theory. Zbl 1100.18001
Awodey, Steve
44
2006
The structure of models of Peano arithmetic. Zbl 1101.03029
Kossak, Roman; Schmerl, James H.
43
2006
Interpolation and definability. Modal and intuitionistic logics. Zbl 1091.03001
Gabbay, Dov M.; Maksimova, L.
68
2005
Set theory. Boolean-valued models and independence proofs. 3rd enlarged ed. Zbl 1065.03034
Bell, John L.
17
2005
From sets and types to topology and analysis. Towards practicable foundations for constructive mathematics. Based on the workshop, Venice, Italy, May 12–16, 2003. Zbl 1076.03003
Crosilla, Laura; Schuster, Peter
1
2005
Reductive logic and proof-search. Proof theory, semantics, and control. Zbl 1062.03003
Pym, David J.; Ritter, Eike
2
2004
Sketches of an elephant. A topos theory compendium. I. Zbl 1071.18001
Johnstone, Peter T.
162
2002
Sketches of an elephant. A topos theory compendium. II. Zbl 1071.18002
Johnstone, Peter T.
91
2002
Algebraic methods in philosophical logic. Zbl 1014.03002
Dunn, J. Michael; Hardegree, Gary
61
2001
Change, choice and inference. A study of belief revision and nonmonotonic reasoning. Zbl 1018.03004
Rott, Hans
60
2001
Elements of intuitionism. 2nd ed. Zbl 0949.03059
Dummett, Michael
43
2000
Temporal logic. Vol. 2. Mathematical foundations and computational aspects. Zbl 1014.03006
Gabbay, Dov M.; Reynolds, Mark A.; Finger, Marcelo
7
2000
Fibring logics. Zbl 0909.03001
Gabbay, Dov M.
25
1999
Model theory. Transl. from the Spanish by Ruy J. G. B. Queiroz. Zbl 0922.03001
Manzano, María
2
1999
Twenty-five years of constructive type theory. Proceedings of a congress, Venice, Italy, Ocober 19–21, 1995. Zbl 0899.00026
Sambin, Giovanni; Smith, Jan M.
4
1998
Modal logic. Zbl 0871.03007
Chagrov, Alexander; Zakharyaschev, Michael
249
1997
Geometric stability theory. Zbl 0871.03023
Pillay, Anand
125
1996
Labelled deductive systems. Vol. 1. Zbl 0858.03004
Gabbay, Dov M.
46
1996
Set theory and the continuum problem. Zbl 0888.03032
Smullyan, Raymond M.; Fitting, Melvin
10
1996
Elementary categories, elementary toposes. Zbl 0828.18001
McLarty, Colin
12
1995
Set theory with a universal set. Exploring an untyped universe. 2nd ed. Zbl 0831.03027
Forster, T. E.
11
1995
Cardinal arithmetic. Zbl 0848.03025
Shelah, Saharon
147
1994
Groups of finite Morley rank. Zbl 0816.20001
Borovik, Alexandre; Nesin, Ali
97
1994
Temporal logic. Vol. 1. Mathematical foundations and computational aspects. Zbl 0921.03023
Gabbay, Dov M.; Hodkinson, Ian; Reynolds, Mark
95
1994
Features and fluents. Representation of knowledge about dynamical systems. Vol. I. Zbl 0842.68077
Sandewall, Erik
31
1994
Diagonalization and self-reference. Zbl 0810.03001
Smullyan, Raymond M.
9
1994
Introduction to logic and to the methodology of the deductive sciences. 4th ed. Zbl 0796.03001
Tarski, Alfred; Tarski, Jan
7
1994
Many-valued logics. Zbl 0807.03010
Malinowski, Grzegorz
30
1993
Arithmetic, proof theory, and computational complexity. Zbl 0777.00008
Clote, Peter; Krajíček, Jan
6
1993
Recursion theory for metamathematics. Zbl 0796.03003
Smullyan, Raymond M.
3
1993
Elementary categories, elementary toposes. Zbl 0762.18001
McLarty, Colin
16
1992
Gödel’s incompleteness theorems. Zbl 0787.03003
Smullyan, Raymond M.
15
1992
Set theory with a universal set. Exploring an untyped universe. Zbl 0755.03029
Forster, T. E.
6
1992
Relative category theory and geometric morphisms: A logical approach. Zbl 0751.18001
Chapman, Jonathan; Rowbottom, Frederick
1
1992
Models of Peano arithmetic. Zbl 0744.03037
Kaye, Richard
157
1991
Foundations without foundationalism. A case for second-order logic. Zbl 0732.03002
Shapiro, Stewart
84
1991
A study of logics. Zbl 0763.03003
Cleave, John P.
5
1991
Toposes and local set theories. An introduction. Zbl 0649.18004
Bell, J. L.
70
1988
Computability theory, semantics, and logic programming. Zbl 0613.68019
Fitting, Melvin
2
1987
Cantorian set theory and limitation of size. (Reprint). Zbl 0656.03030
Hallett, Michael
43
1986
Boolean-valued models and independence proofs in set theory. 2nd ed. Zbl 0585.03021
Bell, J. L.
29
1985
Recursive aspects of descriptive set theory. With a chapter by Stephen Simpson. Zbl 0655.03032
Mansfield, Richard; Weitkamp, Galen
29
1985
Subrecursion. Functions and hierarchies. Zbl 0539.03018
Rose, H. E.
86
1984
An introduction to stability theory. Zbl 0526.03014
Pillay, Anand
51
1983
Classical propositional operators. An exercise in the foundations of logic. Zbl 0491.03003
Segerberg, Krister
20
1982
The Boole-De Morgan correspondence 1842-1864. Zbl 0505.01018
Smith, G. C.
5
1982
Formal number theory and computability. A workbook. Zbl 0504.03002
Fisher, Alec
1
1982
Elements of intuitionism. Zbl 0358.02032
Dummett, Michael
117
1977
Boolean-valued models and independence proofs in set theory. Zbl 0371.02028
Bell, John Lane
32
1977
Choice sequences. A chapter of intuitionistic mathematics. Zbl 0355.02026
Troelstra, A. S.
30
1977
Beginning model theory. The completeness theorem and some consequences. Zbl 0361.02064
Bridge, Jane
4
1977
all top 5

Cited by 1,965 Authors

53 Shelah, Saharon
36 Pillay, Anand
26 Maksimova, Larisa L’vovna
25 Nies, André Otfrid
24 Bezhanishvili, Guram
23 Barmpalias, George
20 Bezhanishvili, Nick
20 Stephan, Frank
16 Altınel, Tuna
16 Cherlin, Gregory L.
16 Gabbay, Dov M.
15 Downey, Rodney Graham
15 Schmerl, James H.
14 Greenberg, Noam
13 Bienvenu, Laurent
13 Miller, Joseph S.
12 Enayat, Ali
12 Gitik, Moti
12 Kusraev, Anatoly Georgievich
12 Rabinovich, Alexander
12 Rybakov, Vladimir Vladimirovich
12 Zafiris, Elias
11 Bell, John Lane
11 Calude, Cristian S.
11 Hansson, Sven Ove
11 Humberstone, Lloyd
11 Jaligot, Eric
11 Zakharyaschev, Michael Viktorovich
10 Borovik, Alexandre V.
10 Bridges, Douglas Suth
10 Burdges, Jeffrey
10 Hrushovski, Ehud
10 Kaye, Richard W.
10 Moraschini, Tommaso
10 Ng, KengMeng
10 Sernadas, Cristina S.
10 Spitters, Bas
10 Wagner, Frank Olaf
10 Wolter, Frank
10 Yun, Veta Fëdorovna
9 Beklemishev, Lev D.
9 Citkin, Alex
9 Frécon, Olivier
9 Hodkinson, Ian Martin
9 Hölzl, Rupert
9 Laskowski, Michael Chris
9 Lucero-Bryan, Joel Gregory
9 Miyabe, Kenshi
9 Nesin, Ali
9 Schuster, Peter Michael
9 Simpson, Stephen G.
9 Townsend, Christopher F.
9 Weiermann, Andreas
9 Yu, Liang
8 Avron, Arnon
8 Deloro, Adrien
8 Eisworth, Todd
8 Goldblatt, Robert Ian
8 Heunen, Chris
8 Kutateladze, Semën Samsonovich
8 Matet, Pierre
8 Porter, Christopher P.
8 Rasga, João
8 Rinot, Assaf
8 Viganò, Luca
7 Bimbó, Katalin
7 Cordón-Franco, Andrés
7 Cummings, James
7 Dunn, Jon Michael
7 Džamonja, Mirna
7 Jeřábek, Emil
7 Kjos-Hanssen, Bjørn
7 Kurucz, Agi
7 Lara-Martín, Francisco Felix
7 Magidor, Menachem
7 Nishimura, Hirokazu
7 Reynolds, Mark Alexander
7 Shapiro, Stewart
7 Tent, Katrin
7 Vickers, Steven
7 Visser, Albert
7 Volpe, Marco
7 Wansing, Heinrich Theodor
6 Arieli, Ofer
6 Caramello, Olivia
6 Conidis, Chris J.
6 Coquand, Thierry
6 Day, Adam R.
6 Döring, Andreas
6 Fiorino, Guido
6 Friedman, Sy-David
6 Gabelaia, David
6 Hellman, Geoffrey
6 Ishihara, Hajime
6 Jain, Sanjay
6 Kim, Byunghan
6 Kojman, Menachem
6 Kossak, Roman
6 Kurahashi, Taishi
6 Łełyk, Mateusz
...and 1,865 more Authors
all top 5

Cited in 200 Journals

236 Annals of Pure and Applied Logic
219 The Journal of Symbolic Logic
97 Journal of Philosophical Logic
92 Studia Logica
91 Notre Dame Journal of Formal Logic
84 Theoretical Computer Science
83 Archive for Mathematical Logic
63 The Review of Symbolic Logic
55 The Bulletin of Symbolic Logic
50 Journal of Algebra
48 Synthese
47 Transactions of the American Mathematical Society
46 Mathematical Logic Quarterly (MLQ)
42 Proceedings of the American Mathematical Society
35 Journal of Pure and Applied Algebra
35 Information and Computation
33 Israel Journal of Mathematics
31 Artificial Intelligence
29 Applied Categorical Structures
28 History and Philosophy of Logic
27 Logica Universalis
26 Advances in Mathematics
25 Journal of Applied Non-Classical Logics
23 MSCS. Mathematical Structures in Computer Science
21 International Journal of Theoretical Physics
21 Theory of Computing Systems
21 Journal of Mathematical Logic
19 Algebra and Logic
19 Journal of Computer and System Sciences
19 Siberian Mathematical Journal
17 Topology and its Applications
17 Annals of Mathematics and Artificial Intelligence
16 Fuzzy Sets and Systems
16 Theory and Applications of Categories
15 Erkenntnis
15 Journal of Applied Logic
13 Logical Methods in Computer Science
12 Journal of Logic, Language and Information
11 Journal of Mathematical Physics
11 Algebra Universalis
10 Communications in Algebra
10 Journal of Automated Reasoning
10 Indagationes Mathematicae. New Series
10 Journal of Logical and Algebraic Methods in Programming
9 Journal of the American Mathematical Society
8 Information Processing Letters
8 Bulletin of the Section of Logic
8 Selecta Mathematica. New Series
7 International Journal of General Systems
7 Mathematical Proceedings of the Cambridge Philosophical Society
7 Order
7 International Journal of Approximate Reasoning
7 Topoi
6 Communications in Mathematical Physics
6 The Mathematical Intelligencer
6 Logic and Logical Philosophy
5 Information Sciences
5 Memoirs of the American Mathematical Society
5 Bulletin of the American Mathematical Society. New Series
5 Journal of the European Mathematical Society (JEMS)
5 Journal of the Institute of Mathematics of Jussieu
5 Foundations of Physics
5 Sibirskie Èlektronnye Matematicheskie Izvestiya
5 Studies in History and Philosophy of Science. Part B. Studies in History and Philosophy of Modern Physics
5 Axiomathes
4 Applied Mathematics and Computation
4 Fundamenta Mathematicae
4 Annals of Mathematics. Second Series
4 Foundations of Science
4 Journal of the Australian Mathematical Society
4 Vladikavkazskiĭ Matematicheskiĭ Zhurnal
4 ACM Transactions on Computational Logic
4 Journal of Logic and Analysis
4 Nôus
3 Archiv für Mathematische Logik und Grundlagenforschung
3 Discrete Mathematics
3 Mathematical Notes
3 Journal of Geometry and Physics
3 Journal of Mathematical Psychology
3 Journal of Symbolic Computation
3 Annales de la Faculté des Sciences de Toulouse. Mathématiques. Série VI
3 Journal of Mathematical Sciences (New York)
3 Journal of Functional Programming
3 Soft Computing
3 New Mathematics and Natural Computation
3 Tbilisi Mathematical Journal
3 Frontiers of Computer Science
3 Forum of Mathematics, Sigma
3 Axioms
2 Archive for History of Exact Sciences
2 Journal of Mathematical Analysis and Applications
2 Problems of Information Transmission
2 Russian Mathematical Surveys
2 Journal of Combinatorial Theory. Series A
2 Linguistics and Philosophy
2 Manuscripta Mathematica
2 Publications of the Research Institute for Mathematical Sciences, Kyoto University
2 Mathematical Social Sciences
2 Acta Mathematica Hungarica
2 Journal of Complexity
...and 100 more Journals
all top 5

Cited in 51 Fields

1,993 Mathematical logic and foundations (03-XX)
458 Computer science (68-XX)
297 Category theory; homological algebra (18-XX)
181 Order, lattices, ordered algebraic structures (06-XX)
169 Group theory and generalizations (20-XX)
107 General topology (54-XX)
75 General and overarching topics; collections (00-XX)
74 Quantum theory (81-XX)
65 History and biography (01-XX)
52 Algebraic geometry (14-XX)
43 Field theory and polynomials (12-XX)
41 Functional analysis (46-XX)
40 Combinatorics (05-XX)
34 General algebraic systems (08-XX)
29 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
28 Algebraic topology (55-XX)
23 Topological groups, Lie groups (22-XX)
22 Real functions (26-XX)
20 Measure and integration (28-XX)
19 Probability theory and stochastic processes (60-XX)
18 Associative rings and algebras (16-XX)
17 Number theory (11-XX)
15 Differential geometry (53-XX)
14 Operator theory (47-XX)
13 Commutative algebra (13-XX)
13 Dynamical systems and ergodic theory (37-XX)
11 Global analysis, analysis on manifolds (58-XX)
10 Geometry (51-XX)
7 Relativity and gravitational theory (83-XX)
7 Information and communication theory, circuits (94-XX)
6 Convex and discrete geometry (52-XX)
6 Manifolds and cell complexes (57-XX)
6 Operations research, mathematical programming (90-XX)
5 Several complex variables and analytic spaces (32-XX)
5 Statistical mechanics, structure of matter (82-XX)
4 \(K\)-theory (19-XX)
4 Statistics (62-XX)
4 Mechanics of particles and systems (70-XX)
3 Linear and multilinear algebra; matrix theory (15-XX)
3 Biology and other natural sciences (92-XX)
2 Ordinary differential equations (34-XX)
2 Partial differential equations (35-XX)
2 Harmonic analysis on Euclidean spaces (42-XX)
2 Calculus of variations and optimal control; optimization (49-XX)
2 Systems theory; control (93-XX)
1 Nonassociative rings and algebras (17-XX)
1 Functions of a complex variable (30-XX)
1 Difference and functional equations (39-XX)
1 Sequences, series, summability (40-XX)
1 Abstract harmonic analysis (43-XX)
1 Integral equations (45-XX)

Citations by Year