# zbMATH — the first resource for mathematics

## Scott, Dana Stewart

Compute Distance To:
 Author ID: scott.dana-s Published as: Scott, D.; Scott, D. S.; Scott, Dana; Scott, Dana S. Homepage: https://www.cs.cmu.edu/~scott/ External Links: MGP · Wikidata · dblp · GND Awards: Turing Award (1976) Member of Collective: the-univalent-foundations-program.
 Documents Indexed: 96 Publications since 1955, including 10 Books
all top 5

#### Co-Authors

 54 single-authored 6 Birkedal, Lars 4 Rosolini, Giuseppe 3 Hofmann, Karl Heinrich 3 Rabin, Michael O. 2 Addison, John T. 2 Awodey, Steve 2 Baaz, Matthias 2 Bauer, Andrej 2 Benzmüller, Christoph Ewald 2 Chang, Chen-Chung 2 Fourman, Michael Paul 2 Gierz, Gerhard 2 Harper, Charles L. jun. 2 Henkin, Leon Albert 2 Keimel, Klaus 2 Lawson, Jimmie Don 2 Mislove, Michael W. 2 Papadimitriou, Christos Harilaos 2 Putnam, Hilary Whitehall 2 Tarski, Alfred 2 van Oosten, Jaap 2 Vaught, Robert L. 1 Bacci, Giorgio 1 Carboni, Aurelio 1 Craig, William 1 Craig, William Lane 1 Finamor, Lucas 1 Frayne, T. 1 Freyd, Peter J. 1 Fritz, Peter 1 Furber, Robert W. J. 1 Gál, I. L. 1 Gunter, Carl A. 1 Helgason, Sigurdur 1 Hoffmann, Rudolf- Eberhard 1 Kalicki, J. 1 Kalicki, Jan 1 Kozen, Dexter C. 1 Krauss, Peter H. 1 Lando, Tamar 1 Lederman, Harvey 1 Liu, Tiankai 1 Mardare, Radu 1 McCarty, Dominic 1 Monk, James Donald 1 Morel, Anne C. 1 Müller, Gert Heinz 1 Mulry, Philip S. 1 Mulvey, Christopher J. 1 Mumford, David Bryant 1 Myhill, John R. 1 Panangaden, Prakash 1 Peters, Alice 1 Plotkin, Gordon D. 1 Rosser, John Barkley 1 Roth, Jean-Pierre 1 Strachey, Christopher 1 Suppes, Patrick
all top 5

#### Serials

 4 Nederlandse Akademie van Wetenschappen. Proceedings. Series A. Indagationes Mathematicae 3 Fundamenta Mathematicae 3 Theoretical Computer Science 3 Proceedings of Symposia in Pure Mathematics 2 The Journal of Symbolic Logic 2 MSCS. Mathematical Structures in Computer Science 2 Lecture Notes in Mathematics 1 Colloquium Mathematicum 1 Compositio Mathematica 1 Journal of Computer and System Sciences 1 Journal of Mathematical Psychology 1 Journal of Philosophical Logic 1 Kiberneticheskiĭ Sbornik. Novaya Seriya 1 Mathematical Systems Theory 1 Proceedings of the London Mathematical Society. Third Series 1 SIAM Journal on Computing 1 Synthese 1 Transactions of the American Mathematical Society 1 Information and Computation 1 Journal of Automated Reasoning 1 Economics Letters 1 Communications of the ACM 1 IBM Journal of Research and Development 1 Notices of the American Mathematical Society 1 The Bulletin of Symbolic Logic 1 Higher-Order and Symbolic Computation 1 Journal of Applied Logic 1 Bulletin de l’Académie Polonaise des Sciences, Série des Sciences Mathématiques, Astronomiques et Physiques 1 Journal of Mathematics and Physics 1 Encyclopedia of Mathematics and Its Applications 1 Electronic Notes in Theoretical Computer Science 1 The Review of Symbolic Logic
all top 5

#### Fields

 52 Mathematical logic and foundations (03-XX) 23 Computer science (68-XX) 12 Category theory; homological algebra (18-XX) 9 General and overarching topics; collections (00-XX) 9 Order, lattices, ordered algebraic structures (06-XX) 8 General topology (54-XX) 7 History and biography (01-XX) 1 Algebraic geometry (14-XX) 1 Topological groups, Lie groups (22-XX) 1 Measure and integration (28-XX) 1 Algebraic topology (55-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX)

