Matrices of completely Ramsey sets with infinitely many rows

The main result of the present article is the following: Let N be an infinite subset of , , and let be a matrix with infinitely many rows of completely Ramsey subsets of such that for every n, . Then there exist , a sequence of nonempty finite subsets of N, and an infinite subset T of such that for every infinite subset I of . We also give an application of this result to partitions of an uncountable analytic subset of a Polish space X into sets belonging to the σ‐algebra generated by the analytic subsets of X.     

Totally non‐immune sets

Let be a countable first‐order language and be an ‐structure. “Definable set” means a subset of M which is ‐definable in with parameters. A set is said to be immune if it is infinite and does not contain any infinite definable subset. X is said to be partially immune if for some definable A, is immune. X is said to be totally non‐immune if for every definable A, and are not immune. Clearly every definable set is totally non‐immune. Here we ask whether the converse is true and prove that it is false for every countable structure whose class of definable sets satisfies a mild condition. We investigate further the possibility of an alternative construction of totally non‐immune non‐definable sets with the help of a subclass of immune sets, the class of cohesive sets, as well as with the help of a generalization of definable sets, the semi‐definable ones (the latter being naturally defined in models of arithmetic). Finally connections are found between totally non‐immune sets and generic classes in nonstandard models of arithmetic.     

Definably extending partial orders in totally ordered structures

We show, for various classes of totally ordered structures , including o‐minimal and weakly o‐minimal structures, that every definable partial order on a subset of extends definably in  to a total order. This extends the result proved in 5 for and o‐minimal.     

On the (non) superstable part of the free group

In this short note we prove that a definable set X over is superstable only if .     

A note on equivalence relations

We consider the equivalence relations on induced by the Banach subspaces . We show that if , then there is no Borel reduction from the equivalence relation , where X is a Banach space, to .     

Lipschitz extensions of definable p‐adic functions

In this paper, we prove a definable version of Kirszbraun's theorem in a non‐Archimedean setting for definable families of functions in one variable. More precisely, we prove that every definable function , where and , that is λ‐Lipschitz in the first variable, extends to a definable function that is λ‐Lipschitz in the first variable.     

On Martin's Axiom and Forms of Choice

Martin's Axiom is the statement that for every well‐ordered cardinal , the statement holds, where is “if is a c.c.c. quasi order and is a family of dense sets in P, then there is a ‐generic filter of P”. In , the fragment is provable, but not in general in . In this paper, we investigate the interrelation between and various choice principles. In the choiceless context, it makes sense to drop the requirement that the cardinal κ be well‐ordered, and we can define for any (not necessarily well‐ordered) cardinal the statement to be “if is a c.c.c. quasi order with , and is a family of dense sets in P, then there is a ‐generic filter of P”. We then define to be the statement that for every (not necessarily well‐ordered) cardinal , we have that holds. We then investigate the set‐theoretic strength of the principle .     

Cluster expansion and the boxdot conjecture

The boxdot conjecture asserts that every normal modal logic that faithfully interprets  by the well‐known boxdot translation is in fact included in . We confirm that the conjecture is true. More generally, we present a simple semantic condition on modal logics L₀ which ensures that the largest logic where L₀ embeds faithfully by the boxdot translation is L₀ itself. In particular, this natural generalization of the boxdot conjecture holds for , , and in place of .     

Forcing a countable structure to belong to the ground model

Suppose that P is a forcing notion, L is a language (in ), a P‐name such that “ is a countable L‐structure”. In the product , there are names such that for any generic filter over , and . Zapletal asked whether or not implies that there is some such that . We answer this question negatively and discuss related issues.     

On sequentially closed subsets of the real line in

We show:

• (i) iff every countable product of sequential metric spaces (sequentially closed subsets are closed) is a sequential metric space iff every complete metric space is Cantor complete.
• (ii) Every infinite subset X of has a countably infinite subset iff every infinite sequentially closed subset of includes an infinite closed subset.
• (iii) The statement “ is sequential” is equivalent to each one of the following propositions:

• (a) Every sequentially closed subset A of includes a countable cofinal subset C,
• (b) for every sequentially closed subset A of , is a meager subset of ,
• (c) for every sequentially closed subset A of , ,
• (d) every sequentially closed subset of is separable,
• (e) every sequentially closed subset of is Cantor complete,
• (f) every complete subspace of is Cantor complete.

     

Hyperhypersimple sets and Q1‐reducibility

We prove that the c.e. Q₁‐degrees are not dense, and there exists a c.e. Q₁‐degree with no minimal c.e. predecessors. It is proved that if M₁ and M₂ are maximal sets such that then or . We also show that there exist infinite collections of Q₁‐degrees and such that the following hold: (i) for every , , , and , (ii) each consists entirely of maximal sets; and (iii) each consists entirely of non‐maximal hyperhypersimple sets.     

