# zbMATH — the first resource for mathematics

## Lecture Notes in Logic

 Short Title: Lect. Notes Log. Publisher: Cambridge University Press, Cambridge; Association for Symbolic Logic, Urbana, IL Online: http://ebooks.cambridge.org/series_landing.jsf;jsessionid=FBF14B7A52594D535DA60BEA528435B5?seriesCode=LNL&seriesTitle=Lecture+Notes+in+Logic&productCode=cbo&publisherCode=cup&sort=series_number Comments: Book series
 Documents Indexed: 60 Publications (since 1993)
all top 5

#### Latest Volumes

 52 (2021) 50 (2020) 49 (2020) 48 (2018) 47 (2017) 46 (2016) 45 (2016) 44 (2015) 43 (2016) 42 (2014) 41 (2013) 40 (2012) 39 (2011) 38 (2011) 37 (2012) 36 (2011) 35 (2010/2014) 34 (2010) 33 (2010/2013) 32 (2009) 31 (2008) 30 (2008/2011) 29 (2008) 28 (2008) 27 (2006) 26 (2006) 25 (2006) 24 (2006) 23 (2005) 22 (2005) 21 (2005) 20 (2005) 19 (2005) 18 (2005) 17 (2004) 16 (2004) 15 (2002) 14 (2002) 13 (2000) 12 (1998) 11 (1998) 10 (1997/2003) 9 (1997) 8 (1996) 7 (1996) 6 (1996/2001) 5 (1996/2006) 4 (1995) 3 (1994) 2 (1993/2001) 1 (1993-2016)
all top 5

#### Authors / Editors

 7 Steel, John R. 4 Kechris, Alexander S. 4 Löwe, Benedikt 4 Väänänen, Jouko Antero 3 Hájek, Petr 3 Marker, David E. 3 Pillay, Anand 3 Shönfield, Joseph R. 3 Simpson, Stephen G. 2 Delon, Françoise 2 Feferman, Solomon 2 Haskell, Deirdre 2 Hrushovski, Ehud 2 Kohlenbach, Ulrich Wilhelm 2 Lindström, Per 2 Macpherson, Hugh Dugald 2 Maddy, Penelope J. 2 Messmer, Margit 2 Parsons, Charles D. 2 Stephan, Frank 1 Andretta, Alessandro 1 Baaz, Matthias 1 Bodirsky, Manuel 1 Buss, Samuel R. 1 Casanovas, Enrique 1 Chatzidakis, Zoé Maria 1 Cholak, Peter A. 1 Chubb, Jennifer 1 Cooper, Stuart Barry 1 Cori, René 1 Cutland, Nigel J. 1 Di Nasso, Mauro 1 Dimitracopoulos, Costas 1 Downey, Rodney Graham 1 Enayat, Ali 1 Eskandarian, Ali 1 Fajardo, Sergio 1 Font, Josep Maria 1 Franklin, Johanna N. Y. 1 Franzén, Torkel 1 Friedman, Sy-David 1 Geuvers, Jan Herman 1 Gilmore, Paul C. 1 Goldblatt, Robert Ian 1 Greenberg, Noam 1 Grohe, Martin 1 Hamkins, Joel David 1 Harizanov, Valentina S. 1 Hirschfeldt, Denis Roman 1 Jansana, Ramon 1 Kahle, Reinhard 1 Kalantari, Iraj 1 Kearnes, Keith A. 1 Keisler, Howard Jerome 1 Kennedy, Juliette Cara 1 Koepke, Peter 1 Kossak, Roman 1 Krajíček, Jan 1 Larrazabal, J. M. 1 Lascar, Daniel 1 Lerman, Manuel 1 Makowsky, Johann-Andreas 1 Miller, Arnold W. 1 Miller, Russell G. 1 Mints, Grigoriĭ Efroimovich 1 Mitchell, William John 1 Moniri, Mojtaba 1 Moschovakis, Yiannis Nicholas 1 Newelski, Ludomir 1 Normann, Dag 1 Oikkonen, Juha 1 Oikkonen, Juha Markku Robert 1 Otto, Martin 1 Pohlers, Wolfram 1 Porter, Christopher P. 1 Pudlák, Pavel 1 Ravve, Elena V. 1 Razborov, Aleksandr Aleksandrovich 1 Ross, David A. 1 Sieg, Wilfried 1 Simon, Pierre 1 Sommer, Richard 1 Stoltenberg-Hansen, Viggo 1 Talcott, Carolyn L. 1 Tent, Katrin 1 Todorcevic, Stevo B. 1 van Eijck, Jan 1 van Oostrom, Vincent 1 Visser, Albert 1 Wood, Carol 1 Zambella, Domenico 1 Ziegler, Martin
