292 research outputs found
Approaches to analysis with infinitesimals following Robinson, Nelson, and others
This is a survey of several approaches to the framework for working with infinitesimals and infinite numbers, originally developed by Abraham Robinson in the 1960s, and their constructive engagement with the Cantor-Dedekind postulate and the Intended Interpretation hypothesis. We highlight some applications including (1) Loeb's approach to the Lebesgue measure, (2) a radically elementary approach to the vibrating string, (3) true infinitesimal differential geometry. We explore the relation of Robinson's and related frameworks to the multiverse view as developed by Hamkins. Keywords: axiomatisations, infinitesimal, nonstandard analysis, ultraproducts, superstructure, set-theoretic foundations, multiverse, naive integers, intuitionism, soritical properties, ideal elements, protozoa
Triangleland. I. Classical dynamics with exchange of relative angular momentum
In Euclidean relational particle mechanics, only relative times, relative
angles and relative separations are meaningful. Barbour--Bertotti (1982) theory
is of this form and can be viewed as a recovery of (a portion of) Newtonian
mechanics from relational premises. This is of interest in the absolute versus
relative motion debate and also shares a number of features with the
geometrodynamical formulation of general relativity, making it suitable for
some modelling of the problem of time in quantum gravity. I also study
similarity relational particle mechanics (`dynamics of pure shape'), in which
only relative times, relative angles and {\sl ratios of} relative separations
are meaningful. This I consider firstly as it is simpler, particularly in 1 and
2 d, for which the configuration space geometry turns out to be well-known,
e.g. S^2 for the `triangleland' (3-particle) case that I consider in detail.
Secondly, the similarity model occurs as a sub-model within the Euclidean
model: that admits a shape--scale split. For harmonic oscillator like
potentials, similarity triangleland model turns out to have the same
mathematics as a family of rigid rotor problems, while the Euclidean case turns
out to have parallels with the Kepler--Coulomb problem in spherical and
parabolic coordinates. Previous work on relational mechanics covered cases
where the constituent subsystems do not exchange relative angular momentum,
which is a simplifying (but in some ways undesirable) feature paralleling
centrality in ordinary mechanics. In this paper I lift this restriction. In
each case I reduce the relational problem to a standard one, thus obtain
various exact, asymptotic and numerical solutions, and then recast these into
the original mechanical variables for physical interpretation.Comment: Journal Reference added, minor updates to References and Figure
The Structure of Models of Second-order Set Theories
This dissertation is a contribution to the project of second-order set theory, which has seen a revival in recent years. The approach is to understand second-order set theory by studying the structure of models of second-order set theories. The main results are the following, organized by chapter. First, I investigate the poset of T-realizations of a fixed countable model of ZFC, where T is a reasonable second-order set theory such as GBC or KM, showing that it has a rich structure. In particular, every countable partial order embeds into this structure. Moreover, we can arrange so that these embedding preserve the existence/nonexistence of upper bounds, at least for finite partial orders. Second I generalize some constructions of Marek and Mostowski from KM to weaker theories. They showed that every model of KM plus the Class Collection schema “unrolls” to a model of ZFC− with a largest cardinal. I calculate the theories of the unrolling for a variety of second-order set theories, going as weak as GBC + ETR. I also show that being T-realizable goes down to submodels for a broad selection of second-order set theories T. Third, I show that there is a hierarchy of transfinite recursion principles ranging in strength from GBC to KM. This hierarchy is ordered first by the complexity of the properties allowed in the recursions and second by the allowed heights of the recursions. Fourth, I investigate the question of which second-order set theories have least models. I show that strong theories—such as KM or Π11-CA—do not have least transitive models while weaker theories—from GBC to GBC + ETROrd —do have least transitive models
The Structure of Models of Second-order Set Theories
This dissertation is a contribution to the project of second-order set
theory, which has seen a revival in recent years. The approach is to understand
second-order set theory by studying the structure of models of second-order set
theories. The main results are the following, organized by chapter. First, I
investigate the poset of -realizations of a fixed countable model of
, where is a reasonable second-order set theory such as
or , showing that it has a rich structure. In
particular, every countable partial order embeds into this structure. Moreover,
we can arrange so that these embedding preserve the existence/nonexistence of
upper bounds, at least for finite partial orders. Second I generalize some
constructions of Marek and Mostowski from to weaker theories.
They showed that every model of plus the Class Collection schema
"unrolls" to a model of with a largest cardinal. I calculate
the theories of the unrolling for a variety of second-order set theories, going
as weak as . I also show that being -realizable
goes down to submodels for a broad selection of second-order set theories .
Third, I show that there is a hierarchy of transfinite recursion principles
ranging in strength from to . This hierarchy is
ordered first by the complexity of the properties allowed in the recursions and
second by the allowed heights of the recursions. Fourth, I investigate the
question of which second-order set theories have least models. I show that
strong theories---such as or ---do
not have least transitive models while weaker theories---from to
---do have least transitive models.Comment: This is my PhD dissertatio
- …