## Scott, Dana Stewart

Compute Distance To:
 Author ID: scott.dana-s Published as: Scott, Dana; Scott, D.; Scott, Dana S.; Scott, D. S.; Scott, D. B. Homepage: https://www.cs.cmu.edu/~scott/ External Links: MGP · Wikidata · Google Scholar · dblp · GND · IdRef
 Documents Indexed: 108 Publications since 1949, including 3 Books 10 Contributions as Editor · 9 Further Contributions Biographic References: 1 Publication Co-Authors: 53 Co-Authors with 46 Joint Publications 1,266 Co-Co-Authors
all top 5

### Co-Authors

 70 single-authored 6 Birkedal, Lars 4 Rosolini, Giuseppe 3 Awodey, Steve 3 Bauer, Andrej 3 Feferman, Solomon 3 Hofmann, Karl Heinrich 3 Lascu, Alexandru T. 3 Rabin, Michael O. 2 Addison, John T. 2 Baaz, Matthias 2 Baldwin, John T. 2 Barwise, Kenneth Jon 2 Baudisch, Andreas 2 Benzmüller, Christoph Ewald 2 Chang, Chen-Chung 2 Dickmann, Max A. 2 Ebbinghaus, Heinz-Dieter 2 Eklof, Paul C. 2 Flum, Jörg 2 Fourman, Michael Paul 2 Gierz, Gerhard 2 Harper, Charles L. jun. 2 Henkin, Leon Albert 2 Horty, John F. 2 Kaufmann, Matt 2 Keimel, Klaus 2 Keisler, Howard Jerome 2 Kolaitis, Phokion G. 2 Lawson, Jimmie Don 2 Makowsky, Johann-Andreas 2 McCarty, David Charles 2 Mislove, Michael W. 2 Mumford, David Bryant 2 Mundici, Daniele 2 Nadel, Mark E. 2 Papadimitriou, Christos Harilaos 2 Plotkin, Gordon D. 2 Putnam, Hilary Whitehall 2 Schmerl, James H. 2 Seese, Detlef G. 2 Steinhorn, Charles I. 2 Tarski, Alfred 2 Tuschik, Hans-Peter 2 Väänänen, Jouko Antero 2 van Oosten, Jaap 2 Vaught, Robert L. 2 Weese, Martin 2 Ziegler, Martin 1 Aczel, Peter 1 Ahrens, Benedikt 1 Altenkirch, Thorsten 1 Angiuli, Carlo 1 Araki, Keijiro 1 Avigad, Jeremy 1 Bacci, Giorgio 1 Barendregt, Hendrik Pieter 1 Barras, Bruno 1 Bertot, Yves 1 Bezem, Marc 1 Böhm, Corrado 1 Bordg, Anthony 1 Brouwer, Luitzen Egbertus Jan 1 Brunerie, Guillaume 1 Bunder, Martin W. 1 Cantor, Georg 1 Cohen, Cyril 1 Cohen, Paul Joseph 1 Constable, Robert Lee 1 Coppo, Mario 1 Coquand, Thierry 1 Curien, Pierre-Louis 1 de Bruijn, Nicolaas Govert 1 Dezani-Ciancaglini, Mariangiola 1 Diller, Justus 1 Domoto, Shuji 1 Dybjer, Peter 1 Evyatar, Asriel 1 Felgner, Ulrich 1 Finamor, Lucas 1 Finster, Eric 1 Fitch, Frederic Brenton 1 Fraenkel, Abraham 1 Frayne, T. 1 Freyd, Peter J. 1 Fritz, Peter 1 Gál, I. L. 1 Gambino, Nicola 1 Gandy, Robin O. 1 Garner, Richard 1 Gilmore, Paul C. 1 Girard, P. M. 1 Gödel, Kurt 1 Gonthier, Georges 1 Grayson, Daniel Richard 1 Gunter, Carl A. 1 Hales, Thomas Callister 1 Harper, Robert 1 Hashiguchi, Kozaburo 1 Helgason, Sigurdur 1 Herbelin, Hugo ...and 100 more Co-Authors
all top 5

