×

zbMATH — the first resource for mathematics

Devlin, Keith J.

Compute Distance To:
Author ID: devlin.keith-j Recent zbMATH articles by "Devlin, Keith J."
Published as: Devlin, Keith; Devlin, Keith J.; Devlin, K. J.; Devlin, Keith I.
Homepage: http://web.stanford.edu/~kdevlin/
External Links: MGP · Wikidata · GND · IdRef
Documents Indexed: 81 Publications since 1972, including 36 Books

Publications by Year

Citations contained in zbMATH Open

44 Publications have been cited 524 times in 452 Documents Cited by Year
Constructibility. Zbl 0542.03029
Devlin, Keith J.
109
1984
A weak version of \(\lozenge\) which follows from \(2^{\aleph_0}<2^{\aleph_1}\). Zbl 0403.03040
Devlin, Keith J.; Shelah, Saharon
76
1978
Aspects of constructibility. Zbl 0312.02054
Devlin, Keith J.
60
1973
The Souslin problem. Zbl 0289.02043
Devlin, Keith J.; Johnsbraten, Havard
42
1974
Marginalia to a theorem of Silver. Zbl 0339.02058
Devlin, Keith I.; Jensen, R. B.
27
1975
The joy of sets. Fundamentals of contemporary set theory. 2. ed. Zbl 0792.04001
Devlin, Keith
21
1993
Some weak versions of large cardinal axioms. Zbl 0279.02051
Devlin, Keith J.
20
1973
Logic and information. Zbl 0732.03001
Devlin, Keith
16
1991
Fundamentals of contemporary set theory. Zbl 0407.04003
Devlin, Keith J.
15
1979
\(\aleph_1\)-trees. Zbl 0397.03035
Devlin, Keith J.
10
1978
Variations on \(\lozenge\). Zbl 0402.03043
Devlin, Keith J.
10
1979
Souslin properties and tree topologies. Zbl 0432.54029
Devlin, Keith J.; Shelah, Saharon
10
1979
The Yorkshireman’s guide to proper forcing. Zbl 0524.03041
Devlin, Keith J.
10
1983
A note on the normal Moore space conjecture. Zbl 0362.54024
Devlin, Keith J.; Shelah, Saharon
9
1979
More on the free subset problem. Zbl 0279.02052
Devlin, K. J.; Paris, J. B.
9
1973
Order types, trees, and a problem of Erdős and Hajnal. Zbl 0292.02055
Devlin, Keith J.
8
1974
Reduced powers of \(\aleph_ 2\)-trees. Zbl 0536.03028
Devlin, Keith J.
7
1983
The millennium problems. The seven greatest unsolved mathematical puzzles of our time. Zbl 1042.00002
Devlin, Keith
6
2002
The axiom of constructibility. A guide for the mathematician. Zbl 0369.02043
Devlin, Keith J.
6
1977
A note on the combinatorial principles \(\diamond (E)\). Zbl 0393.03036
Devlin, Keith J.
6
1978
The computer as crucible. An introduction to experimental mathematics. With illustrations by Karl H. Hofmann. Zbl 1160.00005
Borwein, Jonathan; Devlin, Keith
5
2009
The combinatorial principle diamond sharp. Zbl 0524.03043
Devlin, Keith J.
5
1982
Some remarks on changing cofinalities. Zbl 0286.02072
Devlin, Keith J.
4
1974
The math gene: how mathematical thinking evolved and why numbers are like gossip. Zbl 0955.03007
Devlin, Keith
3
2000
The consistency with CH of some consequences of Martin’s axiom plus \(2^{\aleph_0}>\aleph_1\). Zbl 0382.03040
Avraham, U.; Devlin, K. J.; Shelah, S.
3
1978
Concerning the consistency of the Souslin hypothesis with the continuum hypothesis. Zbl 0469.03034
Devlin, Keith J.
3
1980
Kurepa’s hypothesis and the continuum. Zbl 0315.02059
Devlin, Keith J.
3
1975
The unfinished game. Pascal, Fermat, and the seventeenth-century letter that made the world modern. A tale of how mathematics is really done. Zbl 1175.00001
Devlin, Keith J.
3
2008
The man of numbers. Fibonacci’s arithmetic revolution. Zbl 1293.01003
Devlin, Keith
2
2011
An introduction to the fine structure of the constructible hierarchy. (Results of Ronald Jensen.). Zbl 0295.02037
Devlin, Keith J.
2
1974
The logical structure of computer-aided mathematical reasoning. Zbl 0891.00001
Devlin, Keith
1
1997
Goodbye, Descartes. The end of logic and the search for a new cosmology of the mind. Zbl 0867.00006
Devlin, Keith
1
1997
Good-bye Descartes? Zbl 0885.01008
Devlin, Keith
1
1996
Logic and information. (Infos und Infone. Die mathematische Struktur der Information. Aus d. Engl. von Günther Eisenreich.) Zbl 0779.03001
Devlin, Keith
1
1993
Mathematics: the science of patterns. The search for order in life, mind and the universe. Zbl 0919.00001
Devlin, Keith
1
1994
Jon Barwise’s papers on natural language semantics. Zbl 1069.03015
Devlin, Keith
1
2004
Hierarchies of constructible sets. Zbl 0365.02055
Devlin, Keith J.
1
1977
On generalising Martin’s axiom. Zbl 0377.02042
Devlin, Keith J.
1
1978
Martin’s axiom versus the continuum hypothesis. Zbl 0453.03058
Devlin, Keith J.
1
1978
A new construction of a Kurepa tree with no Aronszajn subtree. Zbl 0536.03027
Devlin, Keith J.
1
1983
Note on a theorem of J. Baumgartner. Zbl 0258.02064
Devlin, Keith J.
1
1972
A note on a problem of Erdős and Hajnal. Zbl 0333.02044
Devlin, Keith J.
1
1975
A mathematician reflects on the useful and reliable illusion of reality in mathematics. Zbl 1221.00024
Devlin, Keith
1
2008
Constructibility. Reprint of the 1984 original published by Springer. Zbl 1365.03005
Devlin, Keith J.
1
2016
Constructibility. Reprint of the 1984 original published by Springer. Zbl 1365.03005
Devlin, Keith J.
1
2016
The man of numbers. Fibonacci’s arithmetic revolution. Zbl 1293.01003
Devlin, Keith
2
2011
The computer as crucible. An introduction to experimental mathematics. With illustrations by Karl H. Hofmann. Zbl 1160.00005
Borwein, Jonathan; Devlin, Keith
5
2009
The unfinished game. Pascal, Fermat, and the seventeenth-century letter that made the world modern. A tale of how mathematics is really done. Zbl 1175.00001
Devlin, Keith J.
3
2008
A mathematician reflects on the useful and reliable illusion of reality in mathematics. Zbl 1221.00024
Devlin, Keith
1
2008
Jon Barwise’s papers on natural language semantics. Zbl 1069.03015
Devlin, Keith
1
2004
The millennium problems. The seven greatest unsolved mathematical puzzles of our time. Zbl 1042.00002
Devlin, Keith
6
2002
The math gene: how mathematical thinking evolved and why numbers are like gossip. Zbl 0955.03007
Devlin, Keith
3
2000
The logical structure of computer-aided mathematical reasoning. Zbl 0891.00001
Devlin, Keith
1
1997
Goodbye, Descartes. The end of logic and the search for a new cosmology of the mind. Zbl 0867.00006
Devlin, Keith
1
1997
Good-bye Descartes? Zbl 0885.01008
Devlin, Keith
1
1996
Mathematics: the science of patterns. The search for order in life, mind and the universe. Zbl 0919.00001
Devlin, Keith
1
1994
The joy of sets. Fundamentals of contemporary set theory. 2. ed. Zbl 0792.04001
Devlin, Keith
21
1993
Logic and information. (Infos und Infone. Die mathematische Struktur der Information. Aus d. Engl. von Günther Eisenreich.) Zbl 0779.03001
Devlin, Keith
1
1993
Logic and information. Zbl 0732.03001
Devlin, Keith
16
1991
Constructibility. Zbl 0542.03029
Devlin, Keith J.
109
1984
The Yorkshireman’s guide to proper forcing. Zbl 0524.03041
Devlin, Keith J.
10
1983
Reduced powers of \(\aleph_ 2\)-trees. Zbl 0536.03028
Devlin, Keith J.
7
1983
A new construction of a Kurepa tree with no Aronszajn subtree. Zbl 0536.03027
Devlin, Keith J.
1
1983
The combinatorial principle diamond sharp. Zbl 0524.03043
Devlin, Keith J.
5
1982
Concerning the consistency of the Souslin hypothesis with the continuum hypothesis. Zbl 0469.03034
Devlin, Keith J.
3
1980
Fundamentals of contemporary set theory. Zbl 0407.04003
Devlin, Keith J.
15
1979
Variations on \(\lozenge\). Zbl 0402.03043
Devlin, Keith J.
10
1979
Souslin properties and tree topologies. Zbl 0432.54029
Devlin, Keith J.; Shelah, Saharon
10
1979
A note on the normal Moore space conjecture. Zbl 0362.54024
Devlin, Keith J.; Shelah, Saharon
9
1979
A weak version of \(\lozenge\) which follows from \(2^{\aleph_0}<2^{\aleph_1}\). Zbl 0403.03040
Devlin, Keith J.; Shelah, Saharon
76
1978
\(\aleph_1\)-trees. Zbl 0397.03035
Devlin, Keith J.
10
1978
A note on the combinatorial principles \(\diamond (E)\). Zbl 0393.03036
Devlin, Keith J.
6
1978
The consistency with CH of some consequences of Martin’s axiom plus \(2^{\aleph_0}>\aleph_1\). Zbl 0382.03040
Avraham, U.; Devlin, K. J.; Shelah, S.
3
1978
On generalising Martin’s axiom. Zbl 0377.02042
Devlin, Keith J.
1
1978
Martin’s axiom versus the continuum hypothesis. Zbl 0453.03058
Devlin, Keith J.
1
1978
The axiom of constructibility. A guide for the mathematician. Zbl 0369.02043
Devlin, Keith J.
6
1977
Hierarchies of constructible sets. Zbl 0365.02055
Devlin, Keith J.
1
1977
Marginalia to a theorem of Silver. Zbl 0339.02058
Devlin, Keith I.; Jensen, R. B.
27
1975
Kurepa’s hypothesis and the continuum. Zbl 0315.02059
Devlin, Keith J.
3
1975
A note on a problem of Erdős and Hajnal. Zbl 0333.02044
Devlin, Keith J.
1
1975
The Souslin problem. Zbl 0289.02043
Devlin, Keith J.; Johnsbraten, Havard
42
1974
Order types, trees, and a problem of Erdős and Hajnal. Zbl 0292.02055
Devlin, Keith J.
8
1974
Some remarks on changing cofinalities. Zbl 0286.02072
Devlin, Keith J.
4
1974
An introduction to the fine structure of the constructible hierarchy. (Results of Ronald Jensen.). Zbl 0295.02037
Devlin, Keith J.
2
1974
Aspects of constructibility. Zbl 0312.02054
Devlin, Keith J.
60
1973
Some weak versions of large cardinal axioms. Zbl 0279.02051
Devlin, Keith J.
20
1973
More on the free subset problem. Zbl 0279.02052
Devlin, K. J.; Paris, J. B.
9
1973
Note on a theorem of J. Baumgartner. Zbl 0258.02064
Devlin, Keith J.
1
1972
all top 5

