Skip to main content

Dr. John E. Krueger

Professor

University of North Texas

Department of Mathematics

Email: John.Krueger@unt.edu

Education

  • PhD, Carnegie Mellon University, 2003
    Major: Mathematical Sciences
  • MS, Carnegie Mellon University, 1999
    Major: Mathematical Sciences
  • BA, University of Georgia, 1996
    Major: Philosophy

Professional Positions

  • Postdoc, University of California, Berkeley. University of California, Berkeley. (2006 - 2009).
  • Postdoc, University of Vienna. University of Vienna. (2003 - 2006).

    • Academic - Post-Secondary

  • Associate Professor, University of North Texas. University of North Texas. (2015 - Present).
  • Assistant Professor, University of North Texas. University of North Texas. (2009 - 2015).

Professional Memberships

  • Association for Symbolic Logic. (August 2003 - Present).

Teaching

Teaching Experience

    University of North Texas

  • MATH 2700 - Linear Algebra and Vector Geometry, 2 courses.
  • MATH 2730 - Multivariable Calculus, 3 courses.
  • MATH 3000 - Real Analysis I, 3 courses.
  • MATH 3410 - Differential Equations I, 9 courses.
  • MATH 3420 - Differential Equations II, 3 courses.
  • MATH 3510 - Introduction to Abstract Algebra, 4 courses.
  • MATH 3740 - Vector Calculus, 5 courses.
  • MATH 4010 - Introduction to Metamathematics, 1 course.
  • MATH 4060 - Foundations of Geometry, 4 courses.
  • MATH 4080 - Differential Geometry, 1 course.
  • MATH 4520 - Introduction to Functions of a Complex Variable, 1 course.
  • MATH 4610 - Probability, 1 course.
  • MATH 4900 - Special Problems, 8 courses.
  • MATH 4980 - Experimental Course, 1 course.
  • MATH 5010 - Mathematical Logic and Set Theory, 1 course.
  • MATH 5020 - Mathematical Logic and Set Theory, 1 course.
  • MATH 5110 - Introduction to Analysis, 1 course.
  • MATH 5120 - Introduction to Analysis, 1 course.
  • MATH 5400 - Introduction to Functions of a Complex Variable, 1 course.
  • MATH 5410 - Complex Analysis, 5 courses.
  • MATH 5420 - COMPLEX VARIABLE, 1 course.
  • MATH 5610 - Topology., 2 courses.
  • MATH 5620 - Topology, 1 course.
  • MATH 5900 - Special Problems, 22 courses.
  • MATH 5910 - Special Problems, 1 course.
  • MATH 6010 - Topics in Logic and Foundations, 3 courses.
  • MATH 6610 - Topics in Topology and Geometry, 1 course.
  • MATH 6900 - Special Problems, 5 courses.
  • MATH 6910 - Special Problems, 1 course.
  • MATH 6940 - Individual Research, 3 courses.
  • MATH 6950 - Doctoral Dissertation, 20 courses.

Directed Student Learning

  • Doctoral Advisory Committee Chair, Mathematics. (August 2025).
  • Doctoral Advisory Committee Chair, Mathematics. (January 2021).
  • Dissertation Defense Committee Chair, Mathematics. (June 2024 - June 2024).
  • Dissertation Defense Committee Member, Mathematics. (June 2024 - June 2024).
  • Doctoral Advisory Committee Chair, Mathematics. (August 2018 - June 2024).
  • Master's Thesis Committee Member, Mathematics. (April 2022 - April 2022).
  • Master's Thesis Committee Member, Mathematics. (September 2021 - September 2021).
  • Dissertation Committee Chair, "Results on Non-Club Isomorphic Aronszajn Trees," Mathematics. (August 2020).
  • Doctoral Advisory Committee Chair, "Results on Non-Club Isomorphic Aronszajn Trees," Mathematics. (August 2014 - August 2020).
  • Directed Individual/Independent Study, Mathematics. (August 2019 - December 2019).
  • Dissertation Committee Member, Mathematics. (June 2019).
  • Directed Individual/Independent Study, Mathematics. (January 2019 - May 2019).
  • Directed Individual/Independent Study, Mathematics. (January 2019 - May 2019).
  • Other (Dissertation Research Hours), Mathematics. (January 2019 - May 2019).
  • Dissertation Committee Member, Mathematics. (March 2019).
  • Directed Individual/Independent Study, Mathematics. (August 2018 - December 2018).
  • Other (Dissertation Research Hours), Mathematics. (August 2018 - December 2018).
  • Directed Individual/Independent Study, Mathematics. (January 2018 - May 2018).
  • Directed Individual/Independent Study, Mathematics. (January 2018 - May 2018).
  • Other (Dissertation Research Hours), Mathematics. (January 2018 - May 2018).
  • Dissertation Committee Member, Mathematics. (2017).
  • Master's Thesis Committee Chair, Mathematics. (2017).
  • Master's Thesis Committee Chair, Mathematics. (2013 - 2014).

