Perfiles

Anil Nerode

Professor of Mathematics, Cornell University

Dirección de correo verificada de twcny.rr.com

Citado por 9376

logic hybrid systems model theory computability

Ralph McKenzie

Professor of Mathematics, Vanderbilt University

Dirección de correo verificada de vanderbilt.edu

Citado por 7001

Universal Algebra Logic Computational Complexity Model Theory Group Theory

George Georgescu

Faculty of Mathematics and Computer Science, Bucharest University

Dirección de correo verificada de unibuc.ro

Citado por 4067

universal algebra many-valued logics model theory

Manuel Bodirsky

TU Dresden, Institut für Algebra

Dirección de correo verificada de tu-dresden.de

Citado por 3899

Model Theory Finite Model Theory Universal Algebra Ramsey Theory Constraint Satisfaction

Denis Osin

Vanderbilt University

Dirección de correo verificada de vanderbilt.edu

Citado por 3608

Group theory geometric topology operator algebras model theory

John T. Baldwin

Professor Mathmematics, University of Illinois at Chicago

Dirección de correo verificada de uic.edu

Citado por 3492

model theory mathematics education

Alexandre Borovik

Dirección de correo verificada de manchester.ac.uk

Citado por 3248

group theory model theory combunatorics nonstandard analysis philosophy of mathematics

Carlos Areces

Universidad Nacional de Córdoba - CONICET

Dirección de correo verificada de famaf.unc.edu.ar

Citado por 3034

Logic Computational Logic Modal Logic Model Theory Automated Reasoning

Ilijas Farah

Professor of Mathematics, York University

Dirección de correo verificada de yorku.ca

Citado por 2895

Operator algebras set theory model theory mathematical logic.

Zlil Sela

Professor of Mathematics

Dirección de correo verificada de mail.huji.ac.il

Citado por 2518

geometric groups theory low dimensional topology model theory

1 - 10