### Serials

 4 Annali di Matematica Pura ed Applicata. Serie Quarta 4 Proceedings of the London Mathematical Society. Third Series 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 Bulletin of the London Mathematical Society 2 The Journal of Symbolic Logic 2 MSCS. Mathematical Structures in Computer Science 2 Proceedings of the Cambridge Philosophical Society 2 Journal of the London Mathematical Society 2 Lecture Notes in Mathematics 2 Perspectives in Mathematical Logic 1 Acta Informatica 1 Mathematical Proceedings of the Cambridge Philosophical Society 1 American Journal of Mathematics 1 Colloquium Mathematicum 1 Compositio Mathematica 1 Journal of Computer and System Sciences 1 Journal of the London Mathematical Society. Second Series 1 Journal of Mathematical Psychology 1 Journal of Philosophical Logic 1 Kiberneticheskiĭ Sbornik. Novaya Seriya 1 Mathematical Systems Theory 1 SIAM Journal on Computing 1 Software. Practice & Experience 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 Proceedings of the London Mathematical Society. Second Series 1 Rendiconti Di Matematica e Delle Sue Applicazioni, V. Serie 1 Journal of Mathematics and Physics 1 Encyclopedia of Mathematics and Its Applications 1 Lecture Notes in Computer Science 1 Seminari di Geometria. Universitá degli Studi di Bologna 1 Electronic Notes in Theoretical Computer Science 1 The Review of Symbolic Logic
all top 5

### Fields

 59 Mathematical logic and foundations (03-XX) 26 Computer science (68-XX) 14 Category theory; homological algebra (18-XX) 12 History and biography (01-XX) 11 General and overarching topics; collections (00-XX) 9 Order, lattices, ordered algebraic structures (06-XX) 8 Algebraic geometry (14-XX) 8 General topology (54-XX) 2 Algebraic topology (55-XX) 1 Field theory and polynomials (12-XX) 1 Commutative algebra (13-XX) 1 Topological groups, Lie groups (22-XX) 1 Real functions (26-XX) 1 Measure and integration (28-XX) 1 Manifolds and cell complexes (57-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX)

### Citations contained in zbMATH Open