Cited by 363 Authors

42 Shelah, Saharon
19 Friedman, Sy-David
14 Rinot, Assaf
11 Koepke, Peter
9 Devlin, Keith J.
9 Eklof, Paul C.
8 Tall, Franklin D.
8 Todorcevic, Stevo B.
7 Moore, Justin Tatch
7 Schimmerling, Ernest
6 Dow, Alan S.
6 Lubarsky, Robert S.
6 Mekler, Alan H.
6 Mildenberger, Heike
5 Abraham, Uri
5 Fuchs, Gunter
5 Golshani, Mohammad
5 Koszmider, Piotr B.
5 Velickovic, Boban
5 Weiss, William A. R.
4 Brodsky, Ari Meir
4 Cummings, James
4 Gitik, Moti
4 Göbel, Rüdiger
4 Hajnal, András
4 Larson, Paul B.
4 Matet, Pierre
4 Mehta, Ghanshyam Bhagvandas
4 Ostaszewski, Adam J.
4 Sureson, Claude
4 Zeman, Martin
3 Asperó, David
3 Brendle, Jörg
3 Džamonja, Mirna
3 Fleissner, William G.
3 Floridi, Luciano
3 Hamkins, Joel David
3 Herden, Gerhard
3 Hrušák, Michael
3 Juhász, István
3 Kanamori, Akihiro
3 Komjáth, Péter
3 Lambie-Hanson, Chris
3 Magidor, Menachem
3 Rathjen, Michael
3 Sacks, Gerald E.
3 Schindler, Ralf-Dieter
3 Stanley, Lee J.
3 Steprāns, Juris
3 Tohmé, Fernando A.
3 Vasey, Sebastien
3 Welch, Philip D.
3 Woodin, W. Hugh
2 Apter, Arthur W.
2 Avraham, Uri
2 Balogh, Zoltan T.
2 Bingham, Nicholas Hugh
2 Budinas, B. L.
2 Cameron, Peter Jephson
2 Candeal, Juan Carlos
2 Cheng, Yong
2 Chong, Chi Tat
2 Corazza, Paul
2 Donder, Hans-Dieter
2 Dugas, Manfred H.
2 Garti, Shimon
2 Good, Chris
2 Heifetz, Aviad
2 Induráin, Esteban
2 Irrgang, Bernhard
2 Ishiu, Tetsuya
2 Kemoto, Nobuyuki
2 Kuzeljević, Boriša
2 Landver, Avner
2 Laver, Richard Joseph
2 Li, Hui
2 Manevitz, Larry Michael
2 Mathias, Adrian R. D.
2 Miller, Arnold W.
2 Nyikos, Peter J.
2 Paulson, Lawrence Charles
2 Peng, Liangxue
2 Pietsch, Albrecht
2 Salce, Luigi
2 Samet, Dov
2 Scharfenberger-Fabian, Gido
2 Scheepers, Marion
2 Schlindwein, Chaz
2 Schrittesser, David
2 Shakhmatov, Dmitri B.
2 Soukup, Dániel Tamás
2 Stanley, Maurice C.
2 Steel, John R.
2 Talayco, Daniel E.
2 Usuba, Toshimichi
2 Velleman, Dan
2 Villegas Silva, Luis Miguel
2 Wehrung, Friedrich
2 Yorioka, Teruyuki
2 Yu, Liang
...and 263 more Authors
all top 5