Awards and Honors

  • Faculty Research Award, Department of Mathematics, UNT. (April 2019).
  • Faculty Research Award, Department of Mathematics. (April 2016).

Research

Published Intellectual Contributions

    Journal Article

  • Krueger, J., Martinez Mendoza, E. (2025). An Almost Kurepa Suslin Tree With Strongly Non-Saturated Square. Advances in Mathematics. 481 35 pp.
  • Krueger, J. (2025). A Rigid Kurepa Tree From a Free Suslin Tree. Journal of Symbolic Logic. 90 (3) 1198-1205.
  • Krueger, J. (2025). Suslin Tree Preservation and Club Isomorphisms. Journal of Symbolic Logic. 90 (1) 298-309.
  • Krueger, J., Dobrinen, N., Marun, P., Mota, M., Zapletal, J. (2024). On the Consistency Strength of MM($\omega_1$). Proceedings of the American Mathematical Society. 152 (5) 2229-2237.
  • Krueger, J. (2023). A Large Pairwise Far Family of Aronszajn Trees. Annals of Pure and Applied Logic. 174 (4) 12 pages.
  • Krueger, J., Chavez, J. (2022). Some Results on Non-Club Isomorphic Aronszajn Trees. Notre Dame Journal of Formal Logic. 63 (1) 109-120.
  • Krueger, J. (2020). A Forcing Axiom for a Non-Special Aronszajn Tree. Annals of Pure and Applied Logic. 171 (8) 23 pages.
  • Krueger, J., Gilton, T. (2020). A Note on the Eightfold Way. Proceedings of the American Mathematical Society. 148 (3) 1283-1293.
  • Krueger, J. (2020). Entangledness in Suslin Lines and Trees. Topology and its Applications. 275 19 pages.
  • Krueger, J., Aspero, D. (2020). Parametrized Measuring and Club Guessing. Fundamenta Mathematicae. 249 (2) 169-183.
  • Krueger, J. (2019). Guessing Models Imply the Singular Cardinal Hypothesis. Proceedings of the American Mathematical Society. 147 (12) 5427-5434.
  • Krueger, J.E. (2019). The Approachability Ideal Without a Maximal Set. Annals of Pure and Applied Logic. 170 (3) 297-382.
  • Krueger, J.E., Gilton, T. (2019). The Harrington-Shelah Model with Large Continuum. Journal of Symbolic Logic. 84 (2) 684-703.
  • Krueger, J.E. (2018). Club Isomorphisms on Higher Aronszajn Trees. Annals of Pure and Applied Logic. 169 (10) 1044-1081.
  • Krueger, J.E., Cox, S. (2018). Namba Forcing, Weak Approximation, and Guessing. Journal of Symbolic Logic. 83 (4) 1539-1565.
  • Krueger, J.E. (2017). Forcing with adequate sets of models as side conditions. Mathematical Logic Quarterly. 63 (1-2) 124-149.
  • Krueger, J.E., Cox, S. (2017). Indestructible guessing models and the continuum. Fundamenta Mathematicae. 239 221-258.
  • Krueger, J.E., Gilton, T. (2017). Mitchell's theorem revisited. Annals of Pure and Applied Logic. 168 (5) 922-1016.
  • Krueger, J.E., Cox, S. (2016). Quotients of Strongly Proper Forcings and Guessing Models. Journal of Symbolic Logic. 81 (1) 264-283.
  • Krueger, J.E. (2015). Adding a Club with Finite Conditions, Part II. Archive for Mathematical Logic. 54 (1-2) 161-172.
  • Krueger, J.E., Mota, M. (2015). Coherent Adequate Forcing and Preserving CH. Journal of Mathematical Logic. 15 (2)
  • Krueger, J.E. (2014). Coherent Adequate Sets and Forcing Square. Fundamenta Mathematicae. 224 279-300.
  • Krueger, J.E., Schimmerling, E. (2014). Separating Weak Partial Square Principles. Annals of Pure and Applied Logic. 165 (2) 609-619.
  • Krueger, J.E. (2014). Strongly Adequate Sets and Adding a Club with Finite Conditions. Archive for Mathematical Logic. 53 (1-2) 119-136.
  • Krueger, J.E. (2014). Successive Cardinals with No Partial Square. Archive for Mathematical Logic. 53 (1-2) 11-21.
  • Krueger, J.E. (2013). Namba Forcing and No Good Scale. Journal of Symbolic Logic. 78 (3) 785-802.
  • J. Krueger. (2013). Weak Square Sequences and Special Aronszajn Trees.
  • J. Krueger and E. Schimmerling. (2011). An Equiconsistency Result on Partial Squares.
  • J. Krueger. (2011). On the Weak Reflection Principle.
  • J. Krueger. (2011). Weak Compactness and No Partial Squares.
  • M. Gitik and J. Krueger. (2009). Approachability at the Second Successor of a Singular Cardinal.
  • D. Aspero, J. Krueger, and Y. Yoshinobu. (2009). Dense Non-Reflection for Stationary Collections of Countable Sets.
  • J. Krueger. (2009). Some Applications of Mixed Support Iterations.
  • J. Krueger. (2008). A General Mitchell Style Iteration.
  • J. Krueger. (2008). Internal Approachability and Reflection.
  • J. Krueger. (2008). Internally Club and Approachable for Larger Structures.
  • J. Krueger. (2007). Internally Club and Approachable.
  • J. Krueger. (2007). Radin Forcing and its Iterations.
  • Sy-David Friedman and J. Krueger. (2007). Thin Stationary Sets and Disjoint Club Sequences.
  • J. Krueger. (2006). Adding Clubs with Square.
  • J. Krueger. (2005). Destroying Stationary Sets.
  • J. Krueger. (2005). Strong Compactness and Stationary Sets.
  • J. Krueger. (2003). Fat Sets and Saturated Ideals.

