# Blog Archives

# Topic Archive: nonstandard models

Charles University

Petr Glivický is a Researcher at Charles University in Prague, in the Department of Theoretical Computer Science and Mathematical Logic, where he received his doctorate in 2013 as a student of Josef Mlček. His research interests include model theory, Peano Arithmetic, and non-standard analysis.

Models of PAMonday, March 31, 20146:30 pmGC 4214.03
The CUNY Graduate Center

I will continue the proof (in TSOMOPA 4.3) that if D is a finite distributive lattice, there is a model M such that Lt(M) is isomorphic to D.

Models of PAMonday, March 24, 20146:30 pmGC 4214.03
The CUNY Graduate Center

In this talk, I will present the proof (in TSOMOPA 4.3) that if D is a finite distributive lattice, there is a model M such that Lt(M) is isomorphic to D.

Models of PAMonday, March 17, 20146:30 pmGC 4214.03
The City University of New York

This is a continuation of the talk from last week. I will show how to use minimal types to construct elementary end extensions with large interstructure lattices.

Models of PAMonday, February 24, 20146:30 pmGC 4214.03
Bronx Community College

We will continue an introduction to Substructure Lattices, a theme for this semester’s seminar. It will still be completely elementary.

Set theory seminarFriday, November 1, 201310:00 amGC 6417
City College of New York, CUNY

Nonstandard set theory enriches the usual set theory by a unary “standardness” predicate. Investigations of its foundations raise a number of questions that can be formulated in ZFC or GB and appear open. I will discuss several such problems concerning elementary embeddings, ultraproducts, ultrafilters and large cardinals.

City College of New York, CUNY

Professor Hrbacek undertakes research in the area of mathematical logic, particularly in set theory, with a focus on non-standard analysis and nonstandard set theory. He wrote in co-authorship with Thomas Jech the highly regarded book

Introduction to Set Theory.

American University

Professor Enayat (Ph.D. 1984 University of Wisconsin, Madison) has been on the faculty of American University since 1987, with various visiting positions at Sharif University of Technology in Tehran (1993), at IPM, at Utrecht University (2007 & 2009) and at the Mittag-Leffler Institute (2009), and prior positions at Western Illinois University and at San Jose State University in California. He conducts research in mathematical logic, with a strong interest in the metamathematics of foundational axiomatic systems such as Zermelo-Fraenkel set theory (ZF) and Peano arithmetic (PA). Professor Enayat is one of the world experts on nonstandard models of set theory and of arithmetic. His approach is dominantly model-theoretic and has focused on fragments of ZF, ZF with large cardinals, Quine-Jensen set theory NFU, and arithmetical systems of various flavors, ranging from fragments of PA, all the way to second order arithmetic and its subsystems.