#### Citations contained in zbMATH Open

72 Publications have been cited 3,047 times in 2,662 Documents Cited by Year
A compendium of continuous lattices. Zbl 0452.06001
Gierz, G.; Hofmann, Karl Heinrich; Keimel, K.; Lawson, J. D.; Mislove, M.; Scott, D. S.
1980
Continuous lattices and domains. Zbl 1088.06001
Gierz, Gerhard; Hofmann, Karl; Keimel, Klaus; Lawson, Jimmie; Mislove, Michael; Scott, Dana S.
2003
Finite automata and their decision problems. Zbl 0158.25404
Rabin, M. O.; Scott, D.
1959
Data types as lattices. Zbl 0337.02018
Scott, Dana
1976
Foundational aspects of theories of measurement. Zbl 0084.24603
Scott, Dana; Suppes, Patrick
1959
Measurement structures and linear inequalities. Zbl 0129.12102
Scott, Dana
1964
Domains for denotational semantics. Zbl 0495.68025
Scott, Dana S.
1982
Sheaves and logic. Zbl 0415.03053
Fourman, M. P.; Scott, D. S.
1979
Continuous lattices. Zbl 0239.54006
Scott, Dana
1972
Toward a mathematical semantics for computer languages. Zbl 0268.68004
Scott, Dana; Strachey, Christopher
1971
Semantic domains. Zbl 0900.68301
Gunter, C. A.; Scott, Dana S.
1990
Reduced direct products. Zbl 0108.00501
Frayne, T.; Morel, A. C.; Scott, D. S.
1963
A type-theoretical alternative to ISWIM, CUCH, OWHY. Zbl 0942.68522
Scott, Dana S.
1993
Completeness and axiomatizability in many-valued logic. Zbl 0318.02021
Scott, Dana
1974
Measurable cardinals and constructible sets. Zbl 0154.00702
Scott, D.
1961
Some definitional suggestions for automata theory. Zbl 0164.32103
Scott, D.
1967
Assigning probabilities to logical formulas. Zbl 0202.29905
Scott, D.; Krauss, P.
1966
Logic with denumerably long formulas and finite strings of quantifiers. Zbl 0166.26003
Scott, Dana
1965
Advice on modal logic. Zbl 0295.02013
Scott, Dana
1970
Equilogical spaces. Zbl 1059.18004
Bauer, Andrej; Birkedal, Lars; Scott, Dana S.
2004
Equational completeness of abstract algebras. Zbl 0073.24501
Kalicki, Jan; Scott, Dana
1955
The lattice of flow diagrams. Zbl 0228.68016
Scott, Dana
1971
Outline of a mathematical theory of computation. Zbl 0419.68076
Scott, D.
1977
Type theory via exact categories. (Extended abstract). Zbl 0945.03542
Birkedal, L.; Carboni, A.; Rosolini, G.; Scott, D. S.
1998
A proof of the independence of the continuum hypothesis. Zbl 0149.25302
Scott, D.
1967
Algebras of sets binumerable in complete extensions of arithmetic. Zbl 0199.02601
Scott, D.
1962
Identity and existence in intuitionistic logic. Zbl 0418.03016
Scott, Dana
1979
Lectures on a mathematical theory of computation. Zbl 0516.68064
Scott, Dana S.
1982
Rules and derived rules. Zbl 0296.02012
Scott, Dana
1974
Extending the topological interpretation to intuitionistic analysis. Zbl 0197.00201
Scott, Dana
1968
Lattice theory, data types and semantics. Zbl 0279.68042
Scott, Dana
1972
Ordinal definability. Zbl 0226.02048
Myhill, John; Scott, Dana
1971
Lambda calculus: Some models, some philosophy. Zbl 0515.03004
Scott, Dana
1980
Some ordered sets in computer science. Zbl 0497.06001
Scott, Dana S.
1982
Applications of sheaves. Proceedings of the research symposium on applications of sheaf theory to logic, algebra and analysis, Durham, July 9–21, 1977. Zbl 0407.00001
Fourman, M. P. (ed.); Mulvey, C. J. (ed.); Scott, D. S. (ed.)
1979
Data types as lattices. Zbl 0322.02024
Scott, Dana
1975
Lambda calculus and recursion theory. (Preliminary version.). Zbl 0322.02023
Scott, Dana
1975
Extensional PERs. Zbl 0762.18006
Freyd, P.; Mulry, P.; Rosolini, G.; Scott, D.
1992
The sentential calculus with infinitely long expressions. Zbl 0119.25002
Scott, D.; Tarski, A.
1958
Equationally complete extensions of finite algebras. Zbl 0073.24602
Scott, Dana
1956
Some philosophical issues concerning theories of combinators. Zbl 0342.02019
Scott, Dana
1975
Constructive validity. Zbl 0206.28402
Scott, D.
1970
Boolean models and nonstandard analysis. Zbl 0187.27101
Scott, D.
1969
The independence of certain distributive laws in Boolean algebras. Zbl 0092.03401
Scott, Dana
1957
Local realizability toposes and a modal logic for computability. Zbl 1007.03057
Awodey, Steven; Birkedal, Lars; Scott, Dana S.
2002
Local realizability toposes and a modal logic for computability. (Extended abstract). Zbl 0959.03504
Awodey, Steven; Birkedal, Lars; Scott, Dana S.
1999
Combinators and classes. Zbl 0342.02018
Scott, Dana
1975
Axiomatizing set theory. Zbl 0319.02061
Scott, Dana
1974
Completeness and axiomatizability in many-valued logic. Zbl 1288.03021
Scott, Dana
2012
Logic and programming languages. Zbl 0355.68019
Scott, Dana S.
1977
On completing ordered fields. Zbl 0188.32202
Scott, D.
1969
Additions to some results of Erdős and Tarski. Zbl 0173.00803
Monk, J. Donald; Scott, D.
1964
Quine’s individuals. Zbl 0151.00904
Scott, D.
1962
A symmetric primitive notion for Euclidean geometry. Zbl 0072.15502
Scott, Dana
1956
Stochastic $$\lambda$$-calculi: an extended abstract. Zbl 1352.03020
Scott, Dana S.
2014
The algebraic interpretation of quantifiers: intuitionistic and classical. Zbl 1150.03019
Scott, Dana S.
2008
Background to formalization. Zbl 0277.02003
Scott, Dana S.
1973
Invariant Borel sets. Zbl 0152.21304
Scott, Dana
1964
On a theorem of Rabin. Zbl 0173.00604
Scott, D.
1960
Reconsidering ordered pairs. Zbl 1171.03028
Scott, Dana; McCarty, Dominic
2008
Proceedings of the Tarski symposium. An international symposium held to honor Alfred Tarski on the occasion of his seventieth birthday. Held at the University of California, Berkeley, June 23-30, 1971. Zbl 0291.00009
Henkin, Leon (ed.); Addison, John (ed.); Chang, C. C. (ed.); Craig, William (ed.); Scott, Dana (ed.); Vaught, Robert (ed.)
1974
Extending the topological interpretation to intuitionistic analysis. II. Zbl 0213.01203
Scott, D.
1970
A calculus of regions respecting both measure and topology. Zbl 1457.28001
Lando, Tamar; Scott, Dana
2019
Automating free logic in Isabelle/HOL. Zbl 1434.68638
Benzmüller, Christoph; Scott, Dana
2016
Kurt Gödel and the foundations of mathematics. Horizons of truth. Zbl 1253.00009
Baaz, Matthias (ed.); Papadimitriou, Christos H. (ed.); Putnam, Hilary W. (ed.); Scott, Dana S. (ed.); Harper, Charles L. jun. (ed.)
2011
A note on distributive normal forms. Zbl 0452.03005
Scott, Dana
1979
Semantical archaeology: A parable. Zbl 0211.01002
Scott, D. (ed.)
1970
More on the axiom of extensionality. Zbl 0199.01403
Scott, Dana
1962
Completeness proofs for the intuitionistic sentential calculus. Zbl 0201.32403
Scott, D.
1960
Remarks on finite automata. Zbl 0158.00906
Rabin, M.; Scott, D.
1960
Dimension in elementary Euclidean geometry. Zbl 0092.13704
Scott, Dana
1959
A vector method for solving linear equations and inverting matrices. Zbl 0074.10702
Roth, J. P.; Scott, D. S.
1956
A calculus of regions respecting both measure and topology. Zbl 1457.28001
Lando, Tamar; Scott, Dana
2019
Automating free logic in Isabelle/HOL. Zbl 1434.68638
Benzmüller, Christoph; Scott, Dana
2016
Stochastic $$\lambda$$-calculi: an extended abstract. Zbl 1352.03020
Scott, Dana S.
2014
Completeness and axiomatizability in many-valued logic. Zbl 1288.03021
Scott, Dana
2012
Kurt Gödel and the foundations of mathematics. Horizons of truth. Zbl 1253.00009
Baaz, Matthias (ed.); Papadimitriou, Christos H. (ed.); Putnam, Hilary W. (ed.); Scott, Dana S. (ed.); Harper, Charles L. jun. (ed.)
2011
The algebraic interpretation of quantifiers: intuitionistic and classical. Zbl 1150.03019
Scott, Dana S.
2008
Reconsidering ordered pairs. Zbl 1171.03028
Scott, Dana; McCarty, Dominic
2008
Equilogical spaces. Zbl 1059.18004
Bauer, Andrej; Birkedal, Lars; Scott, Dana S.
2004
Continuous lattices and domains. Zbl 1088.06001
Gierz, Gerhard; Hofmann, Karl; Keimel, Klaus; Lawson, Jimmie; Mislove, Michael; Scott, Dana S.
2003
Local realizability toposes and a modal logic for computability. Zbl 1007.03057
Awodey, Steven; Birkedal, Lars; Scott, Dana S.
2002
Local realizability toposes and a modal logic for computability. (Extended abstract). Zbl 0959.03504
Awodey, Steven; Birkedal, Lars; Scott, Dana S.
1999
Type theory via exact categories. (Extended abstract). Zbl 0945.03542
Birkedal, L.; Carboni, A.; Rosolini, G.; Scott, D. S.
1998
A type-theoretical alternative to ISWIM, CUCH, OWHY. Zbl 0942.68522
Scott, Dana S.
1993
Extensional PERs. Zbl 0762.18006
Freyd, P.; Mulry, P.; Rosolini, G.; Scott, D.
1992
Semantic domains. Zbl 0900.68301
Gunter, C. A.; Scott, Dana S.
1990
Domains for denotational semantics. Zbl 0495.68025
Scott, Dana S.
1982
Lectures on a mathematical theory of computation. Zbl 0516.68064
Scott, Dana S.
1982
Some ordered sets in computer science. Zbl 0497.06001
Scott, Dana S.
1982
A compendium of continuous lattices. Zbl 0452.06001
Gierz, G.; Hofmann, Karl Heinrich; Keimel, K.; Lawson, J. D.; Mislove, M.; Scott, D. S.
1980
Lambda calculus: Some models, some philosophy. Zbl 0515.03004
Scott, Dana
1980
Sheaves and logic. Zbl 0415.03053
Fourman, M. P.; Scott, D. S.
1979
Identity and existence in intuitionistic logic. Zbl 0418.03016
Scott, Dana
1979
Applications of sheaves. Proceedings of the research symposium on applications of sheaf theory to logic, algebra and analysis, Durham, July 9–21, 1977. Zbl 0407.00001
Fourman, M. P. (ed.); Mulvey, C. J. (ed.); Scott, D. S. (ed.)
1979
A note on distributive normal forms. Zbl 0452.03005
Scott, Dana
1979
Outline of a mathematical theory of computation. Zbl 0419.68076
Scott, D.
1977
Logic and programming languages. Zbl 0355.68019
Scott, Dana S.
1977
Data types as lattices. Zbl 0337.02018
Scott, Dana
1976
Data types as lattices. Zbl 0322.02024
Scott, Dana
1975
Lambda calculus and recursion theory. (Preliminary version.). Zbl 0322.02023
Scott, Dana
1975
Some philosophical issues concerning theories of combinators. Zbl 0342.02019
Scott, Dana
1975
Combinators and classes. Zbl 0342.02018
Scott, Dana
1975
Completeness and axiomatizability in many-valued logic. Zbl 0318.02021
Scott, Dana
1974
Rules and derived rules. Zbl 0296.02012
Scott, Dana
1974
Axiomatizing set theory. Zbl 0319.02061
Scott, Dana
1974
Proceedings of the Tarski symposium. An international symposium held to honor Alfred Tarski on the occasion of his seventieth birthday. Held at the University of California, Berkeley, June 23-30, 1971. Zbl 0291.00009
Henkin, Leon (ed.); Addison, John (ed.); Chang, C. C. (ed.); Craig, William (ed.); Scott, Dana (ed.); Vaught, Robert (ed.)
1974
Background to formalization. Zbl 0277.02003
Scott, Dana S.
1973
Continuous lattices. Zbl 0239.54006
Scott, Dana
1972
Lattice theory, data types and semantics. Zbl 0279.68042
Scott, Dana
1972
Toward a mathematical semantics for computer languages. Zbl 0268.68004
Scott, Dana; Strachey, Christopher
1971
The lattice of flow diagrams. Zbl 0228.68016
Scott, Dana
1971
Ordinal definability. Zbl 0226.02048
Myhill, John; Scott, Dana
1971
Advice on modal logic. Zbl 0295.02013
Scott, Dana
1970
Constructive validity. Zbl 0206.28402
Scott, D.
1970
Extending the topological interpretation to intuitionistic analysis. II. Zbl 0213.01203
Scott, D.
1970
Semantical archaeology: A parable. Zbl 0211.01002
Scott, D. (ed.)
1970
Boolean models and nonstandard analysis. Zbl 0187.27101
Scott, D.
1969
On completing ordered fields. Zbl 0188.32202
Scott, D.
1969
Extending the topological interpretation to intuitionistic analysis. Zbl 0197.00201
Scott, Dana
1968
Some definitional suggestions for automata theory. Zbl 0164.32103
Scott, D.
1967
A proof of the independence of the continuum hypothesis. Zbl 0149.25302
Scott, D.
1967
Assigning probabilities to logical formulas. Zbl 0202.29905
Scott, D.; Krauss, P.
1966
Logic with denumerably long formulas and finite strings of quantifiers. Zbl 0166.26003
Scott, Dana
1965
Measurement structures and linear inequalities. Zbl 0129.12102
Scott, Dana
1964
Additions to some results of Erdős and Tarski. Zbl 0173.00803
Monk, J. Donald; Scott, D.
1964
Invariant Borel sets. Zbl 0152.21304
Scott, Dana
1964
Reduced direct products. Zbl 0108.00501
Frayne, T.; Morel, A. C.; Scott, D. S.
1963
Algebras of sets binumerable in complete extensions of arithmetic. Zbl 0199.02601
Scott, D.
1962
Quine’s individuals. Zbl 0151.00904
Scott, D.
1962
More on the axiom of extensionality. Zbl 0199.01403
Scott, Dana
1962
Measurable cardinals and constructible sets. Zbl 0154.00702
Scott, D.
1961
On a theorem of Rabin. Zbl 0173.00604
Scott, D.
1960
Completeness proofs for the intuitionistic sentential calculus. Zbl 0201.32403
Scott, D.
1960
Remarks on finite automata. Zbl 0158.00906
Rabin, M.; Scott, D.
1960
Finite automata and their decision problems. Zbl 0158.25404
Rabin, M. O.; Scott, D.
1959
Foundational aspects of theories of measurement. Zbl 0084.24603
Scott, Dana; Suppes, Patrick
1959
Dimension in elementary Euclidean geometry. Zbl 0092.13704
Scott, Dana
1959
The sentential calculus with infinitely long expressions. Zbl 0119.25002
Scott, D.; Tarski, A.
1958
The independence of certain distributive laws in Boolean algebras. Zbl 0092.03401
Scott, Dana
1957
Equationally complete extensions of finite algebras. Zbl 0073.24602
Scott, Dana
1956
A symmetric primitive notion for Euclidean geometry. Zbl 0072.15502
Scott, Dana
1956
A vector method for solving linear equations and inverting matrices. Zbl 0074.10702
Roth, J. P.; Scott, D. S.
1956
Equational completeness of abstract algebras. Zbl 0073.24501
Kalicki, Jan; Scott, Dana
1955
all top 5