all top 5

#### Fields

 59 Mathematical logic and foundations (03-XX) 35 General and overarching topics; collections (00-XX) 6 History and biography (01-XX) 6 Computer science (68-XX) 4 Field theory and polynomials (12-XX) 1 Combinatorics (05-XX) 1 Probability theory and stochastic processes (60-XX) 1 Quantum theory (81-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX)

#### Citations contained in zbMATH Open

38 Publications have been cited 631 times in 542 Documents Cited by Year
Fine structure and iteration trees. Zbl 0805.03042
Mitchell, William J.; Steel, John R.
1994
A general algebraic semantics for sentential logics. Zbl 0865.03054
Font, Josep M.; Jansana, Ramon
1996
The core model iterability problem. Zbl 0864.03035
Steel, John R.
1996
A course in model theory. Zbl 1245.03002
Tent, Katrin; Ziegler, Martin
2012
A guide to NIP theories. Zbl 1332.03001
Simon, Pierre
2015
Model theory of stochastic processes. Zbl 1020.60020
Fajardo, Sergio; Keisler, H. Jerome
2002
Simple theories and hyperimaginaries. Zbl 1243.03045
Casanovas, Enrique
2011
Stable domination and independence in algebraically closed valued fields. Zbl 1149.03027
Haskell, Deirdre; Hrushovski, Ehud; Macpherson, Hugh Dugald
2008
Bounded variable logics and counting: a study in finite models. Zbl 0869.03018
Otto, Martin
1997
Model theory of fields. Zbl 0911.12005
Marker, D.; Messmer, M.; Pillay, A.
1996
Model theory of fields. 2nd ed. Zbl 1104.12006
Marker, David; Messmer, Margit; Pillay, Anand
2006
Aspects of incompleteness. 2nd ed. Zbl 1036.03002
Lindström, Per
2003
Aspects of incompleteness. Zbl 0882.03054
Lindström, Per
1997
Descriptive set theory and forcing. How to prove theorems about Borel sets the hard way. Zbl 0835.03012
Miller, Arnold W.
1995
Inexhaustibility: A non-exhaustive treatment. Zbl 1094.03001
Franzén, Torkel
2004
Descriptive complexity, canonisation, and definable graph structure theory. Zbl 06722029
Grohe, Martin
2017
Reflections on the foundations of mathematics. Essays in honor of Solomon Feferman. Zbl 1001.00020
Sieg, Wilfried (ed.); Sommer, Richard (ed.); Talcott, Carolyn (ed.)
2002
Quantifiers, propositions and identity. Admissible semantics for quantified modal and substructural logics. Zbl 1270.03005
Goldblatt, Robert
2011
Games, scales, and Suslin cardinals. The Cabal Seminar, Vol. I. Reprints of papers and new material based on the Los Angeles Caltech-UCLA Logic Cabal Seminar 1976–1985. Zbl 1149.03002
Kechris, Alexander S. (ed.); Löwe, Benedikt (ed.); Steel, John R. (ed.)
2008
Effective mathematics of the uncountable. Zbl 1297.03006
Greenberg, Noam (ed.); Hamkins, Joel David (ed.); Hirschfeldt, Denis (ed.); Miller, Russell (ed.)
2013
Lectures on infinitary model theory. Zbl 1356.03004
Marker, David
2016
Turing’s legacy. Developments from Turing’s ideas in logic. Zbl 1341.03002
Downey, Rod (ed.)
2014
Wadge degrees and projective ordinals. The Cabal Seminar, Vol. II. Reprints of papers and new material based on the Los Angeles Caltech-UCLA Logic Cabal Seminar 1976–1985. Zbl 1230.03010
Kechris, Alexander S. (ed.); Löwe, Benedikt (ed.); Steel, John R. (ed.)
2012
A framework for priority arguments. Zbl 1203.03054
Lerman, Manuel
2010
Ordinal definability and recursion theory. The Cabal Seminar, Vol. III. Reprints of papers and new material based on the Los Angeles Caltech-UCLA Logic Cabal Seminar 1976–1985. Zbl 1350.03006
Kechris, Alexander S. (ed.); Löwe, Benedikt (ed.); Steel, John R. (ed.)
2016
The Notre Dame lectures. Zbl 1064.03002
Cholak, Peter (ed.)
2005
Reverse mathematics 2001. Zbl 1075.03002
Simpson, Stephen G. (ed.)
2005
Kurt Gödel. Essays for his centennial. Zbl 1196.03006
Feferman, Solomon (ed.); Parsons, Charles (ed.); Simpson, Stephen G. (ed.)
2010
Nonstandard methods and applications in mathematics. Zbl 1083.03005
Cutland, Nigel J. (ed.); Di Nasso, Mauro (ed.); Ross, David A. (ed.)
2006
Gödel ’96. Logical foundations of mathematics, computer science and physics – Kurt Gödel’s legacy. Proceedings of a conference, Brno, Czech Republic, August 1996. Zbl 0844.00017
Hájek, Petr (ed.)
1996
Recursion theory. Zbl 0789.03039
Shoenfield, Joseph R.
1993
Logic in Tehran. Proceedings of the workshop and conference on logic, algebra and arithmetic, Tehran, Iran, October 18–22, 2003. Zbl 1094.03004
Enayat, Ali (ed.); Kalantari, Iraj (ed.); Moniri, Mojtaba (ed.)
2006
Logic colloquium ’02. Proceedings of the annual European summer meeting of the Association for Symbolic Logic (ASL) and the Colloquium Logicum, Münster, Germany, August 3–11, 2002. Zbl 1093.03003
Chatzidakis, Zoé (ed.); Koepke, Peter (ed.); Pohlers, Wolfram (ed.)
2006
Intensionality. Zbl 1075.03001
Kahle, Reinhard (ed.)
2005
Logicism renewed. Logical foundations for mathematics and computer science. Zbl 1093.03002
Gilmore, Paul C.
2005
Kurt Gödel. Essays for his centennial. Reprint of the 2010 hardback edition. Zbl 1278.03019
Feferman, Solomon (ed.); Parsons, Charles (ed.); Simpson, Stephen G. (ed.)
2013
Set theory, arithmetic, and foundations of mathematics. Theorems, philosophies. Zbl 1222.03004
Kennedy, Juliette (ed.); Kossak, Roman (ed.)
2011
Abstract recursion and intrinsic complexity. Zbl 1412.03004
Moschovakis, Yiannis N.
2019
Abstract recursion and intrinsic complexity. Zbl 1412.03004
Moschovakis, Yiannis N.
2019
Descriptive complexity, canonisation, and definable graph structure theory. Zbl 06722029
Grohe, Martin
2017
Lectures on infinitary model theory. Zbl 1356.03004
Marker, David
2016
Ordinal definability and recursion theory. The Cabal Seminar, Vol. III. Reprints of papers and new material based on the Los Angeles Caltech-UCLA Logic Cabal Seminar 1976–1985. Zbl 1350.03006
Kechris, Alexander S.; Löwe, Benedikt; Steel, John R.
2016
A guide to NIP theories. Zbl 1332.03001
Simon, Pierre
2015
Turing’s legacy. Developments from Turing’s ideas in logic. Zbl 1341.03002
Downey, Rod
2014
Effective mathematics of the uncountable. Zbl 1297.03006
Greenberg, Noam; Hamkins, Joel David; Hirschfeldt, Denis; Miller, Russell
2013
Kurt Gödel. Essays for his centennial. Reprint of the 2010 hardback edition. Zbl 1278.03019
Feferman, Solomon; Parsons, Charles; Simpson, Stephen G.
2013
A course in model theory. Zbl 1245.03002
Tent, Katrin; Ziegler, Martin
2012
Wadge degrees and projective ordinals. The Cabal Seminar, Vol. II. Reprints of papers and new material based on the Los Angeles Caltech-UCLA Logic Cabal Seminar 1976–1985. Zbl 1230.03010
Kechris, Alexander S.; Löwe, Benedikt; Steel, John R.
2012
Simple theories and hyperimaginaries. Zbl 1243.03045
Casanovas, Enrique
2011
Quantifiers, propositions and identity. Admissible semantics for quantified modal and substructural logics. Zbl 1270.03005
Goldblatt, Robert
2011
Set theory, arithmetic, and foundations of mathematics. Theorems, philosophies. Zbl 1222.03004
Kennedy, Juliette; Kossak, Roman
2011
A framework for priority arguments. Zbl 1203.03054
Lerman, Manuel
2010
Kurt Gödel. Essays for his centennial. Zbl 1196.03006
Feferman, Solomon; Parsons, Charles; Simpson, Stephen G.
2010
Stable domination and independence in algebraically closed valued fields. Zbl 1149.03027
Haskell, Deirdre; Hrushovski, Ehud; Macpherson, Hugh Dugald
2008
Games, scales, and Suslin cardinals. The Cabal Seminar, Vol. I. Reprints of papers and new material based on the Los Angeles Caltech-UCLA Logic Cabal Seminar 1976–1985. Zbl 1149.03002
Kechris, Alexander S.; Löwe, Benedikt; Steel, John R.
2008
Model theory of fields. 2nd ed. Zbl 1104.12006
Marker, David; Messmer, Margit; Pillay, Anand
2006
Nonstandard methods and applications in mathematics. Zbl 1083.03005
Cutland, Nigel J.; Di Nasso, Mauro; Ross, David A.
2006
Logic in Tehran. Proceedings of the workshop and conference on logic, algebra and arithmetic, Tehran, Iran, October 18–22, 2003. Zbl 1094.03004
Enayat, Ali; Kalantari, Iraj; Moniri, Mojtaba
2006
Logic colloquium ’02. Proceedings of the annual European summer meeting of the Association for Symbolic Logic (ASL) and the Colloquium Logicum, Münster, Germany, August 3–11, 2002. Zbl 1093.03003
Chatzidakis, Zoé; Koepke, Peter; Pohlers, Wolfram
2006
The Notre Dame lectures. Zbl 1064.03002
Cholak, Peter
2005
Reverse mathematics 2001. Zbl 1075.03002
Simpson, Stephen G.
2005
Intensionality. Zbl 1075.03001
Kahle, Reinhard
2005
Logicism renewed. Logical foundations for mathematics and computer science. Zbl 1093.03002
Gilmore, Paul C.
2005
Inexhaustibility: A non-exhaustive treatment. Zbl 1094.03001
Franzén, Torkel
2004
Aspects of incompleteness. 2nd ed. Zbl 1036.03002
Lindström, Per
2003
Model theory of stochastic processes. Zbl 1020.60020
Fajardo, Sergio; Keisler, H. Jerome
2002
Reflections on the foundations of mathematics. Essays in honor of Solomon Feferman. Zbl 1001.00020
Sieg, Wilfried; Sommer, Richard; Talcott, Carolyn
2002
Bounded variable logics and counting: a study in finite models. Zbl 0869.03018
Otto, Martin
1997
Aspects of incompleteness. Zbl 0882.03054
Lindström, Per
1997
A general algebraic semantics for sentential logics. Zbl 0865.03054
Font, Josep M.; Jansana, Ramon
1996
The core model iterability problem. Zbl 0864.03035
Steel, John R.
1996
Model theory of fields. Zbl 0911.12005
Marker, D.; Messmer, M.; Pillay, A.
1996
Gödel ’96. Logical foundations of mathematics, computer science and physics – Kurt Gödel’s legacy. Proceedings of a conference, Brno, Czech Republic, August 1996. Zbl 0844.00017
Hájek, Petr
1996
Descriptive set theory and forcing. How to prove theorems about Borel sets the hard way. Zbl 0835.03012
Miller, Arnold W.
1995
Fine structure and iteration trees. Zbl 0805.03042
Mitchell, William J.; Steel, John R.
1994
Recursion theory. Zbl 0789.03039
Shoenfield, Joseph R.
1993
all top 5