Cited in 96 Serials

68 The Journal of Symbolic Logic
63 Annals of Pure and Applied Logic
38 Israel Journal of Mathematics
33 Topology and its Applications
27 Transactions of the American Mathematical Society
21 Archive for Mathematical Logic
20 Proceedings of the American Mathematical Society
12 The Bulletin of Symbolic Logic
11 Advances in Mathematics
6 Rocky Mountain Journal of Mathematics
6 Notre Dame Journal of Formal Logic
4 Periodica Mathematica Hungarica
4 Journal of Algebra
4 Journal of Mathematical Economics
4 Acta Mathematica Hungarica
4 Order
4 Mathematical Logic Quarterly (MLQ)
3 Archiv für Mathematische Logik und Grundlagenforschung
3 The Mathematical Intelligencer
3 Acta Mathematica
3 Fundamenta Mathematicae
3 Journal of Philosophical Logic
3 Mathematische Zeitschrift
3 Synthese
3 Theoretical Computer Science
3 Journal of Automated Reasoning
3 Erkenntnis
3 Journal of Mathematical Logic
2 Discrete Mathematics
2 Archiv der Mathematik
2 Integral Equations and Operator Theory
2 Journal of Pure and Applied Algebra
2 Mathematische Annalen
2 Mathematical Social Sciences
2 Bulletin of the American Mathematical Society. New Series
2 Soft Computing
1 American Mathematical Monthly
1 Bulletin of the Australian Mathematical Society
1 Communications in Algebra
1 Discrete Applied Mathematics
1 International Journal of General Systems
1 International Journal of Mathematical Education in Science and Technology
1 International Journal of Theoretical Physics
1 Journal of Mathematical Analysis and Applications
1 Mathematical Notes
1 Mathematical Proceedings of the Cambridge Philosophical Society
1 Algebra Universalis
1 The Annals of Probability
1 Annales Polonici Mathematici
1 Canadian Journal of Mathematics
1 Compositio Mathematica
1 Czechoslovak Mathematical Journal
1 Information Sciences
1 Journal of the Mathematical Society of Japan
1 Mathematika
1 Memoirs of the American Mathematical Society
1 Michigan Mathematical Journal
1 Monatshefte für Mathematik
1 Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods
1 Rendiconti del Seminario Matemàtico e Fisico di Milano
1 Rendiconti del Seminario Matematico della Università di Padova
1 Results in Mathematics
1 Siberian Mathematical Journal
1 Studia Logica
1 Combinatorica
1 History and Philosophy of Logic
1 Acta Mathematicae Applicatae Sinica. English Series
1 Journal of Symbolic Computation
1 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
1 Aequationes Mathematicae
1 SIAM Review
1 Acta Mathematica Sinica. New Series
1 Mathematical Programming. Series A. Series B
1 Indagationes Mathematicae. New Series
1 Journal of Nonlinear Science
1 Journal of Logic, Language and Information
1 Economic Theory
1 Selecta Mathematica. New Series
1 Annals of Mathematics and Artificial Intelligence
1 ACM Transactions on Modeling and Computer Simulation
1 Journal of Applied Analysis
1 Annals of Combinatorics
1 Journal of the European Mathematical Society (JEMS)
1 Journal of Applied Logic
1 Sarajevo Journal of Mathematics
1 Bulletin of the American Mathematical Society
1 BSHM Bulletin
1 Logica Universalis
1 The College Mathematics Journal
1 The Review of Symbolic Logic
1 Set-Valued and Variational Analysis
1 Forum of Mathematics, Sigma
1 Nôus
1 European Journal of Mathematics
1 Korean Journal of Mathematics
1 Journal of Algebraic Systems
all top 5

