2,808 research outputs found
The strength of countable saturation
We determine the proof-theoretic strength of the principle of countable
saturation in the context of the systems for nonstandard arithmetic introduced
in our earlier work.Comment: Corrected typos in Lemma 3.4 and the final paragraph of the
conclusio
Constructing regular ultrafilters from a model-theoretic point of view
This paper contributes to the set-theoretic side of understanding Keisler's
order. We consider properties of ultrafilters which affect saturation of
unstable theories: the lower cofinality \lcf(\aleph_0, \de) of
modulo \de, saturation of the minimum unstable theory (the random graph),
flexibility, goodness, goodness for equality, and realization of symmetric
cuts. We work in ZFC except when noted, as several constructions appeal to
complete ultrafilters thus assume a measurable cardinal. The main results are
as follows. First, we investigate the strength of flexibility, detected by
non-low theories. Assuming is measurable, we construct a
regular ultrafilter on which is flexible (thus: ok) but
not good, and which moreover has large \lcf(\aleph_0) but does not even
saturate models of the random graph. We prove that there is a loss of
saturation in regular ultrapowers of unstable theories, and give a new proof
that there is a loss of saturation in ultrapowers of non-simple theories.
Finally, we investigate realization and omission of symmetric cuts, significant
both because of the maximality of the strict order property in Keisler's order,
and by recent work of the authors on . We prove that for any , assuming the existence of measurable cardinals below ,
there is a regular ultrafilter on such that any -ultrapower of
a model of linear order will have alternations of cuts, as defined below.
Moreover, will -saturate all stable theories but will not
-saturate any unstable theory, where is the smallest
measurable cardinal used in the construction.Comment: 31 page
Logic and operator algebras
The most recent wave of applications of logic to operator algebras is a young
and rapidly developing field. This is a snapshot of the current state of the
art.Comment: A minor chang
Martin's conjecture, arithmetic equivalence, and countable Borel equivalence relations
There is a fascinating interplay and overlap between recursion theory and
descriptive set theory. A particularly beautiful source of such interaction has
been Martin's conjecture on Turing invariant functions. This longstanding open
problem in recursion theory has connected to many problems in descriptive set
theory, particularly in the theory of countable Borel equivalence relations.
In this paper, we shall give an overview of some work that has been done on
Martin's conjecture, and applications that it has had in descriptive set
theory. We will present a long unpublished result of Slaman and Steel that
arithmetic equivalence is a universal countable Borel equivalence relation.
This theorem has interesting corollaries for the theory of universal countable
Borel equivalence relations in general. We end with some open problems, and
directions for future research.Comment: Corrected typo
Weak bisimulation for coalgebras over order enriched monads
The paper introduces the notion of a weak bisimulation for coalgebras whose
type is a monad satisfying some extra properties. In the first part of the
paper we argue that systems with silent moves should be modelled
coalgebraically as coalgebras whose type is a monad. We show that the visible
and invisible part of the functor can be handled internally inside a monadic
structure. In the second part we introduce the notion of an ordered saturation
monad, study its properties, and show that it allows us to present two
approaches towards defining weak bisimulation for coalgebras and compare them.
We support the framework presented in this paper by two main examples of
models: labelled transition systems and simple Segala systems.Comment: 44 page
- …