Faculty

Institution

Unit

Venue

John R. Steel

Professor Emeritus Emeritus Faculty

University of California, Berkeley

Affiliations

College of Letters & Science

Arts & Humanities

Mathematical & Physical Sciences

Mathematics

Arts & Humanities

Philosophy

John R. Steel is currently serving as an Arts & Humanities Professor Emeritus Emeritus Faculty at University of California, Berkeley.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

John R. Steel

University of California, Berkeley

Professor Emeritus Emeritus Faculty

You can click a keyword to filter the displayed items

mathematics applied mathematics linguistics mathematical logic philosophy semantics logic in computer science scaling analysis cabal seminar mathematical analysis number theory theory of computation model theory applied logic scalability automated reasoning core model ordinal definability fine structure formal methods computational complexity mathematical sciences mammalian biology digital scholarship computational model theory order theory knockout mice logical formalism symbolic computation history of logic philosophy of logic projective determinacy inner model theory arithmetic equivalence projective ordinals wadge degrees recursion theory iteration trees mathematical optimization spectral theory research library historical review knowledge discovery information visualization image representation documentation entrepreneurship small business management condensed matter theoretical modeling measure theory non-cooperative game theory neural scaling law multiple scale multiscale analysis feature scaling theoretical analysis choice theory quantification substructural logic analytic number theory global analysis computability theory journal citation report bibliometrics abstract complexity inductive reasoning inductive inference dynamic epistemic logic knowledge graph embeddings embedded machine learning inner models well-ordered inner models core models weak gap domestic levels set theory foundation of mathematics

Video Presentations

Notable Scholarly Works

Notable Federal Grants

Collaborators

The Comparison Lemma. Annals of Pure and Applied Logic (2023)

John R. Steel

logic in computer scienceapplied logiccomparison lemmaapplied mathematicsmathematical logicpure mathematics

A Comparison Process for Mouse Pairs. (2022)

John R. Steel

comparison processmammalian biologymouse pairs

References. Edward Elgar Publishing eBooks (2021)

Andrew JohnstonRobert Huggins

strategic managemententrepreneurshipmanagementsocial innovationuniversity knowledgeinterorganizational relationshipsbusinesstechnology transfercollaboration processinter-firm coordinationuniversity collaborationsmall business managementindustrial collaboration

The Mouse Set Conjecture for Sets of Reals. arXiv (Cornell University) (2021)

Grigor SargsyanJohn Steel

topologyset theorymathematics

On Vaught’s Conjecture. Cambridge University Press eBooks (2020)

John R. Steel

A General Iterability Theorem. Cambridge University Press eBooks (2017)

John R. Steel

theory of computationlogic in computer scienceset theorygeneral iterability theoremgroup theoryapplied mathematicscomputer sciencemathematicsabstract complexity

An Inductive Definition of K. Cambridge University Press eBooks (2017)

John R. Steel

cognitive scienceinductive reasoninginductive inferenceinductive definition

Closure Under Initial Segment. Cambridge University Press eBooks (2017)

William J. MitchellJohn R. Steel

machine learninginitial segment

Embeddings of K. Cambridge University Press eBooks (2017)

John R. Steel

digital scholarshipword embeddingsembedded machine learningsymbolic linguistic representationbiological embeddinginformation visualizationdigital humanitiessocial mediadeep learningnatural language processingknowledge discoveryimage representationcognitive scienceknowledge graph embeddingscomputer sciencelinguisticsknowledge representation and reasoning

Good Extender Sequences. Cambridge University Press eBooks (2017)

William J. MitchellJohn R. Steel

1
2
3
4
5
8
10 / page

John R. Steel

Professor Emeritus Emeritus Faculty

University of California, Berkeley

Affiliations

College of Letters & Science

Arts & Humanities

Mathematical & Physical Sciences

Mathematics

Arts & Humanities

Philosophy

John R. Steel is currently serving as an Arts & Humanities Professor Emeritus Emeritus Faculty at University of California, Berkeley.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

John R. Steel

University of California, Berkeley

Professor Emeritus Emeritus Faculty

You can click a keyword to filter the displayed items

Video Presentations

Notable Scholarly Works

Notable Federal Grants

Collaborators

The Comparison Lemma. Annals of Pure and Applied Logic (2023)

John R. Steel

logic in computer scienceapplied logiccomparison lemmaapplied mathematicsmathematical logicpure mathematics

A Comparison Process for Mouse Pairs. (2022)

John R. Steel

comparison processmammalian biologymouse pairs

References. Edward Elgar Publishing eBooks (2021)

Andrew JohnstonRobert Huggins

The Mouse Set Conjecture for Sets of Reals. arXiv (Cornell University) (2021)

Grigor SargsyanJohn Steel

topologyset theorymathematics

On Vaught’s Conjecture. Cambridge University Press eBooks (2020)

John R. Steel

A General Iterability Theorem. Cambridge University Press eBooks (2017)

John R. Steel

theory of computationlogic in computer scienceset theorygeneral iterability theoremgroup theoryapplied mathematicscomputer sciencemathematicsabstract complexity

An Inductive Definition of K. Cambridge University Press eBooks (2017)

John R. Steel

cognitive scienceinductive reasoninginductive inferenceinductive definition

Closure Under Initial Segment. Cambridge University Press eBooks (2017)

William J. MitchellJohn R. Steel

machine learninginitial segment

Embeddings of K. Cambridge University Press eBooks (2017)

John R. Steel

Good Extender Sequences. Cambridge University Press eBooks (2017)

William J. MitchellJohn R. Steel

1
2
3
4
5
8
10 / page

Similar Faculty Members

Theodore A. Slaman

Institution

University of California, Berkeley

partial computations

logic in computer science

Antonio Montalban

Institution

University of California, Berkeley

mathematics

applied mathematics

Dana Scott

Institution

University of California, Berkeley

set theory

logic in computer science

Yiannis N. Moschovakis

Institution

University of California, Los Angeles

philosophy of language

philosophical logic

Harvey Friedman

Institution

Ohio State University

philosophy

general system

Itay Neeman

Institution

University of California, Los Angeles

philosophy

foundational theory

Lawrence Moss

Institution

Indiana University Bloomington

computer science

linguistics

Stephen G. Simpson

Institution

Pennsylvania State University

mathematical logic

automated deduction

Jeremy Avigad

Institution

Carnegie Mellon University

mathematical logic

formal verification

Stephen Jackson

Institution

University of North Texas

philosophy

general system

Similar Faculty Members

Theodore A. Slaman

Institution

University of California, Berkeley

partial computations

logic in computer science

Antonio Montalban

Institution

University of California, Berkeley

mathematics

applied mathematics

Dana Scott

Institution

University of California, Berkeley

set theory

logic in computer science

Yiannis N. Moschovakis

Institution

University of California, Los Angeles

philosophy of language

philosophical logic

Harvey Friedman

Institution

Ohio State University

philosophy

general system

Itay Neeman

Institution

University of California, Los Angeles

philosophy

foundational theory

Lawrence Moss

Institution

Indiana University Bloomington

computer science

linguistics

Stephen G. Simpson

Institution

Pennsylvania State University

mathematical logic

automated deduction

Jeremy Avigad

Institution

Carnegie Mellon University

mathematical logic

formal verification

Stephen Jackson

Institution

University of North Texas

philosophy

general system