#### Cited by 469 Authors

 25 Schindler, Ralf-Dieter 23 Steel, John R. 17 Voutsadakis, George 13 Moraschini, Tommaso 13 Pillay, Anand 12 Simon, Pierre 11 Sargsyan, Grigor 11 Schimmerling, Ernest 10 Kaplan, Itay 9 Chernikov, Artem 9 Conant, Gabriel 9 Font, Josep Maria 9 Jansana, Ramon 9 Shelah, Saharon 8 Herzberg, Frederik S. 8 Kurahashi, Taishi 7 Khan, Mohammed Ali 7 Zeman, Martin 6 Casanovas, Enrique 6 Cubides Kovacsics, Pablo 6 Freitag, James 6 Hieronymi, Philipp 6 Palacín, Daniel 6 Rivieccio, Umberto 6 Sagara, Nobusumi 5 Aguilera, Juan Pablo 5 Cintula, Petr 5 Friedman, Sy-David 5 Grohe, Martin 5 Halevi, Yatir 5 León Sánchez, Omar 5 Mitchell, William John 5 Neeman, Itay 5 Noguera, Carles 5 Onshuus, Alf Angel 5 Otto, Martin 5 Palmigiano, Alessandra 5 Schlicht, Philipp 5 Sun, Yeneng 5 Wagner, Frank Olaf 4 Albeverio, Sergio A. 4 Caicedo, Andrés Eduardo 4 Hasson, Assaf 4 Hauser, Kai 4 Hrushovski, Ehud 4 Jahnke, Franziska 4 Jensen, Ronald Björn 4 Martin, Barnaby D. 4 Montalbán, Antonio 4 Moosa, Rahim N. 4 Müller, Sandra 4 Schlutzenberg, Farmer 4 Simpson, Stephen G. 4 Spinks, Matthew 4 Tent, Katrin 4 Terry, Caroline A. 4 Trang, Nam 4 Walsberg, Erik 4 Zhang, Yongchao 3 Apter, Arthur W. 3 Berarducci, Alessandro 3 Czelakowski, Janusz 3 Ferrarotti, Flavio Antonio 3 Fuchs, Gunter 3 Gitik, Moti 3 Grädel, Erich 3 Ibarlucía, Tomás 3 Kim, Byunghan 3 Koponen, Vera 3 Macpherson, Dugald 3 Martin-Pizarro, Amador 3 Nell, Travis 3 Paoli, Francesco 3 Pigozzi, Don Leonard 3 Point, Françoise 3 Pongrácz, András 3 Rudominer, Mitch 3 Scanlon, Thomas J. 3 Shavrukov, V. Yu. 3 Turull Torres, Jose Maria 3 Walsh, Sean 3 Woodin, W. Hugh 2 Andretta, Alessandro 2 Ben-Yaacov, Itaï 2 Berenstein, Alexander 2 Blass, Andreas Raphael 2 Bonzio, Stefano 2 Bouscaren, Elisabeth 2 Brouette, Quentin 2 Cheng, Yong 2 Cummings, James 2 Cunningham, Daniel Wendell 2 Dean, Walter 2 Delon, Françoise 2 Downey, Rodney Graham 2 Dzik, Wojciech 2 Gannon, Kyle 2 Gehret, Allen 2 Gil-Férez, José 2 Goldberg, Gabriel ...and 369 more Authors