Cited in 39 Fields

378 Mathematical logic and foundations (03-XX)
69 General topology (54-XX)
29 Group theory and generalizations (20-XX)
25 Order, lattices, ordered algebraic structures (06-XX)
21 Computer science (68-XX)
15 Combinatorics (05-XX)
13 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
9 General and overarching topics; collections (00-XX)
9 History and biography (01-XX)
9 Commutative algebra (13-XX)
8 Mathematics education (97-XX)
6 Category theory; homological algebra (18-XX)
6 Topological groups, Lie groups (22-XX)
6 Measure and integration (28-XX)
4 Associative rings and algebras (16-XX)
4 Functional analysis (46-XX)
3 Number theory (11-XX)
3 Field theory and polynomials (12-XX)
3 Real functions (26-XX)
3 Partial differential equations (35-XX)
3 Approximations and expansions (41-XX)
3 Operator theory (47-XX)
3 Probability theory and stochastic processes (60-XX)
3 Operations research, mathematical programming (90-XX)
3 Information and communication theory, circuits (94-XX)
2 General algebraic systems (08-XX)
2 Difference and functional equations (39-XX)
2 Fluid mechanics (76-XX)
2 Systems theory; control (93-XX)
1 Functions of a complex variable (30-XX)
1 Special functions (33-XX)
1 Dynamical systems and ergodic theory (37-XX)
1 Sequences, series, summability (40-XX)
1 Calculus of variations and optimal control; optimization (49-XX)
1 Geometry (51-XX)
1 Algebraic topology (55-XX)
1 Manifolds and cell complexes (57-XX)
1 Numerical analysis (65-XX)
1 Quantum theory (81-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.