Presentations Given

  • Invited talk at the AMS Fall Southeastern Sectional Meeting, Louisville, KY, October 2013, (2013 - 2013).
  • Invited talk at the AMS Spring Southeastern Sectional Meeting, Oxford, MS, March 2013, (2013 - 2013).
  • Invited talk at the Association for Symbolic Logic North American Annual Meeting, Waterloo, Canada, May, 2013, (2013 - 2013).
  • Invited talk at the Workshop on Iterated Forcing and Large Cardinals, Fields Institute, Toronto, Canada, December 2012, (2012 - 2012).
  • Invited Talk at the Annual Meeting of the Association for Symbolic Logic, University of California, Berkeley, March 2011, (2011 - 2011).
  • Invited talk at the Canadian Mathematical Society Meeting, Toronto, Canada, December 2011, (2011 - 2011).
  • Invited Talk at the Second Conference on the Core Model Induction and Hod Mice, University of Munester, Muenster, Germany, August 2011, (2011 - 2011).
  • Invited Talk at the Set Theory Meeting, Mathematisches Forschungsinstitut Oberwolfach, January 2011, (2011 - 2011).
  • Invited Talk at the Annual Meeting of the Assocation for Symbolic Logic, George Washington University, Washington D.C., March 2010, (2010 - 2010).
  • Invited Talk at the ESI Workshop on Large Cardinals and Descriptive Set Theory, Vienna, Austria, June 2009, (2009 - 2009).
  • Invited Talk at the Logic Colloquium, University of California, Berkeley, March 2009, (2009 - 2009).
  • Invited Talk at the National University of Singapore, January 2009, (2009 - 2009).
  • Invited Talk at the University of Colorado, January 2009, (2009 - 2009).
  • Invited Talk at the University of North Texas, February 2009, (2009 - 2009).
  • Invited Talk at the Faculty Seminar, Department of Mathematics, University of Denver, May 2008, (2008 - 2008).
  • Invited Talk at the Young Set Theory Workshop at Haus Annaberg in Bonn, January 2008, (2008 - 2008).
  • Set Theory Meeting at Mathematisches Forschungsinstitut Oberwolfach, January 2008, (2008 - 2008).
  • Invited Talk at the Singular Cardinal Combinatorics and Inner Model Theory Meeting, University of Florida, Gainesville, March 2007, (2007 - 2007).
  • Invited Talk at the UCLA Logic Colloquium, April 2007, (2007 - 2007).
  • Invited Talk at the Logic Colloquium, University of California, Berkeley, September 2006, (2006 - 2006).
  • Invited Talk at the Special Set Theory Session of Logic Colloquium 2006, Nijmegen, the Netherlands, August 2006, (2006 - 2006).
  • Invited Talk at the Centre de Recerca Matematica, Universitat Autonoma de Barcelona, Barcelona, Spain, March 005, (2005 - 2005).
  • Invited Talk at the Set Theory Meeting at Mathematisches Forschungsinstitut Oberwolfach, December 2005, (2005 - 2005).

    • Invited Talk

  • Krueger, J. (Author & Presenter), I was invited to give seminar talks at Rutgers University for November 2025 and Cornell University for December 2025. Both visits were postponed to January 2026 due to the government shutdown in the first case and a family emergency in the second case., United States of America. (2025).
  • Krueger, J. (Author & Presenter), Logic Seminar, December 13, 2024, Some Results on Non-Saturated Aronszajn Trees, Department of Mathematics, Cornell University, Ithaca, NY, United States of America. (2024).
  • Krueger, J. (Author & Presenter), 2024 Association for Symbolic Logic Annual Meeting, May, 2024, Forcing Over a Free Suslin Tree, Association for Symbolic Logic, Iowa State University, United States of America. (2024 - 2024).
  • Krueger, J. (Author & Presenter), Logic Seminar, October 2023 (My flight was cancelled so I arrived a day late, so this seminar talk was cancelled), Suslin’s hypothesis and Aronszajn trees, Department of Logic, Charles University, Prague, Czech Republic. (2023 - 2023).
  • Krueger, J. (Author & Presenter), XVII International Luminy Workshop in Set Theory, October 2023, Forcing Over a Free Suslin Tree, CIRM, Luminy, France. (2023 - 2023).
  • Krueger, J. (Author & Presenter), MAMLS conference, May 2023, Forcing Over a Free Suslin Tree, Rutgers University, United States of America. (2023 - 2023).
  • Krueger, J. (Author & Presenter), Young Set Theory Workshop, August 2022 (four one-hour talks), Tutorial on Suslin Trees and Related Topics, Novi Sad, Serbia, Serbia. (2022).
  • Krueger, J. (Author & Presenter), 55th Spring Topology and Dynamical Systems Conference, March 2022, Suslin Tree Preservation and Club Isomorphisms, Baylor University, United States of America. (2022).
  • Krueger, J. (Author & Presenter), Set Theory Meeting, Guessing models imply the singular cardinal hypothesis, CIRM, Luminy, France. (2019).
  • Krueger, J. (Author & Presenter), Logic Fest in the Windy City, Guessing models and the singular cardinal hypothesis, Chicago, IL, United States of America. (2019).
  • Krueger, J. (Author & Presenter), ASL Winter Meeting, A forcing axiom for a non-special Aronszajn tree, Association for Symbolic Logic, AMS-MAA Joint Mathematics Meetings, Baltimore, MD, United States of America. (2019).
  • Krueger, J.E. (Author & Presenter), Logic Seminar, A forcing axiom for a non-special Aronszajn tree, Rutgers University, New Brunswick, NJ, United States of America. (2018 - 2018).
  • Krueger, J.E. (Author & Presenter), Logic Seminar, A forcing axiom for a non-special Aronszajn tree, Cornell University, Ithica, NY, United States of America. (2018 - 2018).
  • Krueger, J.E. (Author & Presenter), First Mexico-USA Logic Fest, Club isomorphisms on higher Aronszajn trees, Mexico City, Mexico, Mexico. (2018 - 2018).
  • Krueger, J.E. (Author & Presenter), Set Theory Meeting, Club isomorphisms on higher Aronszajn trees, CIRM, France, France. (2017).
  • Krueger, J.E. (Author & Presenter), MAMLS Meeting, The approachability ideal without a maximal set, Richmond, Virginia, United States of America. (2017).
  • Krueger, J.E. (Author & Presenter), Set Theory Meeting, The approachability ideal without a maximal set, Mathematisches Forschungsinstitut, Oberwolfach, Germany, Germany. (2017).
  • Krueger, J.E. (Author & Presenter), Forcing and its Applications Retrospective Workshop, Mitchell's theorem revisited, Fields Institute, Toronto, Canada, Canada. (2015).
  • Krueger, J.E. (Author & Presenter), BLAST, Quotients of strongly proper forcings and guessing models, Las Cruces, New Mexico, United States of America. (2015).
  • Krueger, J.E. (Author & Presenter), Set Theory Meeting, Forcing square with finite conditions, Mathematisches Forschungsinstitut, Oberwolfach, Germany, Germany. (2014).

    • Professional Meeting Contribution

  • Krueger, J. (Discussant), AIM Workshop $\aleph_2$ to Infinity, May 2023, Daily group research discussions, American Institute of Mathematics, San Jose, United States of America. (2023 - 2023).