#### Cited by 2,426 Authors

 38 Li, Qingguo 37 Fishburn, Peter Clingerman 33 Zhang, Dexue 28 Erné, Marcel 25 Shi, Fu-Gui 24 Lawson, Jimmie Don 22 Xi, Xiaoyong 21 Keimel, Klaus 21 Xu, Luoshan 21 Xu, Xiaoquan 20 Kubiak, Tomasz 19 Höhle, Ulrich 19 Solovyov, Sergey A. 18 Induráin, Esteban 18 Zhao, Dongsheng 17 Jirásková, Galina 16 Jung, Achim 15 Gutiérrez García, Javier 15 Kou, Hui 15 Zhao, Bin 14 Brown, Lawrence Michael 14 Hötzel Escardó, Martín 14 Luo, Maokang 13 Edalat, Abbas 13 Hofmann, Dirk 13 Kutrib, Martin 13 Plotkin, Gordon D. 12 Holzer, Markus 12 Kopperman, Ralph D. 12 Pultr, Aleš 12 Šostak, Alexander P. 12 Valero, Oscar 11 Bouyssou, Denis 11 Dezani-Ciancaglini, Mariangiola 11 Guo, Lankun 11 Jäger, Gunther 11 Liu, Yingming 11 Mislove, Michael W. 11 Romaguera Bonilla, Salvador 11 Yao, Wei 10 Engelfriet, Joost 10 Pighizzini, Giovanni 10 Roberts, Fred S. 10 Vogler, Heiko 9 Bezhanishvili, Guram 9 de Prada Vicente, María Angeles 9 Geffert, Viliam 9 Kudri, Soraya R. T. 9 Lai, Hongliang 9 Li, Shenggang 9 Paseka, Jan 9 Priestley, Hilary A. 9 Rosolini, Giuseppe 9 Spreen, Dieter 9 Yildiz, Filiz 9 Zhang, Wenfeng 8 Campión, María Jesús 8 Coquand, Thierry 8 Estevan, Asier 8 Hofmann, Karl Heinrich 8 Künzi, Hans-Peter A. 8 Longo, Giuseppe 8 Mardones-Pérez, Iraide 8 Moshier, M. Andrew 8 Santos, Eugene S. 8 Vardi, Moshe Y. 8 Warner, Mary Wynne 8 Zhang, Guo-Qiang 7 Candeal, Juan Carlos 7 Chen, Yixiang 7 Doignon, Jean-Paul 7 Ertürk, Rıza 7 Georgiou, Dimitrios N. 7 Goubault-Larrecq, Jean 7 Gunter, Carl A. 7 Harding, John 7 Ho, Weng Kin 7 Humberstone, Lloyd 7 Mao, Xuxin 7 Meseguer Guaita, José 7 Schellekens, Michel P. 7 Schröder, Matthias 7 Scott, Dana Stewart 7 Selivanov, Viktor L’vovich 7 Simpson, Stephen G. 7 Smyth, Michael B. 7 Streicher, Thomas 7 Suppes, Patrick 7 Trenk, Ann N. 7 Zhang, Zhongxi 6 Abbes, Samy 6 Adámek, Jiří 6 Alessi, Fabio 6 Berger, Ulrich 6 Cagliari, Francesca 6 Choffrut, Christian 6 Constable, Robert Lee 6 Culik, Karel II 6 Droste, Manfred 6 Falmagne, Jean-Claude ...and 2,326 more Authors