87 Publications have been cited 2,961 times in 2,475 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
Finite automata and their decision problems. Zbl 0158.25404
Rabin, M. O.; Scott, D.
1959
Continuous lattices and domains. Zbl 1088.06001
Gierz, Gerhard; Hofmann, Karl; Keimel, Klaus; Lawson, Jimmie; Mislove, Michael; Scott, Dana S.
2003
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
Model-theoretic logics. (Parts A-C). Zbl 0587.03001
1985
Homotopy type theory. Univalent foundations of mathematics. Zbl 1298.03002
The Univalent Foundations Program
2013
Continuous lattices. Zbl 0239.54006
Scott, Dana
1972
Reduced direct products. Zbl 0108.00501
Frayne, T.; Morel, A. C.; Scott, D. S.
1963
Semantic domains. Zbl 0900.68301
Gunter, C. A.; Scott, Dana S.
1990
Toward a mathematical semantics for computer languages. Zbl 0268.68004
Scott, Dana; Strachey, Christopher
1971
A type-theoretical alternative to ISWIM, CUCH, OWHY. Zbl 0942.68522
Scott, Dana S.
1993
An introduction to modal logic. In collaboration with Dana Scott. Edited by Krister Segerberg. The ”Lemmon Notes”. Zbl 0388.03006
Lemmon, E. J.
1977
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
Logic with denumerably long formulas and finite strings of quantifiers. Zbl 0166.26003
Scott, Dana
1965
Assigning probabilities to logical formulas. Zbl 0202.29905
Scott, Dana; Krauss, Peter
1966
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
Outline of a mathematical theory of computation. Zbl 0419.68076
Scott, D.
1977
Algebras of sets binumerable in complete extensions of arithmetic. Zbl 0199.02601
Scott, D.
1962
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
The lattice of flow diagrams. Zbl 0228.68016
Scott, Dana
1971
Extending the topological interpretation to intuitionistic analysis. Zbl 0197.00201
Scott, Dana
1968
Lectures on a mathematical theory of computation. Zbl 0516.68064
Scott, Dana S.
1982
To H. B. Curry: Essays on combinatory logic, lambda calculus and formalism. Zbl 0469.03006
1980
Rules and derived rules. Zbl 0296.02012
Scott, Dana
1974
Identity and existence in intuitionistic logic. Zbl 0418.03016
Scott, Dana
1979
Ordinal definability. Zbl 0226.02048
Myhill, John; Scott, Dana
1971
Lambda calculus: Some models, some philosophy. Zbl 0515.03004
Scott, Dana
1980
The seventeen provers of the world. Foreword by Dana S. Scott.. Zbl 1084.68119
2005
An algebraic correspondence with applications to projective bundles and blowing up Chern classes. Zbl 0296.14009
Lascu, A. T.; Scott, D. B.
1975
The sentential calculus with infinitely long expressions. Zbl 0119.25002
Scott, D.; Tarski, A.
1958
The self-intersection formula and the ’formule-clef’. Zbl 0341.14002
Lascu, A. T.; Mumford, D.; Scott, D. B.
1975
Extensional PERs. Zbl 0762.18006
Freyd, P.; Mulry, P.; Rosolini, G.; Scott, D.
1992
Lattice theory, data types and semantics. Zbl 0279.68042
Scott, Dana
1972
Equationally complete extensions of finite algebras. Zbl 0073.24602
Scott, Dana
1956
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
1979
Some ordered sets in computer science. Zbl 0497.06001
Scott, Dana S.
1982
Axiomatizing set theory. Zbl 0319.02061
Scott, Dana
1974
Data types as lattices. Zbl 0322.02024
Scott, Dana
1975
Additions to some results of Erdős and Tarski. Zbl 0173.00803
Monk, J. Donald; Scott, D.
1964
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
Combinators and classes. Zbl 0342.02018
Scott, Dana
1975
Finite automata and their decision problems. Zbl 1461.68105
Rabin, M. O.; Scott, D.
1959
Local realizability toposes and a modal logic for computability. (Extended abstract). Zbl 0959.03504
Awodey, Steven; Birkedal, Lars; Scott, Dana S.
1999
Natural lifts and the covariant systems of Todd. Zbl 0183.25601
Scott, D. B.
1969
On completing ordered fields. Zbl 0188.32202
Scott, D.
1969
Constructive validity. Zbl 0206.28402
Scott, D.
1970
A symmetric primitive notion for Euclidean geometry. Zbl 0072.15502
Scott, Dana
1956
Completeness and axiomatizability in many-valued logic. Zbl 1288.03021
Scott, Dana
2012
Some philosophical issues concerning theories of combinators. Zbl 0342.02019
Scott, Dana
1975
Logic and programming languages. Zbl 0355.68019
Scott, Dana S.
1977
Quine’s individuals. Zbl 0151.00904
Scott, D.
1962
Invariant Borel sets. Zbl 0152.21304
Scott, Dana
1964
On a theorem of Rabin. Zbl 0173.00604
Scott, D.
1960
Background to formalization. Zbl 0277.02003
Scott, Dana S.
1973
Reconsidering ordered pairs. Zbl 1171.03028
Scott, Dana; McCarty, Dominic
2008
Mathematical analysis. An introduction. Zbl 0136.34203
Scott, D. B.; Tims, S. R.
1966
Stochastic $$\lambda$$-calculi: an extended abstract. Zbl 1352.03020
Scott, Dana S.
2014
A simple proof of the formula for the blowing up of Chern classes. Zbl 0386.14007
Lascu, A. T.; Scott, D. B.
1978
Model-theoretic logics. (Parts D-F). Zbl 0587.03002
1985
The algebraic interpretation of quantifiers: intuitionistic and classical. Zbl 1150.03019
Scott, Dana S.
2008
Lambda calculus and recursion theory. (Preliminary version.). Zbl 0322.02023
Scott, Dana
1975
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
1974
Automating free logic in Isabelle/HOL. Zbl 1434.68638
Benzmüller, Christoph; Scott, Dana
2016
A calculus of regions respecting both measure and topology. Zbl 1457.28001
Lando, Tamar; Scott, Dana
2019
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
Semantical archaeology: A parable. Zbl 0211.01002
1970
Extending the topological interpretation to intuitionistic analysis. II. Zbl 0213.01203
Scott, D.
1970
On polynomials in a polynomial. Zbl 0255.12101
Evyatar, A.; Scott, D. B.
1972
Kurt Gödel and the foundations of mathematics. Horizons of truth. Zbl 1253.00009
2011
A vector method for solving linear equations and inverting matrices. Zbl 0074.10702
Roth, J. P.; Scott, D. S.
1956
Tangent-direction bundles of algebraic varieties. Zbl 0100.35603
Scott, D. B.
1961
The tangent direction bundle of an algebraic variety and generalized Jacobians of linear systems. Zbl 0124.37002
Ingleton, A. W.; Scott, D. B.
1961
Mengenlehre. Zbl 0403.03035
1979
A note on distributive normal forms. Zbl 0452.03005
Scott, Dana
1979
Some algebro-geometric fibre spaces. Zbl 0148.41601
Scott, D. B.
1966
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
Homotopy type theory. Univalent foundations of mathematics. Zbl 1298.03002
The Univalent Foundations Program
2013
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
2011
Reconsidering ordered pairs. Zbl 1171.03028
Scott, Dana; McCarty, Dominic
2008
The algebraic interpretation of quantifiers: intuitionistic and classical. Zbl 1150.03019
Scott, Dana S.
2008
The seventeen provers of the world. Foreword by Dana S. Scott.. Zbl 1084.68119
2005
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
Model-theoretic logics. (Parts A-C). Zbl 0587.03001
1985
Model-theoretic logics. (Parts D-F). Zbl 0587.03002
1985
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
To H. B. Curry: Essays on combinatory logic, lambda calculus and formalism. Zbl 0469.03006
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
1979
Mengenlehre. Zbl 0403.03035
1979
A note on distributive normal forms. Zbl 0452.03005
Scott, Dana
1979
A simple proof of the formula for the blowing up of Chern classes. Zbl 0386.14007
Lascu, A. T.; Scott, D. B.
1978
An introduction to modal logic. In collaboration with Dana Scott. Edited by Krister Segerberg. The ”Lemmon Notes”. Zbl 0388.03006
Lemmon, E. J.
1977
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
An algebraic correspondence with applications to projective bundles and blowing up Chern classes. Zbl 0296.14009
Lascu, A. T.; Scott, D. B.
1975
The self-intersection formula and the ’formule-clef’. Zbl 0341.14002
Lascu, A. T.; Mumford, D.; Scott, D. B.
1975
Data types as lattices. Zbl 0322.02024
Scott, Dana
1975
Combinators and classes. Zbl 0342.02018
Scott, Dana
1975
Some philosophical issues concerning theories of combinators. Zbl 0342.02019
Scott, Dana
1975
Lambda calculus and recursion theory. (Preliminary version.). Zbl 0322.02023
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
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
On polynomials in a polynomial. Zbl 0255.12101
Evyatar, A.; Scott, D. B.
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
Semantical archaeology: A parable. Zbl 0211.01002
1970
Extending the topological interpretation to intuitionistic analysis. II. Zbl 0213.01203
Scott, D.
1970
Boolean models and nonstandard analysis. Zbl 0187.27101
Scott, D.
1969
Natural lifts and the covariant systems of Todd. Zbl 0183.25601
Scott, D. B.
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, Dana; Krauss, Peter
1966
Mathematical analysis. An introduction. Zbl 0136.34203
Scott, D. B.; Tims, S. R.
1966
Some algebro-geometric fibre spaces. Zbl 0148.41601
Scott, D. B.
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
Tangent-direction bundles of algebraic varieties. Zbl 0100.35603
Scott, D. B.
1961
The tangent direction bundle of an algebraic variety and generalized Jacobians of linear systems. Zbl 0124.37002
Ingleton, A. W.; Scott, D. B.
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
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
Finite automata and their decision problems. Zbl 1461.68105
Rabin, M. O.; Scott, D.
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,304 Authors

 37 Fishburn, Peter Clingerman 28 Erné, Marcel 27 Li, Qingguo 24 Shi, Fu-Gui 21 Zhang, Dexue 20 Kubiak, Tomasz 17 Induráin, Esteban 17 Jirásková, Galina 17 Xi, Xiaoyong 16 Höhle, Ulrich 16 Lawson, Jimmie Don 15 Xu, Xiaoquan 15 Zhao, Dongsheng 14 Kutrib, Martin 13 Bouyssou, Denis 13 Brown, Lawrence Michael 13 Holzer, Markus 13 Hötzel Escardó, Martín 13 Jäger, Gunther 13 Plotkin, Gordon D. 12 Gutiérrez García, Javier 12 Hofmann, Dirk 12 Luo, Maokang 12 Pultr, Aleš 12 Zhao, Bin 11 Vogler, Heiko 10 Dezani-Ciancaglini, Mariangiola 10 Edalat, Abbas 10 Engelfriet, Joost 10 Jung, Achim 10 Keimel, Klaus 10 Kopperman, Ralph David 10 Liu, Yingming 10 Pighizzini, Giovanni 10 Roberts, Fred S. 10 Solovyov, Sergey A. 9 Bezhanishvili, Guram 9 Geffert, Viliam 9 Guo, Lankun 9 Kudri, Soraya R. T. 9 Mislove, Michael W. 9 Paseka, Jan 9 Rosolini, Giuseppe 9 Spreen, Dieter 9 Valero, Oscar 9 Yildiz, Filiz 8 Estevan, Asier 8 Georgiou, Dimitrios N. 8 Goubault-Larrecq, Jean 8 Hofmann, Karl Heinrich 8 Kou, Hui 8 Li, Shenggang 8 Longo, Giuseppe 8 Pirlot, Marc 8 Šostak, Alexander P. 8 Vardi, Moshe Ya’akov 8 Warner, Mary Wynne 7 Campión, María Jesús 7 Doignon, Jean-Paul 7 Ertürk, Rıza 7 Harding, John 7 Humberstone, Lloyd 7 Karhumaki, Juhani 7 Mereghetti, Carlo 7 Palano, Beatrice 7 Priestley, Hilary A. 7 Santos, Eugene S. 7 Scott, Dana Stewart 7 Šešelja, Branimir 7 Smyth, Michael B. 7 Suppes, Patrick 7 Tepavčević, Andreja 7 Trenk, Ann N. 7 Xu, Luoshan 6 Alessi, Fabio 6 Candeal, Juan Carlos 6 Choffrut, Christian 6 Constable, Robert Lee 6 Culik, Karel II 6 Droste, Manfred 6 Falmagne, Jean-Claude 6 Fang, Jinming 6 Giarlotta, Alfio 6 Gierz, Gerhard 6 Ginsburg, Seymour 6 Grigorieff, Serge 6 Gunter, Carl A. 6 Harrison-Trainor, Matthew 6 Holliday, Wesley H. 6 Keisler, Howard Jerome 6 Künzi, Hans-Peter A. 6 Liang, Jihua 6 Majster-Cederbaum, Mila E. 6 Meseguer Guaita, José 6 Ronse, Christian 6 Vantaggi, Barbara 6 Winskel, Glynn 6 Zhang, Wenfeng 5 Adámek, Jiří 5 Aygün, Halis ...and 2,204 more Authors
