David Ballard: Lessons from Foundational Work in Nonstandard Set
a Set Theoretic Cosmology for Mathematics.
This talk will offer a preliminary report on a recent initiative, begun in
collaboration with Karel Hrbacek, which seeks to unite the lessons of
foundational work in both standard and nonstandard set theory. The modest goal
is a grand theory of everything.
Mauro Di Nasso: A Set Theory Where all Sets Have Nonstandard
We present a set theory ZFC[Omega] where all sets have nonstandard
extensions. It is finitely axiomatized over ZFC-, and provides a k+ saturated
elementary embedding of the universe for each infinite cardinal k. In the
countable case, ZFC[Omega] includes the "alpha-theory" (joint work with V.
Benci), which provides a truly elementary approach to nonstandard analysis.
Every model of ZFC is the wellfounded part of some model of ZFC[Omega]. In
particular, the two theories are equiconsistent.
Ali Enayat: Conservative Extensions of Models of Arithmetic and Set
A model N is said to be a conservative extension of a model M if the
intersection of every parametrically definable subset of N with M is also
parametrically definable in M. This notion plays a key role in
model theory of arithmetic, and was initially introduced by Gaifman
and Phillips in relation to the McDowell-Specker theorem. In this talk we
compare/contrast the behavior of models of arithmetic and set theory in the
context of conservative extensions.
Harvey Friedman: Two Universe Axiomatizations of Set
E.I. Gordon (joint work with P.V. Andreyev): An Axiomatics for
Nonstandard Set Theory.
We present an axiomatic framework for nonstandard analysis - the Nonstandard
Class Theory NCT which extends von Neumann - Goedel - Bernays Set Theory NBG by
adding a unary predicate symbol St to the language of NBG (St(X) means that the
class X is standard) and axioms - related to it - analogs of Nelson's
idealization, standardization and transfer principles. Those principles are
formulated as axioms, rather than axiom schemes, so that NCT is finitely
axiomatizable. NCT can be considered as a theory of definable classes of Bounded
Set Theory by V. Kanovei and M. Reeken. In many aspects NCT resembles the
Alternative Set Theory by P. Vopenka. For example there exist semisets (proper
subclasses of sets) in NCT and it can be proved that a set has a standard finite
cardinality iff it does not contain any proper subsemiset. Semisets can be
considered as external classes in NCT. Thus the saturation principle can be
formalized in NCT. We introduced also the Theory of Hyperfinite Sets (THS), that
is obtained from NCT by replacement of the axiom of infinity by its negation and
discuss some problems, concerning the approximation of infinite structures by
finite ones that can be formalized in NCT and THS.
Karel Hrbacek: Nonstandard Set Theory and Some of its Problems.
Nonstandard set theory aims to axiomatize concepts and practices of concern
to nonstandard analysts. The talk will survey the difficulties encountered by,
attempts to adequately capture "nonstandard intuition", and some of the proposed
solutions. Related technical problems, and their relevance to standard set
theory, will also be discussed.
Renling Jin: Picking One Point in Every Monad Countably Determinedly.
Let *Z be the set of all integers in a nonstandard universe and let U be a
cut (a cut is an infinite proper initial segment of all non-negative integers in
*Z and closed under addition). A cut U is an external set. For any number a in
*Z, the U-monad of a is the set of all integers in *Z such that the distance
between any of these integers and a is in U. The topic I like to present is
whether one can have a countably determined set which contains exactly one
element in each U-monad for some cut U (I like to call this kind of set a
U-choice set). Keisler and Leth showed that there is no analytic U-choice set
for any cut U and there is no countably determined U-choice set if U has an
uncountable cofinality. Several years ago, Kanovei asked me if there could be a
countably determined U-choice set for U being the set of all standard natural
numbers. In the talk, I will present a complete answer to the question for every
cut U with countable cofinality.
Roman Kossak: Nonstandard Model Theory?
In his 1962 paper "On languages which are based on non-standard arithmetic"
Abraham Robinson initiated the study of semantics of languages obtained by
replacing the natural numbers as a base in the formulation of logical syntax by
a non-standard model of arithmetic. About twenty years later Robinson's ideas
were developed by Kotlarski, Krajewski, Lachlan, and Smith into the theory of
nonstandard satisfaction classes. I will give a survey of the main results,
concentrating on the question: How much of the model theory of arithmetic can be
reduced to the study of nonstandard satisfaction classes?
David Ross: Ramsey Theory and Nonstandard Analysis.
I will survey some applications of Ramsey-type results within nonstandard
analysis, as well as some nonstandard approaches to Ramsey theory.
James Schmerl: Automorphisms of Models of Peano Arithmetic.
I will discuss automorphisms of models M of Peano Arithmetic and also
Aut(M), the group of automorphisms of M. The main results to be considered is
that a group G is isomorphic to some Aut(M) iff G is