all top 5

#### Cited in 281 Serials

 341 Theoretical Computer Science 221 Fuzzy Sets and Systems 136 Topology and its Applications 107 Annals of Pure and Applied Logic 86 Journal of Mathematical Psychology 78 Information and Computation 73 Journal of Computer and System Sciences 51 Journal of Pure and Applied Algebra 48 Algebra Universalis 45 Semigroup Forum 43 Studia Logica 43 Order 43 MSCS. Mathematical Structures in Computer Science 42 Applied Categorical Structures 36 Information Sciences 29 Journal of Philosophical Logic 28 Transactions of the American Mathematical Society 24 Information Processing Letters 24 Mathematical Social Sciences 20 Acta Informatica 20 Journal of Mathematical Analysis and Applications 20 Synthese 19 Mathematical Systems Theory 19 International Journal of Approximate Reasoning 19 Archive for Mathematical Logic 18 Discrete Mathematics 18 Notre Dame Journal of Formal Logic 17 The Journal of Symbolic Logic 16 Theory and Decision 16 Journal of Applied Logic 15 Advances in Mathematics 15 Journal of Algebra 15 Logical Methods in Computer Science 14 Artificial Intelligence 14 Algebra and Logic 14 Soft Computing 13 Cahiers de Topologie et Géométrie Différentielle Catégoriques 13 Kybernetika 13 Proceedings of the American Mathematical Society 11 Discrete Applied Mathematics 11 Iranian Journal of Fuzzy Systems 10 Israel Journal of Mathematics 10 Journal of Mathematical Economics 10 Quaestiones Mathematicae 10 Mathematical Logic Quarterly (MLQ) 9 Archiv für Mathematische Logik und Grundlagenforschung 9 The Review of Symbolic Logic 8 Archiv der Mathematik 8 Journal of Economic Theory 8 Siberian Mathematical Journal 8 Journal of Automated Reasoning 8 RAIRO. Informatique Théorique et Applications 8 Indagationes Mathematicae. New Series 7 International Journal of Theoretical Physics 7 Psychometrika 7 Mathematische Zeitschrift 7 Acta Mathematica Sinica. English Series 7 Cahiers de Topologie et Géométrie Différentielle Catégoriques 7 Bulletin of the American Mathematical Society 7 RAIRO. Theoretical Informatics and Applications 6 Czechoslovak Mathematical Journal 6 Mathematica Slovaca 6 Publications of the Research Institute for Mathematical Sciences, Kyoto University 6 RAIRO, Informatique Théorique 6 Cybernetics 6 Formal Aspects of Computing 6 European Journal of Operational Research 6 Journal of Functional Programming 6 RAIRO. Theoretical Informatics and Applications 6 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 6 The Journal of Logic and Algebraic Programming 6 Journal of Logical and Algebraic Methods in Programming 5 Mathematical Notes 5 International Journal of Mathematics and Mathematical Sciences 5 Journal of Combinatorial Theory. Series A 5 Journal of Applied Non-Classical Logics 5 Topology Proceedings 5 The Bulletin of Symbolic Logic 5 Theory of Computing Systems 5 Abstract and Applied Analysis 5 Logic and Logical Philosophy 5 Journal of Intelligent and Fuzzy Systems 5 Open Mathematics 4 Communications in Algebra 4 Computers & Mathematics with Applications 4 Automatica 4 Compositio Mathematica 4 Computing 4 International Journal of Computer & Information Sciences 4 Programming and Computer Software 4 Rendiconti del Seminario Matematico della Università di Padova 4 SIAM Journal on Algebraic and Discrete Methods 4 Annals of Operations Research 4 International Journal of Foundations of Computer Science 4 Games and Economic Behavior 4 International Journal of Computer Mathematics 4 Linear Algebra and its Applications 4 Cybernetics and Systems Analysis 4 Economic Theory 4 Logica Universalis ...and 181 more Serials