all top 5

### Cited in 301 Serials

 291 Theoretical Computer Science 175 Fuzzy Sets and Systems 87 Journal of Mathematical Psychology 80 Topology and its Applications 80 Annals of Pure and Applied Logic 68 Information and Computation 65 Journal of Computer and System Sciences 51 Algebra Universalis 46 Semigroup Forum 45 Studia Logica 44 Journal of Pure and Applied Algebra 44 Order 44 MSCS. Mathematical Structures in Computer Science 42 Applied Categorical Structures 30 Journal of Philosophical Logic 28 Information Sciences 28 Transactions of the American Mathematical Society 25 Mathematical Social Sciences 22 Information Processing Letters 21 Acta Informatica 21 Synthese 21 Archive for Mathematical Logic 20 Logical Methods in Computer Science 19 The Journal of Symbolic Logic 19 Mathematical Systems Theory 18 Notre Dame Journal of Formal Logic 16 Discrete Mathematics 16 Journal of Mathematical Analysis and Applications 16 Theory and Decision 15 Algebra and Logic 14 Advances in Mathematics 14 Soft Computing 14 Journal of Applied Logic 13 Cahiers de Topologie et Géométrie Différentielle Catégoriques 13 Journal of Algebra 13 Kybernetika 13 Proceedings of the American Mathematical Society 12 Artificial Intelligence 12 Israel Journal of Mathematics 12 The Review of Symbolic Logic 11 Quaestiones Mathematicae 11 Iranian Journal of Fuzzy Systems 10 Journal of Mathematical Economics 10 Journal of Automated Reasoning 10 Mathematical Logic Quarterly (MLQ) 9 Archiv für Mathematische Logik und Grundlagenforschung 9 Journal of Economic Theory 9 Siberian Mathematical Journal 9 International Journal of Approximate Reasoning 9 Journal of Functional Programming 8 Discrete Applied Mathematics 8 Archiv der Mathematik 8 RAIRO. Informatique Théorique et Applications 8 Indagationes Mathematicae. New Series 7 International Journal of Theoretical Physics 7 Psychometrika 7 Mathematische Zeitschrift 7 The Bulletin of Symbolic Logic 7 Acta Mathematica Sinica. English Series 7 Logic and Logical Philosophy 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 Compositio Mathematica 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 Theory of Computing Systems 6 RAIRO. Theoretical Informatics and Applications 6 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 5 Communications in Algebra 5 Mathematical Notes 5 International Journal of Mathematics and Mathematical Sciences 5 Manuscripta Mathematica 5 Journal of Applied Non-Classical Logics 5 Topology Proceedings 5 Journal of Intelligent and Fuzzy Systems 4 Automatica 4 Computing 4 International Journal of Computer & Information Sciences 4 Journal of Combinatorial Theory. Series A 4 Mathematische Annalen 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 International Journal of Computer Mathematics 4 Journal of Mathematical Imaging and Vision 4 Cybernetics and Systems Analysis 4 Economic Theory 4 Filomat 4 Abstract and Applied Analysis 4 Journal of Mathematical Logic 4 The Journal of Logic and Algebraic Programming 4 Logica Universalis ...and 201 more Serials