Completeness of intermediate logics with doubly negated axioms

Let denote a first‐order logic in a language that contains infinitely many constant symbols and also containing intuitionistic logic . By , we mean the associated logic axiomatized by the double negation of the universal closure of the axioms of plus . We shall show that if is strongly complete for a class of Kripke models , then is strongly complete for the class of Kripke models that are ultimately in .     

The Boolean prime ideal theorem and products of cofinite topologies

We show:

1. The Boolean Prime Ideal theorem is equivalent to each one of the statements:
   1. “For every family of compact spaces, for every family of basic closed sets of the product with the fip there is a family of subbasic closed sets () with the fip such that for every ”.
   2. “For every compact Loeb space (the family of all non empty closed subsets of has a choice function) and for every set X the product is compact”.
2. (: the axiom of choice restricted to families of finite sets) implies “every well ordered product of cofinite topologies is compact” and “every well ordered basic open cover of a product of cofinite topologies has a finite subcover”.
3. (: the axiom of choice restricted to countable families of finite sets) iff “every countable product of cofinite topologies is compact”.
4. (: every filter of extends to an ultrafilter) is equivalent to the proposition “for every compact Loeb space having a base of size and for every set X of size the product is compact”.

     

A decidable paraconsistent relevant logic: Gentzen system and Routley‐Meyer semantics

In this paper, the positive fragment of the logic of contraction‐less relevant implication is extended with the addition of a paraconsistent negation connective similar to the strong negation connective in Nelson's paraconsistent four‐valued logic . This extended relevant logic is called , and it has the property of constructible falsity which is known to be a characteristic property of . A Gentzen‐type sequent calculus for is introduced, and the cut‐elimination and decidability theorems for are proved. Two extended Routley‐Meyer semantics are introduced for , and the completeness theorems with respect to these semantics are proved.     

From Bolzano‐Weierstraß to Arzelà‐Ascoli

We show how one can obtain solutions to the Arzelà‐Ascoli theorem using suitable applications of the Bolzano‐Weierstraß principle. With this, we can apply the results from 10 and obtain a classification of the strength of instances of the Arzelà‐Ascoli theorem and a variant of it. Let be the statement that each equicontinuous sequence of functions contains a subsequence that converges uniformly with the rate and let be the statement that each such sequence contains a subsequence which converges uniformly but possibly without any rate. We show that is instance‐wise equivalent, over , to the Bolzano‐Weierstraß principle and that is instance‐wise equivalent, over , to , and thus to the strong cohesive principle (). Moreover, we show that over the principles , and are equivalent.     

Uniqueness of limit models in classes with amalgamation

We prove the following main theorem: Let be an abstract elementary class satisfying the joint embedding and the amalgamation properties with no maximal models of cardinality μ. Let μ be a cardinal above the the Löwenheim‐Skolem number of the class. If is μ‐Galois‐stable, has no μ‐Vaughtian Pairs, does not have long splitting chains, and satisfies locality of splitting, then any two ‐limits over M, for , are isomorphic over M.     

On the set‐theoretic strength of the existence of disjoint cofinal sets in posets without maximal elements

In set theory without the Axiom of Choice , we study the deductive strength of the statements (“Every partially ordered set without a maximal element has two disjoint cofinal subsets”), (“Every partially ordered set without a maximal element has a countably infinite disjoint family of cofinal subsets”), (“Every linearly ordered set without a maximum element has two disjoint cofinal subsets”), and (“Every linearly ordered set without a maximum element has a countably infinite disjoint family of cofinal subsets”). Among various results, we prove that none of the above statements is provable without using some form of choice, is equivalent to , + (Dependent Choices) implies , does not imply in (Zermelo‐Fraenkel set theory with the Axiom of Extensionality modified in order to allow the existence of atoms), does not imply in (Zermelo‐Fraenkel set theory minus ) and (hence, ) is strictly weaker than in .     

choice classes

We study the degree spectrum properties of so called choice classes. A choice class is a class in which no two members have the same Turing degree. This definition leads us to some interesting cardinality properties, basis results and technically innovative constructions which might give us an insight to construct new classes. The presented work can be considered as choice class analogue of the work by Kent and Lewis 15 .     

Computable axiomatizability of elementary classes

The goal of this paper is to generalise Alex Rennet's proof of the non‐axiomatizability of the class of pseudo‐o‐minimal structures. Rennet showed that if is an expansion of the language of ordered fields and is the class of pseudo‐o‐minimal ‐structures (‐structures elementarily equivalent to an ultraproduct of o‐minimal structures) then is not computably axiomatizable. We give a general version of this theorem, and apply it to several classes of structures.