Contracts, Grants, Sponsored Research

    Grant - Research

  • Krueger, J. (Principal), "Forcing and Consistency Results," sponsored by Simons Foundation, National, $42000 Funded. (2019 - 2024).
  • Krueger, J.E. (Principal), "Forcing and Consistency Results," sponsored by National Science Foundation, Federal, $140936 Funded. (2015 - 2019).
  • Krueger, J.E. (Principal), Schmidt, R. (Principal), "Forcing and Consistency Results," sponsored by Simons Foundation, FOND, Funded. (2019 - 2024).
  • Krueger, J.E. (Principal), "Forcing and Consistency Results," sponsored by National Science Foundation, FED, Funded. (2015 - 2019).

Service

University Service

  • Committee Chair, Awards Committee. (August 2025 - Present).
  • Faculty Mentor, Department of Mathematics. (August 2025 - Present).
  • Faculty Mentor, Department of Mathematics. (August 2025 - Present).
  • Committee Member, Graduate Programs Working Group. (August 2025 - Present).
  • Committee Chair, Logic Seminar. (August 2024 - Present).
  • Committee Member, Advisory Council. (May 2024 - Present).
  • Committee Member, Graduate Affairs Committee. (May 2024 - Present).
  • Committee Member, Topology Qualifying Exam Committee. (May 2023 - Present).
  • Director, Graduate Advisor. (May 15, 2022 - Present).
  • Committee Chair, Graduate Affairs Committee. (May 2022 - May 2024).
  • Chairperson, Postdoc Search Organizer. (October 2023 - March 2024).
  • Committee Chair, Logic Tenure-Track Search Committee. (September 2023 - March 2024).
  • Committee Chair, Complex Analysis Qualifying Exam Committee. (December 2022 - May 2023).
  • Member, Executive Committee. (May 2021 - May 2023).
  • Chairperson, Postdoc Search Organizer. (October 2022 - March 2023).
  • Member, Graduate Affairs Committee. (May 2021 - May 2022).
  • Committee Member, Complex Analysis Qualifying Exam Committee. (August 2009 - May 2022).
  • Committee Chair, URC Midterm 4th Year Review - Nam Trang. (September 2021 - October 2021).
  • Member, URC Promotion to Full Professor - Pieter Allaart. (September 2021 - October 2021).
  • Committee Chair, Complex Analysis Qualifying Exam Committee. (May 2020 - August 2021).
  • Committee Member, Undergraduate Affairs Committee. (May 2020 - August 2021).
  • Committee Member, Dynamical Systems Tenure-Track Hiring Committee. (November 2020 - March 2021).
  • Committee Member, Ad hoc grade appeals committee. (2019).
  • Committee Member, External Chair Search Committee. (2019).
  • Other, Proposal to eliminate the SPC. (2019).
  • Committee Member, Executive Committee. (May 2018 - December 2019).
  • Committee Member, Graduate Affairs Committee. (May 2017 - December 2019).
  • Committee Member, Strategic Planning Committee. (May 2017 - May 2019).
  • Committee Chair, Complex Analysis Qualifying Exam Committee. (May 2017 - May 2018).
  • Committee Chair, Outreach Committee. (May 2017 - May 2018).
  • Committee Member, Outreach Committee. (May 2015 - May 2018).
  • Committee Member, Logic Tenure-Track Hiring Committee. (November 2017 - February 2018).
  • Committee Member, Executive Committee. (May 2015 - May 2017).
  • Other, Faculty Senate Benefits Committee. (2010 - 2013).
  • Other, Strategic Planning Committee. (2010 - 2011).

Professional Service

  • Reviewer, Ad Hoc Reviewer, University of Freiburg. (2024 - 2025).
  • Reviewer, Journal Article, Several Mathematics Journals. (2023 - 2025).
  • Reviewer, Ad Hoc Reviewer, Instituto Tecnológico Autónomo de México (ITAM). (February 2025).
  • Reviewer, Ad Hoc Reviewer, Hebrew University of Jerusalem. (2024).
  • Committee Chair, BLAST conference. (September 2023 - April 2024).
  • Reviewer, Grant Proposal, Grant Proposal Review. (2020).
  • Reviewer, Grant Proposal, Grant Proposal Review. (2019).
  • External T&P Letter Writer, External Tenure Review. (July 2017).
  • Reviewer, Grant Proposal, Simons Foundation. (March 2017).