About
![Profile](img/Iovino-selfie-2023-05-10.jpg)
I am a professor at the Department of Mathematics of the University of Texas at San Antonio.
My research is in mathematical logic. My field within logic is model theory, which is the meta-mathematical study of the notion of mathematical truth.
Current projects include the use of model-theoretic methods in quantum information, as well as the study of complexity and learnability of information in large networks. This is an ongoing collaboration with my colleagues Samson Alva, Eduardo Dueñez, and Claire Walton of The University of Texas at San Antonio.
If you are a mathematics, computer science, or physics student interested in doing advanced research on interactions between logic and information and learnability, or logic and combinatorics, or the logical foundations of quantum mechanics, do feel free to contact me. You will need a solid background in basic undergraduate mathematics (algebra, analysis, discrete mathematics, measure theory, topology).
Mini-CV
PROFESSIONAL PREPARATION
- PhD, University of Illinois at Urbana-Champaign, Urbana, Illinois, 1994
APPOINTMENTS
- UNIVERSITY OF TEXAS AT SAN ANTONIO, Professor, San Antonio, Texas, 2020
- UNIVERSITY OF TORONTO, Professor, Status-Only, 2012-2015
- CARNEGIE MELLON UNIVERSITY, Visiting Associate Professor, Pittsburgh, Pennsylvania, 2012-2013
- UNIVERSITY OF TEXAS AT SAN ANTONIO, Associate Professor, San Antonio, Texas, 2004
- UNIVERSITY OF TEXAS AT SAN ANTONIO, Assistant Professor, San Antonio, Texas, 2000
- MCGILL UNIVERSITY, Postdoctoral Fellow, Montréal, Québec, 1999
- UNIVERSITY OF TORONTO, Visiting Professor, Toronto, Ontario, 1998
- CARNEGIE MELLON UNIVERSITY, Visiting Assistant Professor, Pittsburgh, Pennsylvania, 1997-1998
- CARNEGIE MELLON UNIVERSITY, Zeev Nehari Visiting Assistant Professor,
Pittsburgh, Pennsylvania, 1994-1997
RECENT VISITING POSITIONS
- UNIVERSITY OF CAMPANIA, Italy, Visiting Professor, 2021
- UNIVERSITY OF TRENTO, Italy, Visiting Professor, 2020
Preprints & Reprints
- J. Iovino, The Morley rank of a Banach space. Journal of Symbolic Logic, 61 (1996), 928-941
- J. Iovino, Definability in functional analysis. Journal of Symbolic Logic 62 (1997), 493-505.
- J. Iovino, Types on stable Banach spaces. Fundamenta Mathematicae, 159 (1998), 85-95.
- J. Iovino, Stable Banach spaces and Banach space structures, I: Fundamentals. In Models, Algebras, and Proofs, (X. Caicedo, C. Montenegro, Ed.), Marcel Dekker, New York, 1999
- J. Iovino, Stable Banach spaces and Banach space structures, II: Forking and compact topologies. In Models, Algebras, and Proofs, (X. Caicedo, C. Montenegro, Ed.), Marcel Dekker, New York, 1999.
- J. Iovino, Stable models and reflexive Banach spaces. Journal of Symbolic Logic, 64 (1999), 1595-1600. (Note: the published version is shorter.)
- J. Iovino, On the maximality of logics with approximations. Journal of Symbolic Logic, 66 (2001), 1909-1918.
- R. Grossberg, J. Iovino, and O. Lessmann, A primer of simple theories. Archive for Mathematical Logic, 41 (2002) 541-580. (Reprint can be downloaded from the Elsevier website.)
- J. Iovino, Definable types over Banach spaces. Notre Dame Journal of Formal Logic, 46 (2005) 19-50.
- J. Iovino, Definability, semidefinability, and asymptotic structure in analysis. Contemporary Mathematics, American Mathematical Society, 380:167--202 (2005), Adreas Blass, Yi Zhang, ed.
- S. Deacon, E. Dueñez, and J. Iovino, A threshold cryptosystem based on residue rings. Journal of Discrete Mathematical Sciences and Cryptography, 10:559-571 (2007).
- I. Ben Yaacov and J. Iovino, Model theoretic forcing in analysis. Annals of Pure and Applied Logic, 158:163-174 (2009).
- J. Iovino, Analytic structures and model theoretic compactness. In The Many Sides of Logic (Walter Carnielli, Marcelo E. Coniglio, Itala M. Loffredo D`Ottaviano, Ed), Sudies in Logic, College Publications, London, 2010.
- J. Avigad and J. Iovino, Ultraproducts and metastability. New York Journal of Mathematics 119:1-15 (2013).
- X. Caicedo and J. Iovino, Omitting uncountable types and the strength of [0,1]-valued logics. Annals of Pure and Appled Logic, 165:1169–1200 (2014).
- E. Dueñez and J. Iovino, Model theory and metric convergence I: Metastability and dominated convergence. Chapter 5 of Beyond First Order Model Theory, CRC Press, 2017.
- E. Dueñez and J. Iovino, Model theory and metric convergence II: Averages of unitary polynomial actions. Contemporary Mathematics, 775 (2021).
- X. Caicedo, E. Dueñez and J.Iovino, Metastable convergence and logical compactness. In Beyond First Order Model Theory, Volume II. Chapman and Hall/CRC Press, 2023.
- P. Casazza, E. Dueñez and J. Iovino, Nondefinability of the spaces of Tsirelson and Schlumprecht. To appear.
- S. Alva, E. Dueñez J. Iovino and Claire Walton, Deep equilibria: Existence and computability. Preprint.
Analysis and Logic
- C. W. Henson and J. Iovino, Ultraproducts in Analysis. Part I of the three-part book Analysis and Logic, by C. W. Henson, J. Iovino, A. S. Kechris, and E. W. Odell, London Mathematical Society Lecture Note Series, Cambridge University Press, 2003. (ISBN-10: 0521648610 | ISBN-13: 9780521648615)
- “One does not need to be a specialist in analysis to find this book a worthy item in the library.” (Newsletter of the European Mathematical Society. (Full review.)
- “Jedem Mathematiker kann wenigstens ein Schmökern in diesem sehr attraktiven Band empfohlen werden.” (Internationale Mathematische Nachrichten. (Full review).
- Cambridge University Press Maths Bestsellers list.
Monographs
- J. Iovino, Applications of Model Theory to Functional Analysis. Dover Publications, 2014.
- I am grateful to Dover publications for allowing me to post a copy of the manuscript here.
Edited Volumes
Teaching
I am one of the coordinators of the program on Mathematics of Data and Computing at The University of Texas at San Antonio.
I am currently serving as the Graduate Advisor for the Master of Science in Mathematics.
Courses taught in 2023-2024 at UT San Antonio include Quantum Theory, Discrete Mathematics, Graph Theory, and Combinatorics.
Contact
![Profile](img/iovino-guitar-2023-05-17.jpg)
Office |
|
Flawn Sciences Building 4.01.13 |