all top 5

### Cited in 51 Fields

 887 Computer science (68-XX) 804 Mathematical logic and foundations (03-XX) 675 Order, lattices, ordered algebraic structures (06-XX) 496 General topology (54-XX) 318 Category theory; homological algebra (18-XX) 190 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 87 General algebraic systems (08-XX) 67 Group theory and generalizations (20-XX) 60 Probability theory and stochastic processes (60-XX) 45 Functional analysis (46-XX) 39 Combinatorics (05-XX) 33 Topological groups, Lie groups (22-XX) 26 Statistics (62-XX) 25 Operations research, mathematical programming (90-XX) 24 Algebraic geometry (14-XX) 24 Associative rings and algebras (16-XX) 24 Measure and integration (28-XX) 23 History and biography (01-XX) 23 Quantum theory (81-XX) 21 Algebraic topology (55-XX) 18 Information and communication theory, circuits (94-XX) 16 Real functions (26-XX) 13 Convex and discrete geometry (52-XX) 12 Commutative algebra (13-XX) 11 Systems theory; control (93-XX) 10 General and overarching topics; collections (00-XX) 10 Geometry (51-XX) 10 Manifolds and cell complexes (57-XX) 9 Number theory (11-XX) 8 Dynamical systems and ergodic theory (37-XX) 8 Operator theory (47-XX) 8 Numerical analysis (65-XX) 7 Linear and multilinear algebra; matrix theory (15-XX) 7 Biology and other natural sciences (92-XX) 6 Calculus of variations and optimal control; optimization (49-XX) 6 Differential geometry (53-XX) 5 $$K$$-theory (19-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 Abstract harmonic analysis (43-XX) 1 Potential theory (31-XX) 1 Several complex variables and analytic spaces (32-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.