all top 5

#### Cited in 94 Journals

 89 The Journal of Symbolic Logic 71 Annals of Pure and Applied Logic 36 Archive for Mathematical Logic 29 Studia Logica 23 The Bulletin of Symbolic Logic 19 Notre Dame Journal of Formal Logic 18 Israel Journal of Mathematics 17 Transactions of the American Mathematical Society 14 Advances in Mathematics 13 Mathematical Logic Quarterly (MLQ) 13 Journal of Mathematical Logic 10 Proceedings of the American Mathematical Society 8 Journal of Algebra 8 The Review of Symbolic Logic 7 Journal of the European Mathematical Society (JEMS) 6 Selecta Mathematica. New Series 5 Fundamenta Mathematicae 5 Logica Universalis 4 Journal of Mathematical Economics 4 Journal of Philosophical Logic 4 Economic Theory 4 Journal of the Institute of Mathematics of Jussieu 3 Communications in Algebra 3 SIAM Journal on Computing 3 Theoretical Computer Science 3 Topology and its Applications 3 Journal of the American Mathematical Society 3 Bulletin of the American Mathematical Society. New Series 3 Applied Categorical Structures 3 Bulletin des Sciences Mathématiques 3 Theory of Computing Systems 2 Mathematical Proceedings of the Cambridge Philosophical Society 2 The Mathematical Intelligencer 2 Archiv der Mathematik 2 Journal of Pure and Applied Algebra 2 Mathematische Annalen 2 Synthese 2 Graphs and Combinatorics 2 Information and Computation 2 International Journal of Approximate Reasoning 2 Soft Computing 2 Erkenntnis 1 Archive for History of Exact Sciences 1 International Journal of Theoretical Physics 1 Information Processing Letters 1 Journal of Mathematical Analysis and Applications 1 Studia Mathematica 1 Acta Mathematica Vietnamica 1 Algebra Universalis 1 Bulletin of the London Mathematical Society 1 Colloquium Mathematicum 1 Fuzzy Sets and Systems 1 International Journal of Game Theory 1 Journal of Combinatorial Theory. Series B 1 Journal of Computer and System Sciences 1 Journal of Economic Theory 1 Journal of the London Mathematical Society. Second Series 1 Journal für die Reine und Angewandte Mathematik 1 Manuscripta Mathematica 1 Memoirs of the American Mathematical Society 1 Monatshefte für Mathematik 1 Osaka Journal of Mathematics 1 SIAM Journal on Control and Optimization 1 Tohoku Mathematical Journal. Second Series 1 Bulletin of the Section of Logic 1 Moscow University Computational Mathematics and Cybernetics 1 Advances in Applied Mathematics 1 History and Philosophy of Logic 1 Acta Applicandae Mathematicae 1 Order 1 Journal of Complexity 1 Discrete & Computational Geometry 1 SIAM Journal on Discrete Mathematics 1 Indagationes Mathematicae. New Series 1 Annales de la Faculté des Sciences de Toulouse. Mathématiques. Série VI 1 Journal of Applied Non-Classical Logics 1 Journal of Convex Analysis 1 Positivity 1 Journal of Group Theory 1 Annals of Mathematics. Second Series 1 Fundamenta Informaticae 1 Logic and Logical Philosophy 1 Milan Journal of Mathematics 1 Journal of Applied Logic 1 Stochastics 1 Confluentes Mathematici 1 Set-Valued and Variational Analysis 1 Annals of Finance 1 Axiomathes 1 Izvestiya Irkutskogo Gosudarstvennogo Universiteta. Seriya Matematika 1 Forum of Mathematics, Sigma 1 Computability 1 Nôus 1 Proceedings of the American Mathematical Society. Series B
