Edit Profile Scott, Dana Stewart Compute Distance To: Compute 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: 95 Publications since 1955, including 10 Books all top 5 Co-Authors 54 single-authored 6 Birkedal, Lars 4 Rosolini, Giuseppe 3 Hofmann, Karl Heinrich 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 Rabin, Michael O. 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 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) 22 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) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 72 Publications have been cited 3,025 times in 2,644 Documents Cited by ▼ Year ▼ A compendium of continuous lattices. Zbl 0452.06001Gierz, G.; Hofmann, Karl Heinrich; Keimel, K.; Lawson, J. D.; Mislove, M.; Scott, D. S. 600 1980 Continuous lattices and domains. Zbl 1088.06001Gierz, Gerhard; Hofmann, Karl; Keimel, Klaus; Lawson, Jimmie; Mislove, Michael; Scott, Dana S. 515 2003 Finite automata and their decision problems. Zbl 0158.25404Rabin, M. O.; Scott, D. 310 1959 Data types as lattices. Zbl 0337.02018Scott, Dana 188 1976 Foundational aspects of theories of measurement. Zbl 0084.24603Scott, Dana; Suppes, Patrick 180 1959 Measurement structures and linear inequalities. Zbl 0129.12102Scott, Dana 137 1964 Domains for denotational semantics. Zbl 0495.68025Scott, Dana S. 112 1982 Sheaves and logic. Zbl 0415.03053Fourman, M. P.; Scott, D. S. 87 1979 Continuous lattices. Zbl 0239.54006Scott, Dana 87 1972 Toward a mathematical semantics for computer languages. Zbl 0268.68004Scott, Dana; Strachey, Christopher 62 1971 Semantic domains. Zbl 0900.68301Gunter, C. A.; Scott, Dana S. 51 1990 Reduced direct products. Zbl 0108.00501Frayne, T.; Morel, A. C.; Scott, D. S. 48 1963 A type-theoretical alternative to ISWIM, CUCH, OWHY. Zbl 0942.68522Scott, Dana S. 44 1993 Completeness and axiomatizability in many-valued logic. Zbl 0318.02021Scott, Dana 44 1974 Some definitional suggestions for automata theory. Zbl 0164.32103Scott, D. 34 1967 Assigning probabilities to logical formulas. Zbl 0202.29905Scott, D.; Krauss, P. 33 1966 Measurable cardinals and constructible sets. Zbl 0154.00702Scott, D. 33 1961 Logic with denumerably long formulas and finite strings of quantifiers. Zbl 0166.26003Scott, Dana 30 1965 Advice on modal logic. Zbl 0295.02013Scott, Dana 27 1970 Equilogical spaces. Zbl 1059.18004Bauer, Andrej; Birkedal, Lars; Scott, Dana S. 26 2004 Equational completeness of abstract algebras. Zbl 0073.24501Kalicki, Jan; Scott, Dana 25 1955 The lattice of flow diagrams. Zbl 0228.68016Scott, Dana 23 1971 Outline of a mathematical theory of computation. Zbl 0419.68076Scott, D. 22 1977 Type theory via exact categories. (Extended abstract). Zbl 0945.03542Birkedal, L.; Carboni, A.; Rosolini, G.; Scott, D. S. 20 1998 A proof of the independence of the continuum hypothesis. Zbl 0149.25302Scott, D. 20 1967 Algebras of sets binumerable in complete extensions of arithmetic. Zbl 0199.02601Scott, D. 19 1962 Identity and existence in intuitionistic logic. Zbl 0418.03016Scott, Dana 16 1979 Lectures on a mathematical theory of computation. Zbl 0516.68064Scott, Dana S. 15 1982 Rules and derived rules. Zbl 0296.02012Scott, Dana 14 1974 Extending the topological interpretation to intuitionistic analysis. Zbl 0197.00201Scott, Dana 14 1968 Lattice theory, data types and semantics. Zbl 0279.68042Scott, Dana 11 1972 Ordinal definability. Zbl 0226.02048Myhill, John; Scott, Dana 11 1971 Some ordered sets in computer science. Zbl 0497.06001Scott, Dana S. 9 1982 Lambda calculus: Some models, some philosophy. Zbl 0515.03004Scott, Dana 9 1980 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.00001Fourman, M. P. (ed.); Mulvey, C. J. (ed.); Scott, D. S. (ed.) 9 1979 Data types as lattices. Zbl 0322.02024Scott, Dana 9 1975 Lambda calculus and recursion theory. (Preliminary version.). Zbl 0322.02023Scott, Dana 9 1975 Extensional PERs. Zbl 0762.18006Freyd, P.; Mulry, P.; Rosolini, G.; Scott, D. 8 1992 The sentential calculus with infinitely long expressions. Zbl 0119.25002Scott, D.; Tarski, A. 8 1958 Equationally complete extensions of finite algebras. Zbl 0073.24602Scott, Dana 7 1956 Some philosophical issues concerning theories of combinators. Zbl 0342.02019Scott, Dana 6 1975 Constructive validity. Zbl 0206.28402Scott, D. 6 1970 Boolean models and nonstandard analysis. Zbl 0187.27101Scott, D. 6 1969 The independence of certain distributive laws in Boolean algebras. Zbl 0092.03401Scott, Dana 6 1957 Local realizability toposes and a modal logic for computability. Zbl 1007.03057Awodey, Steven; Birkedal, Lars; Scott, Dana S. 5 2002 Local realizability toposes and a modal logic for computability. (Extended abstract). Zbl 0959.03504Awodey, Steven; Birkedal, Lars; Scott, Dana S. 5 1999 Combinators and classes. Zbl 0342.02018Scott, Dana 5 1975 Axiomatizing set theory. Zbl 0319.02061Scott, Dana 5 1974 Completeness and axiomatizability in many-valued logic. Zbl 1288.03021Scott, Dana 4 2012 Logic and programming languages. Zbl 0355.68019Scott, Dana S. 4 1977 On completing ordered fields. Zbl 0188.32202Scott, D. 4 1969 Additions to some results of Erdős and Tarski. Zbl 0173.00803Monk, J. Donald; Scott, D. 4 1964 Quine’s individuals. Zbl 0151.00904Scott, D. 4 1962 A symmetric primitive notion for Euclidean geometry. Zbl 0072.15502Scott, Dana 4 1956 Stochastic \(\lambda\)-calculi: an extended abstract. Zbl 1352.03020Scott, Dana S. 3 2014 The algebraic interpretation of quantifiers: intuitionistic and classical. Zbl 1150.03019Scott, Dana S. 3 2008 Background to formalization. Zbl 0277.02003Scott, Dana S. 3 1973 Invariant Borel sets. Zbl 0152.21304Scott, Dana 3 1964 On a theorem of Rabin. Zbl 0173.00604Scott, D. 3 1960 Reconsidering ordered pairs. Zbl 1171.03028Scott, Dana; McCarty, Dominic 2 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.00009Henkin, Leon (ed.); Addison, John (ed.); Chang, C. C. (ed.); Craig, William (ed.); Scott, Dana (ed.); Vaught, Robert (ed.) 2 1974 Extending the topological interpretation to intuitionistic analysis. II. Zbl 0213.01203Scott, D. 2 1970 A calculus of regions respecting both measure and topology. Zbl 07146103Lando, Tamar; Scott, Dana 1 2019 Automating free logic in Isabelle/HOL. Zbl 1434.68638Benzmüller, Christoph; Scott, Dana 1 2016 Kurt Gödel and the foundations of mathematics. Horizons of truth. Zbl 1253.00009Baaz, Matthias (ed.); Papadimitriou, Christos H. (ed.); Putnam, Hilary W. (ed.); Scott, Dana S. (ed.); Harper, Charles L. jun. (ed.) 1 2011 A note on distributive normal forms. Zbl 0452.03005Scott, Dana 1 1979 Semantical archaeology: A parable. Zbl 0211.01002Scott, D. (ed.) 1 1970 More on the axiom of extensionality. Zbl 0199.01403Scott, Dana 1 1962 Completeness proofs for the intuitionistic sentential calculus. Zbl 0201.32403Scott, D. 1 1960 Remarks on finite automata. Zbl 0158.00906Rabin, M.; Scott, D. 1 1960 Dimension in elementary Euclidean geometry. Zbl 0092.13704Scott, Dana 1 1959 A vector method for solving linear equations and inverting matrices. Zbl 0074.10702Roth, J. P.; Scott, D. S. 1 1956 A calculus of regions respecting both measure and topology. Zbl 07146103Lando, Tamar; Scott, Dana 1 2019 Automating free logic in Isabelle/HOL. Zbl 1434.68638Benzmüller, Christoph; Scott, Dana 1 2016 Stochastic \(\lambda\)-calculi: an extended abstract. Zbl 1352.03020Scott, Dana S. 3 2014 Completeness and axiomatizability in many-valued logic. Zbl 1288.03021Scott, Dana 4 2012 Kurt Gödel and the foundations of mathematics. Horizons of truth. Zbl 1253.00009Baaz, Matthias (ed.); Papadimitriou, Christos H. (ed.); Putnam, Hilary W. (ed.); Scott, Dana S. (ed.); Harper, Charles L. jun. (ed.) 1 2011 The algebraic interpretation of quantifiers: intuitionistic and classical. Zbl 1150.03019Scott, Dana S. 3 2008 Reconsidering ordered pairs. Zbl 1171.03028Scott, Dana; McCarty, Dominic 2 2008 Equilogical spaces. Zbl 1059.18004Bauer, Andrej; Birkedal, Lars; Scott, Dana S. 26 2004 Continuous lattices and domains. Zbl 1088.06001Gierz, Gerhard; Hofmann, Karl; Keimel, Klaus; Lawson, Jimmie; Mislove, Michael; Scott, Dana S. 515 2003 Local realizability toposes and a modal logic for computability. Zbl 1007.03057Awodey, Steven; Birkedal, Lars; Scott, Dana S. 5 2002 Local realizability toposes and a modal logic for computability. (Extended abstract). Zbl 0959.03504Awodey, Steven; Birkedal, Lars; Scott, Dana S. 5 1999 Type theory via exact categories. (Extended abstract). Zbl 0945.03542Birkedal, L.; Carboni, A.; Rosolini, G.; Scott, D. S. 20 1998 A type-theoretical alternative to ISWIM, CUCH, OWHY. Zbl 0942.68522Scott, Dana S. 44 1993 Extensional PERs. Zbl 0762.18006Freyd, P.; Mulry, P.; Rosolini, G.; Scott, D. 8 1992 Semantic domains. Zbl 0900.68301Gunter, C. A.; Scott, Dana S. 51 1990 Domains for denotational semantics. Zbl 0495.68025Scott, Dana S. 112 1982 Lectures on a mathematical theory of computation. Zbl 0516.68064Scott, Dana S. 15 1982 Some ordered sets in computer science. Zbl 0497.06001Scott, Dana S. 9 1982 A compendium of continuous lattices. Zbl 0452.06001Gierz, G.; Hofmann, Karl Heinrich; Keimel, K.; Lawson, J. D.; Mislove, M.; Scott, D. S. 600 1980 Lambda calculus: Some models, some philosophy. Zbl 0515.03004Scott, Dana 9 1980 Sheaves and logic. Zbl 0415.03053Fourman, M. P.; Scott, D. S. 87 1979 Identity and existence in intuitionistic logic. Zbl 0418.03016Scott, Dana 16 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.00001Fourman, M. P. (ed.); Mulvey, C. J. (ed.); Scott, D. S. (ed.) 9 1979 A note on distributive normal forms. Zbl 0452.03005Scott, Dana 1 1979 Outline of a mathematical theory of computation. Zbl 0419.68076Scott, D. 22 1977 Logic and programming languages. Zbl 0355.68019Scott, Dana S. 4 1977 Data types as lattices. Zbl 0337.02018Scott, Dana 188 1976 Data types as lattices. Zbl 0322.02024Scott, Dana 9 1975 Lambda calculus and recursion theory. (Preliminary version.). Zbl 0322.02023Scott, Dana 9 1975 Some philosophical issues concerning theories of combinators. Zbl 0342.02019Scott, Dana 6 1975 Combinators and classes. Zbl 0342.02018Scott, Dana 5 1975 Completeness and axiomatizability in many-valued logic. Zbl 0318.02021Scott, Dana 44 1974 Rules and derived rules. Zbl 0296.02012Scott, Dana 14 1974 Axiomatizing set theory. Zbl 0319.02061Scott, Dana 5 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.00009Henkin, Leon (ed.); Addison, John (ed.); Chang, C. C. (ed.); Craig, William (ed.); Scott, Dana (ed.); Vaught, Robert (ed.) 2 1974 Background to formalization. Zbl 0277.02003Scott, Dana S. 3 1973 Continuous lattices. Zbl 0239.54006Scott, Dana 87 1972 Lattice theory, data types and semantics. Zbl 0279.68042Scott, Dana 11 1972 Toward a mathematical semantics for computer languages. Zbl 0268.68004Scott, Dana; Strachey, Christopher 62 1971 The lattice of flow diagrams. Zbl 0228.68016Scott, Dana 23 1971 Ordinal definability. Zbl 0226.02048Myhill, John; Scott, Dana 11 1971 Advice on modal logic. Zbl 0295.02013Scott, Dana 27 1970 Constructive validity. Zbl 0206.28402Scott, D. 6 1970 Extending the topological interpretation to intuitionistic analysis. II. Zbl 0213.01203Scott, D. 2 1970 Semantical archaeology: A parable. Zbl 0211.01002Scott, D. (ed.) 1 1970 Boolean models and nonstandard analysis. Zbl 0187.27101Scott, D. 6 1969 On completing ordered fields. Zbl 0188.32202Scott, D. 4 1969 Extending the topological interpretation to intuitionistic analysis. Zbl 0197.00201Scott, Dana 14 1968 Some definitional suggestions for automata theory. Zbl 0164.32103Scott, D. 34 1967 A proof of the independence of the continuum hypothesis. Zbl 0149.25302Scott, D. 20 1967 Assigning probabilities to logical formulas. Zbl 0202.29905Scott, D.; Krauss, P. 33 1966 Logic with denumerably long formulas and finite strings of quantifiers. Zbl 0166.26003Scott, Dana 30 1965 Measurement structures and linear inequalities. Zbl 0129.12102Scott, Dana 137 1964 Additions to some results of Erdős and Tarski. Zbl 0173.00803Monk, J. Donald; Scott, D. 4 1964 Invariant Borel sets. Zbl 0152.21304Scott, Dana 3 1964 Reduced direct products. Zbl 0108.00501Frayne, T.; Morel, A. C.; Scott, D. S. 48 1963 Algebras of sets binumerable in complete extensions of arithmetic. Zbl 0199.02601Scott, D. 19 1962 Quine’s individuals. Zbl 0151.00904Scott, D. 4 1962 More on the axiom of extensionality. Zbl 0199.01403Scott, Dana 1 1962 Measurable cardinals and constructible sets. Zbl 0154.00702Scott, D. 33 1961 On a theorem of Rabin. Zbl 0173.00604Scott, D. 3 1960 Completeness proofs for the intuitionistic sentential calculus. Zbl 0201.32403Scott, D. 1 1960 Remarks on finite automata. Zbl 0158.00906Rabin, M.; Scott, D. 1 1960 Finite automata and their decision problems. Zbl 0158.25404Rabin, M. O.; Scott, D. 310 1959 Foundational aspects of theories of measurement. Zbl 0084.24603Scott, Dana; Suppes, Patrick 180 1959 Dimension in elementary Euclidean geometry. Zbl 0092.13704Scott, Dana 1 1959 The sentential calculus with infinitely long expressions. Zbl 0119.25002Scott, D.; Tarski, A. 8 1958 The independence of certain distributive laws in Boolean algebras. Zbl 0092.03401Scott, Dana 6 1957 Equationally complete extensions of finite algebras. Zbl 0073.24602Scott, Dana 7 1956 A symmetric primitive notion for Euclidean geometry. Zbl 0072.15502Scott, Dana 4 1956 A vector method for solving linear equations and inverting matrices. Zbl 0074.10702Roth, J. P.; Scott, D. S. 1 1956 Equational completeness of abstract algebras. Zbl 0073.24501Kalicki, Jan; Scott, Dana 25 1955 all cited Publications top 5 cited Publications all top 5 Cited by 2,404 Authors 38 Li, Qingguo 37 Fishburn, Peter Clingerman 33 Zhang, Dexue 28 Erné, Marcel 24 Lawson, Jimmie Don 24 Shi, Fu-Gui 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 17 Jirásková, Galina 17 Zhao, Dongsheng 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 Kutrib, Martin 13 Plotkin, Gordon D. 12 Hofmann, Dirk 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 Liu, Yingming 11 Mislove, Michael W. 11 Romaguera Bonilla, Salvador 11 Yao, Wei 10 Engelfriet, Joost 10 Jäger, Gunther 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 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 Spreen, Dieter 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,304 more Authors all top 5 Cited in 277 Serials 340 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 47 Algebra Universalis 45 Semigroup Forum 43 Order 41 MSCS. Mathematical Structures in Computer Science 41 Applied Categorical Structures 40 Studia Logica 35 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 18 Discrete Mathematics 18 Notre Dame Journal of Formal Logic 18 Archive for Mathematical 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 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 The Review of Symbolic Logic 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 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 4 Applied General Topology ...and 177 more Serials all top 5 Cited in 51 Fields 962 Computer science (68-XX) 843 Mathematical logic and foundations (03-XX) 789 Order, lattices, ordered algebraic structures (06-XX) 591 General topology (54-XX) 367 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) 64 Group theory and generalizations (20-XX) 63 Probability theory and stochastic processes (60-XX) 47 Functional analysis (46-XX) 40 Combinatorics (05-XX) 31 Topological groups, Lie groups (22-XX) 29 Measure and integration (28-XX) 26 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) 19 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 Biology and other natural sciences (92-XX) 6 Calculus of variations and optimal control; optimization (49-XX) 6 Differential geometry (53-XX) 6 Numerical analysis (65-XX) 5 Linear and multilinear algebra; matrix theory (15-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) 2 \(K\)-theory (19-XX) 2 Abstract harmonic analysis (43-XX) 2 Statistical mechanics, structure of matter (82-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 Mathematics education (97-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.