all top 5

#### Cited in 51 Fields

 966 Computer science (68-XX) 856 Mathematical logic and foundations (03-XX) 795 Order, lattices, ordered algebraic structures (06-XX) 595 General topology (54-XX) 369 Category theory; homological algebra (18-XX) 180 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 100 General algebraic systems (08-XX) 65 Group theory and generalizations (20-XX) 63 Probability theory and stochastic processes (60-XX) 48 Functional analysis (46-XX) 40 Combinatorics (05-XX) 31 Topological groups, Lie groups (22-XX) 29 Measure and integration (28-XX) 27 Statistics (62-XX) 24 Operations research, mathematical programming (90-XX) 23 History and biography (01-XX) 23 Quantum theory (81-XX) 22 Associative rings and algebras (16-XX) 21 Algebraic topology (55-XX) 20 Real functions (26-XX) 20 Information and communication theory, circuits (94-XX) 16 Convex and discrete geometry (52-XX) 12 Commutative algebra (13-XX) 11 Systems theory; control (93-XX) 10 Geometry (51-XX) 9 General and overarching topics; collections (00-XX) 9 Number theory (11-XX) 9 Algebraic geometry (14-XX) 9 Operator theory (47-XX) 8 Manifolds and cell complexes (57-XX) 7 Dynamical systems and ergodic theory (37-XX) 7 Numerical analysis (65-XX) 7 Biology and other natural sciences (92-XX) 6 Linear and multilinear algebra; matrix theory (15-XX) 6 Calculus of variations and optimal control; optimization (49-XX) 6 Differential geometry (53-XX) 5 Approximations and expansions (41-XX) 5 Relativity and gravitational theory (83-XX) 4 Nonassociative rings and algebras (17-XX) 3 Field theory and polynomials (12-XX) 3 $$K$$-theory (19-XX) 2 Abstract harmonic analysis (43-XX) 1 Functions of a complex variable (30-XX) 1 Potential theory (31-XX) 1 Ordinary differential equations (34-XX) 1 Difference and functional equations (39-XX) 1 Integral transforms, operational calculus (44-XX) 1 Global analysis, analysis on manifolds (58-XX) 1 Classical thermodynamics, heat transfer (80-XX) 1 Statistical mechanics, structure of matter (82-XX) 1 Mathematics education (97-XX)

#### Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.