all top 5

#### Cited in 44 Fields

 489 Mathematical logic and foundations (03-XX) 54 Field theory and polynomials (12-XX) 43 Computer science (68-XX) 28 Order, lattices, ordered algebraic structures (06-XX) 26 Group theory and generalizations (20-XX) 24 Combinatorics (05-XX) 23 Measure and integration (28-XX) 22 General topology (54-XX) 20 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 17 Algebraic geometry (14-XX) 13 General algebraic systems (08-XX) 12 Category theory; homological algebra (18-XX) 12 Topological groups, Lie groups (22-XX) 11 Probability theory and stochastic processes (60-XX) 10 General and overarching topics; collections (00-XX) 10 Functional analysis (46-XX) 9 Number theory (11-XX) 8 History and biography (01-XX) 7 Real functions (26-XX) 7 Dynamical systems and ergodic theory (37-XX) 6 Geometry (51-XX) 5 Calculus of variations and optimal control; optimization (49-XX) 4 Associative rings and algebras (16-XX) 4 Several complex variables and analytic spaces (32-XX) 3 Commutative algebra (13-XX) 3 Linear and multilinear algebra; matrix theory (15-XX) 3 Statistics (62-XX) 3 Operations research, mathematical programming (90-XX) 2 Ordinary differential equations (34-XX) 2 Manifolds and cell complexes (57-XX) 2 Quantum theory (81-XX) 1 Nonassociative rings and algebras (17-XX) 1 $$K$$-theory (19-XX) 1 Difference and functional equations (39-XX) 1 Abstract harmonic analysis (43-XX) 1 Integral transforms, operational calculus (44-XX) 1 Operator theory (47-XX) 1 Convex and discrete geometry (52-XX) 1 Differential geometry (53-XX) 1 Algebraic topology (55-XX) 1 Global analysis, analysis on manifolds (58-XX) 1 Mechanics of particles and systems (70-XX) 1 Systems theory; control (93-XX) 1 Mathematics education (97-XX)