In this paper we show that the compactness of a Loeb space depends on its cardinality, the nonstandard universe it belongs to and the underlying model of set theory we live in. In §1 we prove that Loeb spaces are compact under various assumptions, and in §2 we prove that Loeb spaces are not compact under various other assumptions. The results in §1 and §2 give a quite complete answer to a question of D.Ross in [9], [11] and [12].

In a previous paper [13] we introduced a hierarchy (Gn Aω )n∈ℕ of subsystems of classical arithmetic in all finite types where the growth of definable functions of Gn Aω corresponds to the well-known Grzegorczyk hierarchy. Let AC-qf denote the schema of quantifier-free choice.

[11], [13], [8] and [7] study various analytical principles Γ in the context of the theories GnAω + AC-qf (mainly for n = 2) and use proof-theoretic tools like, e.g., monotone functional interpretation (which was introduced in [12]) to determine their impact on the growth of uniform bounds Φ such that

which are extractable from given proofs (based on these principles Γ) of sentences

Here A 0(u, k, v, w) is quantifier-free and contains only u, k, v, w as free variables; t is a closed term and ≤p is defined pointwise. The term ‘uniform bound’ refers to the fact that Φ does not depend on v ≤p tuk (see [12] for the relevance of such uniform bounds in numerical analysis and for concrete applications to approximation theory).

We show the consistency, relative to a supercompact cardinal, of the least measurable cardinal being both strongly compact and fully Laver indestructible. We also show the consistency, relative to a supercompact cardinal, of the least strongly compact cardinal being somewhat supercompact yet not completely supercompact and having both its strong compactness and degree of supercompactness fully Laver indestructible.

We prove that every rectangularly dense diagonal-free cylindric algebra is representable. As a corollary, we give finite, sound and complete axiomatizations for the finite-variable fragments of first order logic without equality and for multi-dimensional modal S5-logic.

Section 1 is devoted to the study of countable recursively saturated models with an automorphism moving every non-algebraic point. We show that every countable theory has such a model and exhibit necessary and sufficient conditions for the existence of automorphisms moving all non-algebraic points. Furthermore we show that there are many complete theories with the property that every countable recursively saturated model has such an automorphism.

In Section 2 we apply our main theorem from Section 1 to models of Quine's set theory New Foundations (NF) to answer an old consistency question. If NF is consistent, then it has a model in which the standard natural numbers are a definable subclass ℕ of the model's set of internal natural numbers Nn. In addition, in this model the class of wellfounded sets is exactly .

Let T be a countable, small simple theory. In this paper, we prove that for such T, the notion of Lascar strong type coincides with the notion of strong type, over an arbitrary set.

We study partitions of Fraïssé limits of classes of finite relational structures where the partitions are encoded by infinite binary strings which are random in the sense of Kolmogorov-Chaitin.

The study of recursion theory on models of fragments of Peano arithmetic has hitherto been concentrated on recursively enumerable (r.e.) sets and their degrees (with a few exceptions, such as that in [2] on minimal degrees). The reason for such a concerted effort is clear: priority arguments have occupied a central position in post Friedberg-Muchnik recursion theory, and after almost forty years of intensive development in the subject, they are still the essential tools on which investigations of r.e. sets and their degrees depend. There are two possible approaches to the study within fragments of arithmetic: To give a general analysis of strategies, and identify their proof-theoretic strengths (for example in [6] on infinite injury priority methods), or to consider specific theorems in recursion theory, and, if possible, pinpoint the exact levels of induction provably equivalent to the theorems. The work reported in this paper belongs to the second approach. More precisely, we single out two infinitary injury type constructions of r.e. sets—one concerning maximal sets and the other based on the notion of the jump operator—to be the topics of study.

This paper concerns the theory of morasses. In the early 1970s Jensen defined (k, α)-morasses for uncountable regular cardinals k and ordinals α < k. In the early 1980s Velleman defined (k, 1)-simplified morasses for all regular cardinals k. He showed that there is a (k, 1)-simplified morass if and only if there is (k, 1)-morass. More recently he defined (k, 2)-simplified morasses and Jensen was able to show that if there is a (k, 2)-morass then there is a (k, 2)-simplified morass.

In this paper we prove the converse of Jensen's result, i.e., that if there is a (k, 2)-simplified morass then there is a (k, 2)-morass.