×

Scott, Dana Stewart

Compute Distance To:
Author ID: scott.dana-s Recent zbMATH articles by "Scott, Dana Stewart"
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
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

Publications by Year

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.
597
1980
Finite automata and their decision problems. Zbl 0158.25404
Rabin, M. O.; Scott, D.
312
1959
Continuous lattices and domains. Zbl 1088.06001
Gierz, Gerhard; Hofmann, Karl; Keimel, Klaus; Lawson, Jimmie; Mislove, Michael; Scott, Dana S.
304
2003
Data types as lattices. Zbl 0337.02018
Scott, Dana
184
1976
Foundational aspects of theories of measurement. Zbl 0084.24603
Scott, Dana; Suppes, Patrick
179
1959
Measurement structures and linear inequalities. Zbl 0129.12102
Scott, Dana
145
1964
Domains for denotational semantics. Zbl 0495.68025
Scott, Dana S.
88
1982
Sheaves and logic. Zbl 0415.03053
Fourman, M. P.; Scott, D. S.
77
1979
Model-theoretic logics. (Parts A-C). Zbl 0587.03001
65
1985
Homotopy type theory. Univalent foundations of mathematics. Zbl 1298.03002
The Univalent Foundations Program
61
2013
Continuous lattices. Zbl 0239.54006
Scott, Dana
60
1972
Reduced direct products. Zbl 0108.00501
Frayne, T.; Morel, A. C.; Scott, D. S.
53
1963
Semantic domains. Zbl 0900.68301
Gunter, C. A.; Scott, Dana S.
52
1990
Toward a mathematical semantics for computer languages. Zbl 0268.68004
Scott, Dana; Strachey, Christopher
50
1971
A type-theoretical alternative to ISWIM, CUCH, OWHY. Zbl 0942.68522
Scott, Dana S.
46
1993
An introduction to modal logic. In collaboration with Dana Scott. Edited by Krister Segerberg. The ”Lemmon Notes”. Zbl 0388.03006
Lemmon, E. J.
40
1977
Completeness and axiomatizability in many-valued logic. Zbl 0318.02021
Scott, Dana
37
1974
Measurable cardinals and constructible sets. Zbl 0154.00702
Scott, D.
36
1961
Some definitional suggestions for automata theory. Zbl 0164.32103
Scott, D.
36
1967
Logic with denumerably long formulas and finite strings of quantifiers. Zbl 0166.26003
Scott, Dana
34
1965
Assigning probabilities to logical formulas. Zbl 0202.29905
Scott, Dana; Krauss, Peter
33
1966
Advice on modal logic. Zbl 0295.02013
Scott, Dana
27
1970
Equilogical spaces. Zbl 1059.18004
Bauer, Andrej; Birkedal, Lars; Scott, Dana S.
26
2004
Equational completeness of abstract algebras. Zbl 0073.24501
Kalicki, Jan; Scott, Dana
25
1955
Outline of a mathematical theory of computation. Zbl 0419.68076
Scott, D.
22
1977
Algebras of sets binumerable in complete extensions of arithmetic. Zbl 0199.02601
Scott, D.
21
1962
Type theory via exact categories. (Extended abstract). Zbl 0945.03542
Birkedal, L.; Carboni, A.; Rosolini, G.; Scott, D. S.
20
1998
A proof of the independence of the continuum hypothesis. Zbl 0149.25302
Scott, D.
20
1967
The lattice of flow diagrams. Zbl 0228.68016
Scott, Dana
17
1971
Extending the topological interpretation to intuitionistic analysis. Zbl 0197.00201
Scott, Dana
15
1968
Lectures on a mathematical theory of computation. Zbl 0516.68064
Scott, Dana S.
15
1982
To H. B. Curry: Essays on combinatory logic, lambda calculus and formalism. Zbl 0469.03006
15
1980
Rules and derived rules. Zbl 0296.02012
Scott, Dana
12
1974
Identity and existence in intuitionistic logic. Zbl 0418.03016
Scott, Dana
12
1979
Ordinal definability. Zbl 0226.02048
Myhill, John; Scott, Dana
10
1971
Lambda calculus: Some models, some philosophy. Zbl 0515.03004
Scott, Dana
10
1980
The seventeen provers of the world. Foreword by Dana S. Scott.. Zbl 1084.68119
10
2005
An algebraic correspondence with applications to projective bundles and blowing up Chern classes. Zbl 0296.14009
Lascu, A. T.; Scott, D. B.
9
1975
The sentential calculus with infinitely long expressions. Zbl 0119.25002
Scott, D.; Tarski, A.
9
1958
The self-intersection formula and the ’formule-clef’. Zbl 0341.14002
Lascu, A. T.; Mumford, D.; Scott, D. B.
8
1975
Extensional PERs. Zbl 0762.18006
Freyd, P.; Mulry, P.; Rosolini, G.; Scott, D.
8
1992
Lattice theory, data types and semantics. Zbl 0279.68042
Scott, Dana
7
1972
Equationally complete extensions of finite algebras. Zbl 0073.24602
Scott, Dana
7
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
7
1979
Some ordered sets in computer science. Zbl 0497.06001
Scott, Dana S.
7
1982
Axiomatizing set theory. Zbl 0319.02061
Scott, Dana
7
1974
Data types as lattices. Zbl 0322.02024
Scott, Dana
7
1975
Additions to some results of Erdős and Tarski. Zbl 0173.00803
Monk, J. Donald; Scott, D.
6
1964
Boolean models and nonstandard analysis. Zbl 0187.27101
Scott, D.
6
1969
The independence of certain distributive laws in Boolean algebras. Zbl 0092.03401
Scott, Dana
6
1957
Local realizability toposes and a modal logic for computability. Zbl 1007.03057
Awodey, Steven; Birkedal, Lars; Scott, Dana S.
6
2002
Combinators and classes. Zbl 0342.02018
Scott, Dana
5
1975
Finite automata and their decision problems. Zbl 1461.68105
Rabin, M. O.; Scott, D.
5
1959
Local realizability toposes and a modal logic for computability. (Extended abstract). Zbl 0959.03504
Awodey, Steven; Birkedal, Lars; Scott, Dana S.
4
1999
Natural lifts and the covariant systems of Todd. Zbl 0183.25601
Scott, D. B.
4
1969
On completing ordered fields. Zbl 0188.32202
Scott, D.
4
1969
Constructive validity. Zbl 0206.28402
Scott, D.
4
1970
A symmetric primitive notion for Euclidean geometry. Zbl 0072.15502
Scott, Dana
4
1956
Completeness and axiomatizability in many-valued logic. Zbl 1288.03021
Scott, Dana
4
2012
Some philosophical issues concerning theories of combinators. Zbl 0342.02019
Scott, Dana
4
1975
Logic and programming languages. Zbl 0355.68019
Scott, Dana S.
4
1977
Quine’s individuals. Zbl 0151.00904
Scott, D.
4
1962
Invariant Borel sets. Zbl 0152.21304
Scott, Dana
4
1964
On a theorem of Rabin. Zbl 0173.00604
Scott, D.
3
1960
Background to formalization. Zbl 0277.02003
Scott, Dana S.
3
1973
Reconsidering ordered pairs. Zbl 1171.03028
Scott, Dana; McCarty, Dominic
3
2008
Mathematical analysis. An introduction. Zbl 0136.34203
Scott, D. B.; Tims, S. R.
3
1966
Stochastic \(\lambda\)-calculi: an extended abstract. Zbl 1352.03020
Scott, Dana S.
3
2014
A simple proof of the formula for the blowing up of Chern classes. Zbl 0386.14007
Lascu, A. T.; Scott, D. B.
3
1978
Model-theoretic logics. (Parts D-F). Zbl 0587.03002
3
1985
The algebraic interpretation of quantifiers: intuitionistic and classical. Zbl 1150.03019
Scott, Dana S.
3
2008
Lambda calculus and recursion theory. (Preliminary version.). Zbl 0322.02023
Scott, Dana
3
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
2
1974
Automating free logic in Isabelle/HOL. Zbl 1434.68638
Benzmüller, Christoph; Scott, Dana
2
2016
A calculus of regions respecting both measure and topology. Zbl 1457.28001
Lando, Tamar; Scott, Dana
2
2019
More on the axiom of extensionality. Zbl 0199.01403
Scott, Dana
1
1962
Completeness proofs for the intuitionistic sentential calculus. Zbl 0201.32403
Scott, D.
1
1960
Semantical archaeology: A parable. Zbl 0211.01002
1
1970
Extending the topological interpretation to intuitionistic analysis. II. Zbl 0213.01203
Scott, D.
1
1970
On polynomials in a polynomial. Zbl 0255.12101
Evyatar, A.; Scott, D. B.
1
1972
Kurt Gödel and the foundations of mathematics. Horizons of truth. Zbl 1253.00009
1
2011
A vector method for solving linear equations and inverting matrices. Zbl 0074.10702
Roth, J. P.; Scott, D. S.
1
1956
Tangent-direction bundles of algebraic varieties. Zbl 0100.35603
Scott, D. B.
1
1961
The tangent direction bundle of an algebraic variety and generalized Jacobians of linear systems. Zbl 0124.37002
Ingleton, A. W.; Scott, D. B.
1
1961
Mengenlehre. Zbl 0403.03035
1
1979
A note on distributive normal forms. Zbl 0452.03005
Scott, Dana
1
1979
Some algebro-geometric fibre spaces. Zbl 0148.41601
Scott, D. B.
1
1966
A calculus of regions respecting both measure and topology. Zbl 1457.28001
Lando, Tamar; Scott, Dana
2
2019
Automating free logic in Isabelle/HOL. Zbl 1434.68638
Benzmüller, Christoph; Scott, Dana
2
2016
Stochastic \(\lambda\)-calculi: an extended abstract. Zbl 1352.03020
Scott, Dana S.
3
2014
Homotopy type theory. Univalent foundations of mathematics. Zbl 1298.03002
The Univalent Foundations Program
61
2013
Completeness and axiomatizability in many-valued logic. Zbl 1288.03021
Scott, Dana
4
2012
Kurt Gödel and the foundations of mathematics. Horizons of truth. Zbl 1253.00009
1
2011
Reconsidering ordered pairs. Zbl 1171.03028
Scott, Dana; McCarty, Dominic
3
2008
The algebraic interpretation of quantifiers: intuitionistic and classical. Zbl 1150.03019
Scott, Dana S.
3
2008
The seventeen provers of the world. Foreword by Dana S. Scott.. Zbl 1084.68119
10
2005
Equilogical spaces. Zbl 1059.18004
Bauer, Andrej; Birkedal, Lars; Scott, Dana S.
26
2004
Continuous lattices and domains. Zbl 1088.06001
Gierz, Gerhard; Hofmann, Karl; Keimel, Klaus; Lawson, Jimmie; Mislove, Michael; Scott, Dana S.
304
2003
Local realizability toposes and a modal logic for computability. Zbl 1007.03057
Awodey, Steven; Birkedal, Lars; Scott, Dana S.
6
2002
Local realizability toposes and a modal logic for computability. (Extended abstract). Zbl 0959.03504
Awodey, Steven; Birkedal, Lars; Scott, Dana S.
4
1999
Type theory via exact categories. (Extended abstract). Zbl 0945.03542
Birkedal, L.; Carboni, A.; Rosolini, G.; Scott, D. S.
20
1998
A type-theoretical alternative to ISWIM, CUCH, OWHY. Zbl 0942.68522
Scott, Dana S.
46
1993
Extensional PERs. Zbl 0762.18006
Freyd, P.; Mulry, P.; Rosolini, G.; Scott, D.
8
1992
Semantic domains. Zbl 0900.68301
Gunter, C. A.; Scott, Dana S.
52
1990
Model-theoretic logics. (Parts A-C). Zbl 0587.03001
65
1985
Model-theoretic logics. (Parts D-F). Zbl 0587.03002
3
1985
Domains for denotational semantics. Zbl 0495.68025
Scott, Dana S.
88
1982
Lectures on a mathematical theory of computation. Zbl 0516.68064
Scott, Dana S.
15
1982
Some ordered sets in computer science. Zbl 0497.06001
Scott, Dana S.
7
1982
A compendium of continuous lattices. Zbl 0452.06001
Gierz, G.; Hofmann, Karl Heinrich; Keimel, K.; Lawson, J. D.; Mislove, M.; Scott, D. S.
597
1980
To H. B. Curry: Essays on combinatory logic, lambda calculus and formalism. Zbl 0469.03006
15
1980
Lambda calculus: Some models, some philosophy. Zbl 0515.03004
Scott, Dana
10
1980
Sheaves and logic. Zbl 0415.03053
Fourman, M. P.; Scott, D. S.
77
1979
Identity and existence in intuitionistic logic. Zbl 0418.03016
Scott, Dana
12
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
7
1979
Mengenlehre. Zbl 0403.03035
1
1979
A note on distributive normal forms. Zbl 0452.03005
Scott, Dana
1
1979
A simple proof of the formula for the blowing up of Chern classes. Zbl 0386.14007
Lascu, A. T.; Scott, D. B.
3
1978
An introduction to modal logic. In collaboration with Dana Scott. Edited by Krister Segerberg. The ”Lemmon Notes”. Zbl 0388.03006
Lemmon, E. J.
40
1977
Outline of a mathematical theory of computation. Zbl 0419.68076
Scott, D.
22
1977
Logic and programming languages. Zbl 0355.68019
Scott, Dana S.
4
1977
Data types as lattices. Zbl 0337.02018
Scott, Dana
184
1976
An algebraic correspondence with applications to projective bundles and blowing up Chern classes. Zbl 0296.14009
Lascu, A. T.; Scott, D. B.
9
1975
The self-intersection formula and the ’formule-clef’. Zbl 0341.14002
Lascu, A. T.; Mumford, D.; Scott, D. B.
8
1975
Data types as lattices. Zbl 0322.02024
Scott, Dana
7
1975
Combinators and classes. Zbl 0342.02018
Scott, Dana
5
1975
Some philosophical issues concerning theories of combinators. Zbl 0342.02019
Scott, Dana
4
1975
Lambda calculus and recursion theory. (Preliminary version.). Zbl 0322.02023
Scott, Dana
3
1975
Completeness and axiomatizability in many-valued logic. Zbl 0318.02021
Scott, Dana
37
1974
Rules and derived rules. Zbl 0296.02012
Scott, Dana
12
1974
Axiomatizing set theory. Zbl 0319.02061
Scott, Dana
7
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
2
1974
Background to formalization. Zbl 0277.02003
Scott, Dana S.
3
1973
Continuous lattices. Zbl 0239.54006
Scott, Dana
60
1972
Lattice theory, data types and semantics. Zbl 0279.68042
Scott, Dana
7
1972
On polynomials in a polynomial. Zbl 0255.12101
Evyatar, A.; Scott, D. B.
1
1972
Toward a mathematical semantics for computer languages. Zbl 0268.68004
Scott, Dana; Strachey, Christopher
50
1971
The lattice of flow diagrams. Zbl 0228.68016
Scott, Dana
17
1971
Ordinal definability. Zbl 0226.02048
Myhill, John; Scott, Dana
10
1971
Advice on modal logic. Zbl 0295.02013
Scott, Dana
27
1970
Constructive validity. Zbl 0206.28402
Scott, D.
4
1970
Semantical archaeology: A parable. Zbl 0211.01002
1
1970
Extending the topological interpretation to intuitionistic analysis. II. Zbl 0213.01203
Scott, D.
1
1970
Boolean models and nonstandard analysis. Zbl 0187.27101
Scott, D.
6
1969
Natural lifts and the covariant systems of Todd. Zbl 0183.25601
Scott, D. B.
4
1969
On completing ordered fields. Zbl 0188.32202
Scott, D.
4
1969
Extending the topological interpretation to intuitionistic analysis. Zbl 0197.00201
Scott, Dana
15
1968
Some definitional suggestions for automata theory. Zbl 0164.32103
Scott, D.
36
1967
A proof of the independence of the continuum hypothesis. Zbl 0149.25302
Scott, D.
20
1967
Assigning probabilities to logical formulas. Zbl 0202.29905
Scott, Dana; Krauss, Peter
33
1966
Mathematical analysis. An introduction. Zbl 0136.34203
Scott, D. B.; Tims, S. R.
3
1966
Some algebro-geometric fibre spaces. Zbl 0148.41601
Scott, D. B.
1
1966
Logic with denumerably long formulas and finite strings of quantifiers. Zbl 0166.26003
Scott, Dana
34
1965
Measurement structures and linear inequalities. Zbl 0129.12102
Scott, Dana
145
1964
Additions to some results of Erdős and Tarski. Zbl 0173.00803
Monk, J. Donald; Scott, D.
6
1964
Invariant Borel sets. Zbl 0152.21304
Scott, Dana
4
1964
Reduced direct products. Zbl 0108.00501
Frayne, T.; Morel, A. C.; Scott, D. S.
53
1963
Algebras of sets binumerable in complete extensions of arithmetic. Zbl 0199.02601
Scott, D.
21
1962
Quine’s individuals. Zbl 0151.00904
Scott, D.
4
1962
More on the axiom of extensionality. Zbl 0199.01403
Scott, Dana
1
1962
Measurable cardinals and constructible sets. Zbl 0154.00702
Scott, D.
36
1961
Tangent-direction bundles of algebraic varieties. Zbl 0100.35603
Scott, D. B.
1
1961
The tangent direction bundle of an algebraic variety and generalized Jacobians of linear systems. Zbl 0124.37002
Ingleton, A. W.; Scott, D. B.
1
1961
On a theorem of Rabin. Zbl 0173.00604
Scott, D.
3
1960
Completeness proofs for the intuitionistic sentential calculus. Zbl 0201.32403
Scott, D.
1
1960
Finite automata and their decision problems. Zbl 0158.25404
Rabin, M. O.; Scott, D.
312
1959
Foundational aspects of theories of measurement. Zbl 0084.24603
Scott, Dana; Suppes, Patrick
179
1959
Finite automata and their decision problems. Zbl 1461.68105
Rabin, M. O.; Scott, D.
5
1959
The sentential calculus with infinitely long expressions. Zbl 0119.25002
Scott, D.; Tarski, A.
9
1958
The independence of certain distributive laws in Boolean algebras. Zbl 0092.03401
Scott, Dana
6
1957
Equationally complete extensions of finite algebras. Zbl 0073.24602
Scott, Dana
7
1956
A symmetric primitive notion for Euclidean geometry. Zbl 0072.15502
Scott, Dana
4
1956
A vector method for solving linear equations and inverting matrices. Zbl 0074.10702
Roth, J. P.; Scott, D. S.
1
1956
Equational completeness of abstract algebras. Zbl 0073.24501
Kalicki, Jan; Scott, Dana
25
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)

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.