The purpose is to study the strength of Ramsey’s Theorem for pairs restricted to recursive assignments of k-many colors, with respect to Intuitionistic Heyting Arithmetic. We prove that for every natural number $k \ge 2$, Ramsey’s Theorem for pairs and recursive assignments of k colors is equivalent to the Limited Lesser Principle of Omniscience for ${\rm{\Sigma }}_3^0$ formulas over Heyting Arithmetic. Alternatively, the same theorem over intuitionistic arithmetic is equivalent to: for every recursively enumerable infinite k-ary tree there is some $i < k$ and some branch with infinitely many children of index i.

In this paper, we give a self-contained and quite elementary proof that the class of all dimension drop algebras together with their distinguished faithful traces forms a Fraïssé class with the Jiang–Su algebra as its limit. We also show that the UHF algebras can be realized as Fraïssé limits of classes of C*-algebras of matrix-valued continuous functions on [0,1] with faithful traces.

We study the automorphism group of the algebraic closure of a substructure A of a pseudo-finite field F, or more generally, of a bounded PAC field F. This paper answers some of the questions of [1], and in particular that any finite group which is geometrically represented in a pseudo-finite field must be abelian.

We show that from infinitely many supercompact cardinals one can force a model of ZFC where both the tree property and the stationary reflection hold at אω2+1.

Several variants of the Halpern–Läuchli Theorem for trees of uncountable height are investigated. For κ weakly compact, we prove that the various statements are all equivalent, and hence, the strong tree version holds for one tree on any weakly compact cardinal. For any finite d ≥ 2, we prove the consistency of the Halpern–Läuchli Theorem on d many normal κ-trees at a measurable cardinal κ, given the consistency of a κ + d-strong cardinal. This follows from a more general consistency result at measurable κ, which includes the possibility of infinitely many trees, assuming partition relations which hold in models of AD.

It is shown that the positive existential theory of the structure (ℤ[S−1]; =, 0, 1, + , |), where S is a nonempty finite set of prime numbers, is undecidable. This result should be put in contrast with the fact that the positive existential theory of (ℤ; =, 0, 1, + |) is decidable.

In this paper we study the algebraic structure of ω-stable bilinear maps, arbitrary rings, and nilpotent groups. We will also provide rather complete structure theorems for the above structures in the finite Morley rank case.

Gödel introduced the original provability predicate in the proofs of Gödel’s incompleteness theorems, and Rosser defined a new one. They are equivalent in the standard model ${\mathbb N}$ of arithmetic or any nonstandard model of ${\rm PA} + {\rm Con_{PA}} $, but the behavior of Rosser’s provability predicate is different from the original one in nonstandard models of ${\rm PA} + \neg {\rm Con_{PA}} $. In this paper, we investigate several properties of the derivability conditions for Rosser provability predicates, and prove the existence of a Rosser provability predicate with which we can define any consistent complete extension of ${\rm PA}$ in some nonstandard model of ${\rm PA} + \neg {\rm Con_{PA}} $. We call it a universal Rosser predicate. It follows from the theorem that the true arithmetic ${\rm TA}$ can be defined as the set of theorems of ${\rm PA}$ in terms of a universal Rosser predicate in some nonstandard model of ${\rm PA} + \neg {\rm Con_{PA}} $. By using this theorem, we also give a new proof of a theorem that there is a nonstandard model M of ${\rm PA} + \neg {\rm Con_{PA}} $ such that if N is an initial segment of M which is a model of ${\rm PA} + {\rm Con_{PA}} $ then every theorem of ${\rm PA}$ in N is a theorem of $\rm PA$ in ${\mathbb N}$. In addition, we prove that there is a Rosser provability predicate such that the set of theorems of $\rm PA$ in terms of the Rosser provability predicate is inconsistent in any nonstandard model of ${\rm PA} + \neg {\rm Con_{PA}} $.

In this note we study generic existence of maximal almost disjoint (MAD) families. Among other results we prove that Cohen-indestructible families exist generically if and only if b = c. We obtain analogous results for other combinatorial properties of MAD families, including Sacks-indestructibility and being +-Ramsey.

We study automorphism groups of randomizations of separable structures, with focus on the ℵ0-categorical case. We give a description of the automorphism group of the Borel randomization in terms of the group of the original structure. In the ℵ0-categorical context, this provides a new source of Roelcke precompact Polish groups, and we describe the associated Roelcke compactifications. This allows us also to recover and generalize preservation results of stable and NIP formulas previously established in the literature, via a Banach-theoretic translation. Finally, we study and classify the separable models of the theory of beautiful pairs of randomizations, showing in particular that this theory is never ℵ0-categorical (except in basic cases).

We show there are intermediate P-minimal structures between the semialgebraic and subanalytic languages which do not have definable Skolem functions. As a consequence, by a result of Mourgues, this shows there are P-minimal structures which do not admit classical cell decomposition.

Let T be an NIP ${\cal L}$-theory and $\mathop T\limits^\~ $ be an enrichment. We give a sufficient condition on $\mathop T\limits^\~$ for the underlying ${\cal L}$-type of any definable (respectively invariant) type over a model of $\mathop T\limits^\~$ to be definable (respectively invariant). These results are then applied to Scanlon’s model completion of valued differential fields.

We investigate the complexity of isomorphisms of computable structures on cones in the Turing degrees. We show that, on a cone, every structure has a strong degree of categoricity, and that degree of categoricity is ${\rm{\Delta }}_\alpha ^0 $-complete for some α. To prove this, we extend Montalbán’s η-system framework to deal with limit ordinals in a more general way. We also show that, for any fixed computable structure, there is an ordinal α and a cone in the Turing degrees such that the exact complexity of computing an isomorphism between the given structure and another copy ${\cal B}$ in the cone is a c.e. degree in ${\rm{\Delta }}_\alpha ^0\left( {\cal B} \right)$. In each of our theorems the cone in question is clearly described in the beginning of the proof, so it is easy to see how the theorems can be viewed as general theorems with certain effectiveness conditions.

This paper addresses some questions about dimension theory for P-minimal structures. We show that, for any definable set A, the dimension of $\bar A\backslash A$ is strictly smaller than the dimension of A itself, and that A has a decomposition into definable, pure-dimensional components. This is then used to show that the intersection of finitely many definable dense subsets of A is still dense in A. As an application, we obtain that any definable function $f:D \subseteq {K^m} \to {K^n}$ is continuous on a dense, relatively open subset of its domain D, thereby answering a question that was originally posed by Haskell and Macpherson.

In order to obtain these results, we show that P-minimal structures admit a type of cell decomposition, using a topological notion of cells inspired by real algebraic geometry.