# 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)
all top 5

#### Latest Volumes

 54 (2016) 53 (2014) 52 (2010) 51 (2009/2012) 50 (2006) 49 (2006) 48 (2005) 47 (2005/2011) 46 (2005) 45 (2004) 44 (2002) 43 (2002) 42 (2001) 41 (2001) 40 (2000) 39 (2000) 38 (1999) 37 (1999) 36 (1998) 35 (1997) 34 (1996) 33 (1996) 32 (1996) 31 (1995) 30 (1994) 29 (1994) 28 (1994) 27 (1994) 26 (1994) 25 (1993) 24 (1994) 23 (1993) 22 (1993) 21 (1992/1995) 20 (1992) 19 (1992) 18 (1991) 17 (1991) 16 (1992) 15 (1991) 14 (1988) 13 (1987) 12 (1985) 11 (1985) 10 (1986) 9 (1984) 8 (1983) 7 (1982) 5 (1982) (1977/1982)
all top 5

#### Authors / Editors

 5 Bell, John Lane 5 Gabbay, Dov M. 4 Smullyan, Raymond Merrill 2 Awodey, Steve 2 Dummett, Michael Anthony Eardley 2 Fitting, Melvin Chris 2 Forster, T. E. 2 Johnstone, Peter T. 2 McLarty, Colin 2 Nies, André Otfrid 2 Pillay, Anand 2 Reynolds, Mark Alexander 1 Borovik, Alexandre V. 1 Casari, Ettore 1 Chagrov, Aleksandr Vasil’evich 1 Chapman, Jonathan 1 Cleave, John P. 1 Clote, Peter G. 1 Crosilla, Laura 1 Dunn, Jon Michael 1 Finger, Marcelo 1 Fisher, Alec 1 Hallett, Michael T. 1 Hardegree, Gary M. 1 Hodkinson, Ian Martin 1 Kaye, Richard W. 1 Kim, Byunghan 1 Kister, Jane Elizabeth 1 Kossak, Roman 1 Krajíček, Jan 1 Maksimova, Larisa L’vovna 1 Malinowski, Grzegorz 1 Mansfield, Richard 1 Manzano, María 1 Nesin, Ali 1 Pym, David J. 1 Ritter, Eike 1 Rose, Harvey E. 1 Rott, Hans 1 Rowbottom, Frederick 1 Sambin, Giovanni 1 Sandewall, Erik 1 Schmerl, James H. 1 Schuster, Peter Michael 1 Segerberg, Krister 1 Shapiro, Stewart 1 Shelah, Saharon 1 Smith, Jan M. 1 Tarski, Alfred 1 Tarski, Jan 1 Troelstra, Anne Sjerp 1 Weitkamp, Galen 1 Zakharyaschev, Michael Viktorovich
all top 5

#### Fields

 53 Mathematical logic and foundations (03-XX) 8 Category theory; homological algebra (18-XX) 8 Computer science (68-XX) 4 General and overarching topics; collections (00-XX) 2 History and biography (01-XX) 1 Group theory and generalizations (20-XX)

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