Faculty

Institution

Unit

Venue

Antonio Montalban

Professor

University of California, Berkeley

Affiliations

College of Letters & Science

Mathematical & Physical Sciences

Mathematics

Antonio Montalban is currently serving as a College Of Letters & Science Professor 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

Antonio Montalban

University of California, Berkeley

Professor

You can click a keyword to filter the displayed items

mathematics applied mathematics mathematical logic computational complexity computer science linguistics logic in computer science computational complexity theory algorithmic information theory formal methods theory of computation pure mathematics mathematical analysis computability theory number theory automated reasoning classical logic logical formalism automated deduction order theory philosophy of logic graph theory mathematical sciences applied logic theoretical analysis modern algebra formal mathematical reasoning symbolic computation computable structures second order arithmetic geometric topology fuzzy logic approximate reasoning combinatorial theory combinatorial optimization computational logic chaos theory turing machine formal theory computable structure theory boolean algebras analytic equivalence relations linear orders computable categoricity spectral theory applied linguistics historical review research library mathematical optimization computational imaging mathematical programming structure elucidation interpretability commutative algebra abstract algebra type theory foundation of mathematics geometry of numbers word embeddings code representation algebraic logic proof theory deontic logic theoretical linguistics complexity theory universal algebra sexism reverse mathematics open questions isomorphism relations torsion-free abelian groups isomorphism problem veblen functions computability theorists effective interpretability computable functors

Notable Scholarly Works

Notable Federal Grants

Collaborators

Computably Infinitary Languages. Cambridge University Press eBooks (2026)

foundational theorylanguageelectronic librarylanguage documentation

Forcing. Cambridge University Press eBooks (2026)

digital humanitiesmedium distributionenglishelectronic library

Hyperarithmetic Sets. Cambridge University Press eBooks (2026)

theoretical mathematicsapplied mathematicspure mathematicsmathematicsmathematical analysisset theorymathematical sciences

Infinitary Logic. Cambridge University Press eBooks (2026)

philosophy of mathematicsphilosophical logicmathematical logiclogic in computer sciencephilosophy of logicphilosophy

Iterated True-Stage Arguments. Cambridge University Press eBooks (2026)

foundational theorytheoretical argumentdigital humanitieselectronic libraryenglish

Ordinals. Cambridge University Press eBooks (2026)

digital humanitiesmedium distributionenglishelectronic library

Overspill. Cambridge University Press eBooks (2026)

digital humanitiesmedium distributionenglishelectronic library

Pi-One-One Sets. Cambridge University Press eBooks (2026)

digital humanitiesmedium distributionenglishelectronic library

The Game Metatheorem. Cambridge University Press eBooks (2026)

game studiesliteratureelectronic librarygame design

The Isomorphism Problem. Cambridge University Press eBooks (2026)

pure mathematicsmathematicselectronic librarymathematical linguisticsmathematical logic

1
2
3
4
5
12
10 / page

Antonio Montalban

Professor

University of California, Berkeley

Affiliations

College of Letters & Science

Mathematical & Physical Sciences

Mathematics

Antonio Montalban is currently serving as a College Of Letters & Science Professor 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

Antonio Montalban

University of California, Berkeley

Professor

You can click a keyword to filter the displayed items

Notable Scholarly Works

Notable Federal Grants

Collaborators

Computably Infinitary Languages. Cambridge University Press eBooks (2026)

foundational theorylanguageelectronic librarylanguage documentation

Forcing. Cambridge University Press eBooks (2026)

digital humanitiesmedium distributionenglishelectronic library

Hyperarithmetic Sets. Cambridge University Press eBooks (2026)

theoretical mathematicsapplied mathematicspure mathematicsmathematicsmathematical analysisset theorymathematical sciences

Infinitary Logic. Cambridge University Press eBooks (2026)

philosophy of mathematicsphilosophical logicmathematical logiclogic in computer sciencephilosophy of logicphilosophy

Iterated True-Stage Arguments. Cambridge University Press eBooks (2026)

foundational theorytheoretical argumentdigital humanitieselectronic libraryenglish

Ordinals. Cambridge University Press eBooks (2026)

digital humanitiesmedium distributionenglishelectronic library

Overspill. Cambridge University Press eBooks (2026)

digital humanitiesmedium distributionenglishelectronic library

Pi-One-One Sets. Cambridge University Press eBooks (2026)

digital humanitiesmedium distributionenglishelectronic library

The Game Metatheorem. Cambridge University Press eBooks (2026)

game studiesliteratureelectronic librarygame design

The Isomorphism Problem. Cambridge University Press eBooks (2026)

pure mathematicsmathematicselectronic librarymathematical linguisticsmathematical logic

1
2
3
4
5
12
10 / page

Similar Faculty Members

Theodore A. Slaman

Institution

University of California, Berkeley

partial computations

logic in computer science

Dana Scott

Institution

University of California, Berkeley

set theory

logic in computer science

John R. Steel

Institution

University of California, Berkeley

foundation of mathematics

set theory

Yiannis N. Moschovakis

Institution

University of California, Los Angeles

philosophy of language

philosophical logic

Harvey Friedman

Institution

Ohio State University

philosophy

general system

Stephen G. Simpson

Institution

Pennsylvania State University

mathematical logic

automated deduction

Peter Cholak

Institution

University of Notre Dame

extremal set theory

discrete algorithm

Jeremy Avigad

Institution

Carnegie Mellon University

mathematical logic

formal verification

Steffen Lempp

Institution

University of Wisconsin–Madison

mathematical logic

logic in computer science

Joseph S. Miller

Institution

University of Wisconsin–Madison

mathematics

applied mathematics

Similar Faculty Members

Theodore A. Slaman

Institution

University of California, Berkeley

partial computations

logic in computer science

Dana Scott

Institution

University of California, Berkeley

set theory

logic in computer science

John R. Steel

Institution

University of California, Berkeley

foundation of mathematics

set theory

Yiannis N. Moschovakis

Institution

University of California, Los Angeles

philosophy of language

philosophical logic

Harvey Friedman

Institution

Ohio State University

philosophy

general system

Stephen G. Simpson

Institution

Pennsylvania State University

mathematical logic

automated deduction

Peter Cholak

Institution

University of Notre Dame

extremal set theory

discrete algorithm

Jeremy Avigad

Institution

Carnegie Mellon University

mathematical logic

formal verification

Steffen Lempp

Institution

University of Wisconsin–Madison

mathematical logic

logic in computer science

Joseph S. Miller

Institution

University of Wisconsin–Madison

mathematics

applied mathematics