Jeffrey Yi-Lin Forrest

Jeffrey Yi-Lin Forrest

Slippery Rock University
Verified email at sru.edu
Cited by 12480
business studies systems research foundations of mathematics
Vladimir Voevodsky

Vladimir Voevodsky

Institute for Advanced Study
Cited by 10772
Mathematics Algebraic Geometry Foundations of Mathematics
Patrik Eklund

Patrik Eklund

Professor in Computer Science, Umeå University, Sweden
Verified email at cs.umu.se
Cited by 7248
AI Algebraic Logic Foundations of Mathematics Medical Informatics
Stephen G. Simpson

Stephen G. Simpson

Research Professor, Mathematics, Vanderbilt University
Verified email at psu.edu
Cited by 6594
Mathematical Logic Foundations of Mathematics Degrees of Unsolvability Ramsey Theory
Arnon Avron

Arnon Avron

Professor of Computer Science, Tel Aviv university
Verified email at cs.tau.ac.il
Cited by 6534
Logic Foundations of Mathematics Automated Reasoning
Valentin Turchin

Valentin Turchin

Emeritus Professor of Computer Science, City College, City University of New York
Verified email at vub.ac.be
Cited by 4109
Cybernetics Artificial Intelligence Foundations of Mathematics Compilers Philosophy
Vladimir Kanovei (Владимир Григорьевич Кановей)

Vladimir Kanovei (Владимир Григорьевич Кановей)

IITP, Moscow, Russia
Verified email at iitp.ru
Cited by 2285
nonstandard analysis logic set theory foundations of mathematics
Joan Bagaria

Joan Bagaria

ICREA Research Professor, Universitat de Barcelona
Verified email at ub.edu
Cited by 1102
Set Theory Mathematical Logic Foundations of Mathematics Philosophy of Mathematics large Cardinals
Jaap van Oosten

Jaap van Oosten

Senior Lecturer in Mathematics, Utrecht University
Verified email at uu.nl
Cited by 1036
Logic Foundations of Mathematics Topos Theory
Benno van den Berg

Benno van den Berg

Assistant professor, University of Amsterdam
Verified email at uva.nl
Cited by 990
Logic Category Theory Foundations of Mathematics
1 - 10