{"id":1801,"date":"2026-05-06T16:38:26","date_gmt":"2026-05-06T20:38:26","guid":{"rendered":"https:\/\/people.clas.ufl.edu\/zapletal\/?page_id=1801"},"modified":"2026-05-06T16:49:40","modified_gmt":"2026-05-06T20:49:40","slug":"resume","status":"publish","type":"page","link":"https:\/\/people.clas.ufl.edu\/zapletal\/resume\/","title":{"rendered":"Resume"},"content":{"rendered":"\n

Name: <\/strong>Jindrich Zapletal<\/p>\n\n\n\n

Address:<\/strong> Dept. of Math., University of Florida, Gainesville FL 32611, USA<\/p>\n\n\n\n

E-mail address:<\/strong> zapletal at math.ufl.edu<\/p>\n\n\n\n

Areas of specialization<\/strong>: Mathematical logic, set theory<\/p>\n\n\n\n

Education<\/strong><\/p>\n\n\n\n

DSc. in Mathematics, Czech Academy of Sciences 2007<\/p>\n\n\n\n

Ph. D. in Mathematics, The Pennsylvania State Univ. 1995, supervisor T. Jech<\/p>\n\n\n\n

M. A. in Mathematics, Charles University, Prague 1994<\/p>\n\n\n\n

B. A. in Mathematics, Charles University, Prague 1990<\/p>\n\n\n\n

Employment<\/strong><\/p>\n\n\n\n

2022 visiting position, Institute of Mathematics, Czech Academy of Sciences<\/p>\n\n\n\n

2009-present professor, University of Florida<\/p>\n\n\n\n

2009-2012 Purkyn\u011b Fellow, Czech Academy of Sciences<\/p>\n\n\n\n

2005-2009 associate professor, University of Florida<\/p>\n\n\n\n

2000-2005 assistant professor, University of Florida<\/p>\n\n\n\n

1998-2000 John Wesley Young instructor, Dartmouth College<\/p>\n\n\n\n

1996-1998 Bateman research instructor, California Institute of Technology<\/p>\n\n\n\n

1995-1996 postdoctoral fellow, Math. Sciences Research Institute Berkeley<\/p>\n\n\n\n

1990-1995 teaching assistant, The Pennsylvania State University<\/p>\n\n\n\n

Funding<\/strong><\/p>\n\n\n\n

2023-2026 NSF grant DMS 2348371, Choiceless Set Theory<\/p>\n\n\n\n

2024-2027 NSF grant DMS 2401437 to organize annual weekend logic conference at UF, $90000<\/p>\n\n\n\n

2020-2022 NSF grant DMS 1945890 to organize annual weekend logic conference at UF, $45000<\/p>\n\n\n\n

2014–2018 NSF grant DMS-1362273 to organize annual weekend logic conference at UF, $45000<\/p>\n\n\n\n

2012–2016 NSF grant DMS 1161078<\/p>\n\n\n\n

2010\/2011 AIP project MEB051006, cooperation between Academy of Sciences, Czech Republic, and University of Wroclaw, CZK132000<\/p>\n\n\n\n

2009\/2010 AIP project MEB060909, cooperation between Academy of Sciences, Czech Republic, and Kurt Goedel Center in Vienna, CZK126000<\/p>\n\n\n\n

2009-2012 Purkyn\u011b fellowship, Czech Academy of Sciences<\/p>\n\n\n\n

2009-2012 grant IAA100190902 of Grant Agency of the Academy of Sciences of the Czech Republic<\/p>\n\n\n\n

2008-2012 NSF grant DMS 0801114, $110000<\/p>\n\n\n\n

2006-2007 NSF grant DMS 0532644 (PI) to organize special year in logic at UF, $138000<\/p>\n\n\n\n

2003-2006 grant GA CR 201-03-0933 of the Grant Agency of Czech Republic<\/p>\n\n\n\n

2003-2006 NSF grant DMS 0335481 to organize an annual logic conference at UF, $15000<\/p>\n\n\n\n

2003-2006 NSF grant DMS 0300201 $103827<\/p>\n\n\n\n

2000-2003 NSF grant DMS 0071437, $61431<\/p>\n\n\n\n

2000-2003 grant GA \u010cR 201-00-1466 of the Grant Agency of Czech Republic<\/p>\n\n\n\n

1997-2000 grant GA \u010cR 201-97-0216 of the Grant Agency of Czech Republic<\/p>\n\n\n\n

Publications<\/strong><\/p>\n\n\n\n

Dynamical ideals and the axiom of choice. Canadian Journal of Mathematics (2026), 1-24<\/p>\n\n\n\n

Coloring equilateral triangles. The Journal of Symbolic Logic (2025), 1-14.<\/p>\n\n\n\n

Triangles and Vitali sets, Combinatorica 45 (2025), no. 5, Paper No. 54, 19 pp.<\/p>\n\n\n\n

Two graph games, with David Chodounsk\u00fd, David, Electron. J. Combin. 31 (2024), no. 2, Paper No. 2.44, 14 pp.<\/p>\n\n\n\n

On the consistency strength of Martin’s Maximum of omega one, with Dobrinen, Natasha; Krueger, John; Marun, Pedro; Mota, Miguel Angel,
Proc. Amer. Math. Soc. 152 (2024), no. 5, 2229\u20132237<\/p>\n\n\n\n

Subadditive families of hypergraphs, Ann. Pure Appl. Logic 175 (2024), no. 1, Paper No. 103322, 8 pp.<\/p>\n\n\n\n

Coloring closed Noetherian graphs, Journal of Mathematical Logic 24 (2024), no. 3, Paper No. 2350010, 21 pp.<\/p>\n\n\n\n

Coloring the distance graphs, Eur. J. Math. 9 (2023), no. 3, 66.<\/p>\n\n\n\n

Coloring triangles and rectangles, Comment. Math. Univ. Carolin. 64 (2023), no. 1, 83\u201396<\/p>\n\n\n\n

Krull dimension in set theory Ann. Pure Appl. Logic 174 (2023), no. 9, Paper No. 103299, 16 pp.<\/p>\n\n\n\n

Polar forcings and measured extensions, with Paul Larson. Topology Appl. 323 (2023), Paper No. 108290, 12 pp.<\/p>\n\n\n\n

Sequential topologies and Dedekind finite sets. MLQ Math. Log. Q. 68 (2022), no. 1, 107\u2013109<\/p>\n\n\n\n

Set Theory and Foundations of Mathematics: An Introduction to Mathematical Logic, Volume II: Foundations. With Douglas Cenzer, Christopher Porter, and Jean Larson, World Scientific.(2022), 239 pages, ISBN: 978-981-124-384-4; 978-981-124-385-1; 978-981-124-386-8<\/p>\n\n\n\n

Structure and Randomness in Computability and Set Theory (edited with Douglas Cenzer and Chris Porter), World Scientific Press (2020), 366 pages, ISBN-10: 9813228229<\/p>\n\n\n\n

Ideals and their generic ultrafilters, with David Chodounsk\u00fd, Notre Dame J. Formal Logic 61, Number 3 (2020), 403-408<\/p>\n\n\n\n

Preservation theorems for Namba forcing, with Osvaldo Guzm\u00e1n and Michael Hru\u0161\u00e1k, Annals of Pure and Applied Logic 172, Issue 2, February 2021, 102869<\/p>\n\n\n\n

Geometric set theory, with Paul Larson, 320 pp. AMS Surveys and Monographs 248, 2020, ISBN 978-1-4704-6018-1<\/p>\n\n\n\n

Set Theory and Foundations of Mathematics: An Introduction to Mathematical Logic, Volume I: Set Theory. With Douglas Cenzer, Christopher Porter, and Jean Larson, World Scientific 2020, ISBN 978-981-120-192-9<\/p>\n\n\n\n

Hypergraphs and proper forcing, J. Math. Log. 19 (2019), no. 2, 1950007, 64 pp.<\/p>\n\n\n\n

Discontinuous homomorphisms, selectors, and automorphisms of the complex field, with Paul Larson, Proc. Amer. Math. Soc. 147 (2019), no. 4, 1731–1737<\/p>\n\n\n\n

Separating equivalence classes. Comment. Math. Univ. Carolin. 59 (2018), no. 4, 531\u2013540<\/p>\n\n\n\n

Bounded Namba Axiom may fail, Math. Logic Quarterly 64 (2018), no. 3, 170–172<\/p>\n\n\n\n

Cardinal invariants of closed graphs, with Francis Adams, Israel J. Math. 227 (2018), no. 2, 861\u2013-888<\/p>\n\n\n\n

Canonical models for fragments of the axiom of choice, with Paul Larson, J. Symb. Log. 82 (2017), no. 2, 489-\u2013509<\/p>\n\n\n\n

Strong measure zero sets in Polish groups, with Michael Hru\u0161\u00e1k, Illinois J. Math. 60 (2016), no. 3-4, 751\u2013760<\/p>\n\n\n\n

Ramsey ultrafilters and countable-to-one uniformization, with Paul Larson and Richard Ketchersid, Topology Appl. 213 (2016), 190\u2013198<\/p>\n\n\n\n

Interpreter for topologists, J. Log. Anal. 7 (2015), Paper 6, 61 pp.<\/p>\n\n\n\n

Why Y-c.c., with David Chodounsk\u00fd, Annals of Pure and Applied Logic 166 (2015) 1123-1149<\/p>\n\n\n\n

Dimension theory and forcing. Topology Appl. 167 (2014), 31\u201335<\/p>\n\n\n\n

Cofinalities of Borel ideals, with Michael Hrusak and Diego Rojas Rebolledo, Math. Log. Q. 60 (2014), no. 1-2, 31\u201339<\/p>\n\n\n\n

Analytic equivalence relations and the forcing method. Bull. Symbolic Logic 19 (2013), no. 4, 473\u201349<\/p>\n\n\n\n

Canonical Ramsey theory on Polish spaces, with Vladimir Kanovei and Marcin Sabok, Cambridge Tracts in Mathematics, 202. Cambridge University Press, Cambridge, 2013<\/p>\n\n\n\n

Separation problems and forcing. J. Math. Log. 13 (2013), no. 1350002, 23 pp.<\/p>\n\n\n\n

On the Steinhaus and Bergman properties for infinite products of finite groups, with Simon Thomas, Confluentes Math. 4 (2012 )1250002, 26 pp.<\/p>\n\n\n\n

Pinned equivalence relations, Mathematical Research Letters 18 (2011) 559-564<\/p>\n\n\n\n

More ideals with the Komjath-Laczkovich property, Topology and Its Applications 158 (2011) 1149-1156<\/p>\n\n\n\n

Forcing properties of ideals of closed sets, with Marcin Sabok, J. Symbolic Logic 76 (2011) 1075–1095<\/p>\n\n\n\n

Ramsey theorem for product of finite sets with submeasures, with Saharon Shelah, Combinatorica 31 (2011) 225-244<\/p>\n\n\n\n

On the existence of a sigma-closed dense subset, Comment.Math.Univ.Carolin. 51,3 (2010) 513-517<\/p>\n\n\n\n

Applications of the ergodic iteration theorem. Math. Log. Q. 56 (2010), no. 2, 116-125<\/p>\n\n\n\n

Regular embeddings of the stationary tower and Woodin’s Sigma Two Two maximality theorem, with Richard Ketchersid and Paul Larson, J. Symbolic Logic 75 (2010), no. 2, 711-727<\/p>\n\n\n\n

Preserving P-points in definable forcing. Fund. Math. 204 (2009), no. 2, 145-154<\/p>\n\n\n\n

Increasing $\\delta^1_2$ by a Namba-style forcing, with Richard Ketchersid and Paul Larson, J. Symbolic Logic 72 (2007), 1372–1378<\/p>\n\n\n\n

On the structure of stationary sets, with Qi Feng and Thomas Jech, Sci. China Ser. A 50 (2007) 615-627<\/p>\n\n\n\n

Forcing with quotients, with Michael Hru\u0161\u00e1k, Archive Math. Logic 47 (2008), 719-739<\/p>\n\n\n\n

Forcing idealized, Cambridge Tracts in Mathematics, Cambridge University Press 2008, ISBN 9780521874267<\/p>\n\n\n\n

Proper forcing and rectangular Ramsey theorems, Israel J. Math. 152 (2006), 29–47<\/p>\n\n\n\n

Between Maharam’s and von Neumann’s problem, with Ilijas Farah, Math. Research Letters 11 (2004), 673–684<\/p>\n\n\n\n

Four and more, Ann. Pure Appl. Logic, with Ilijas Farah, Ann. Pure Appl. Logic 140 (2006), 3–39<\/p>\n\n\n\n

Descriptive set theory and definable forcing, Memoirs Amer. Math. Soc. 793 (2004)<\/p>\n\n\n\n

Games with creatures, with S. Shelah, Comm. Math. Univ. Carolinae 44 (2003), 9–23<\/p>\n\n\n\n

Duality and the PCF theory, with S. Shelah, Math. Research Letters 9 (2002), 585–595<\/p>\n\n\n\n

Forcing with ideals of closed sets, Comm. Math. Univ. Carolinae 43,1 (2002), 181–188<\/p>\n\n\n\n

Isolating cardinal invariants, J. Math. Logic, 2003, 143-162<\/p>\n\n\n\n

Terminal notions in set theory, Ann. Pure Appl. Logic 109 (2001), 89–116<\/p>\n\n\n\n

Transfinite open games, Topology and Its Applications 111 (2001), 289–297<\/p>\n\n\n\n

Killing ideals and adding reals, J. Symbolic Logic 65 (2000), 747–755<\/p>\n\n\n\n

The nonstationary ideal and the other sigma ideals on omega one, Trans. Amer. Math. Soc. 352 (2000), 3981–3993<\/p>\n\n\n\n

Terminal notions, Bull. Symbolic Logic 5 (1999), 470–484<\/p>\n\n\n\n

On the Alaoglu-Birkhoff equivalence of posets, with S. Todorcevic, Illinois J. Math. 43 (1999), 281–292<\/p>\n\n\n\n

Canonical models for aleph one combinatorics, with S. Shelah, Ann. Pure Appl. Logic 98 (1999), 217–259<\/p>\n\n\n\n

Proper forcing and absoluteness in L(R), with I. Neeman, Comm. Math. Univ. Carolinae 39 (1998), 281–301<\/p>\n\n\n\n

A dichotomy for forcing notions, Math. Res. Lett. 5 (1998) 213–226<\/p>\n\n\n\n

Preserving sigma-ideals, J. Symbolic Logic 63 (1998), 1437–1441<\/p>\n\n\n\n

Keeping additivity of the null ideal small, Proc. Amer. Math. Soc. 125 (1997), 2443–2451<\/p>\n\n\n\n

Embeddings of Cohen algebras, with S. Shelah, Adv. Math. 126 (1997), 93–119<\/p>\n\n\n\n

Semi-Cohen boolean algebras, with B. Balcar and T. Jech, Ann. Pure Appl. Logic 87 (1997), 187–208<\/p>\n\n\n\n

Strongly almost disjoint functions, Israel J. Math. 97 (1997), 101–111<\/p>\n\n\n\n

Small forcings and Cohen reals, J. Symbolic Logic 62 (1997), 280–284<\/p>\n\n\n\n

Splitting number at uncountable cardinals, J. Symbolic Logic 62 (1997), 35–42<\/p>\n\n\n\n

A classification of definable partial orders on omega one, Fund. Math. 153 (1997), 141-144<\/p>\n\n\n\n

Characterization of the club forcing, in Papers on General Topology and Applications, S. Andima, R. Flagg, G. Itzkowitz,
Y. Kong, R. Kopperman amd P. Misra, eds., Annals of the New York Academy of Sciences 806 (1996), 476–484<\/p>\n\n\n\n

A new proof of Kunen inconsistency, Proc. Amer. Math. Soc. 124 (1996), 2203-2205<\/p>\n\n\n\n

More on the cut and choose game, Ann. Pure Appl. Logic 76 (1995), 291–301<\/p>\n\n\n\n

Selected recent lectures<\/strong><\/p>\n\n\n\n

\\noindent Independence relations in the Solovay model, Conference on large cardinals, forcing and related topics, Irvine. February 2026,<\/p>\n\n\n\n

\\noindent Geometric Set Theory. A three lecture invited tutorial at “Young Set Theory” meeting, Budapest, June 2024<\/p>\n\n\n\n

\\noindent Geometric Set Theory. A three lecture tutorial at “Perspectives in Set Theory” conference, Warsaw, November 2023<\/p>\n\n\n\n

\\noindent Two Graph Games. An invited lecture at “Advances in Set Theory” meeting, Hebrew University, Jerusalem, July 2022<\/p>\n\n\n\n

\\noindent Algebra and Axiom of Choice. An invited lecture at “Set Theory Workshop”, Erwin Schroedinger Institute, Vienna, July 2022<\/p>\n\n\n\n

<\/p>\n\n\n\n

Conferences Organized<\/strong><\/p>\n\n\n\n

North American Annual meeting of Association for Symbolic Logic 2022, Chair of the program committee.<\/p>\n\n\n\n

AMS Special Session on Cech-Stone Compactification of Semigroups: Algebra, Topology, Dynamics, and Combinatorics, Southeastern Sectional Meeting of AMS, Gainesville, November 2019. With Dana Bartosova<\/p>\n\n\n\n

AMS-ASL Special session on Choiceless Set Theory and Related Areas, Joint Mathematics Meetings, Denver, January 2020. With Paul Larson<\/p>\n\n\n\n

Winter school in theory 2011 and 2012, Hejnice, Czech Republic, program committee<\/p>\n\n\n\n

events of the Special year in Logic 2006-7 at UF, including 6 major meetings and hundreds of guests<\/p>\n\n\n\n

South Eastern Logic Symposium, University of Florida, March 2001-2026 except for 2002, 2007, 2019<\/p>\n\n\n\n

Other professional activities<\/strong><\/p>\n\n\n\n

Referee: Advances in Mathematics, Annals of Pure and Applied Logic, Journal of Symbolic Logic, Fundamenta Mathematica, Order, Proceedings of American Mathematical Society, University Lecture Series of AMS<\/p>\n\n\n\n

Reviewer: DMS NSF, 1999, Israel Science Foundation 2004, United States-Israel Binational Science Foundation 2006,
Wissenschaftfonds (Austrian scientific foundation), 2008<\/p>\n\n\n\n

Panelist: DMS NSF, intermittently<\/p>\n\n\n\n

<\/div>\n\n\n\n
    \n
  • <\/li>\n<\/ul>\n\n\n\n
      \n
    • <\/li>\n<\/ul>\n\n\n\n

      <\/p>\n","protected":false},"excerpt":{"rendered":"

      Name: Jindrich Zapletal Address: Dept. of Math., University of Florida, Gainesville FL 32611, USA E-mail address: zapletal at math.ufl.edu Areas of specialization: Mathematical logic, set theory Education DSc. in Mathematics, […]<\/p>\n","protected":false},"author":251,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_acf_changed":false,"featured_post":"","footnotes":"","_links_to":"","_links_to_target":""},"class_list":["post-1801","page","type-page","status-publish","hentry"],"acf":[],"_links":{"self":[{"href":"https:\/\/people.clas.ufl.edu\/zapletal\/wp-json\/wp\/v2\/pages\/1801","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/people.clas.ufl.edu\/zapletal\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/people.clas.ufl.edu\/zapletal\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/people.clas.ufl.edu\/zapletal\/wp-json\/wp\/v2\/users\/251"}],"replies":[{"embeddable":true,"href":"https:\/\/people.clas.ufl.edu\/zapletal\/wp-json\/wp\/v2\/comments?post=1801"}],"version-history":[{"count":8,"href":"https:\/\/people.clas.ufl.edu\/zapletal\/wp-json\/wp\/v2\/pages\/1801\/revisions"}],"predecessor-version":[{"id":1811,"href":"https:\/\/people.clas.ufl.edu\/zapletal\/wp-json\/wp\/v2\/pages\/1801\/revisions\/1811"}],"wp:attachment":[{"href":"https:\/\/people.clas.ufl.edu\/zapletal\/wp-json\/wp\/v2\/media?parent=1801"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}