In this article we characterize all those sequences of cardinals of length ω1 which are cardinal sequences of some compact scattered space . This extends the similar results from [R. La Grange, Concerning the cardinal sequence of a Boolean algebra, Algebra Universalis, 7 307–313] for such sequences of countable length. For ordinals between ω1 and ω2 we can only give a sufficient condition for a sequence of that length to be a cardinal sequence of (...) a compact scattered space. This condition is, arguably, the most one can expect in ZFC. In any case, ours is a significant extension of the sufficient conditions given in [J.C. Martinez, A consistency result on thin-tall superatomic Boolean algebras, Proc. Amer. Math. Soc. 115 473–477] and [J. Bagaria, Locally generic Boolean algebras and cardinal sequences, Algebra Universalis 47 283–302]. (shrink)

Let denote the class of all cardinal sequences of length α associated with compact scattered spaces. Also put If λ is a cardinal and α λ1>>λn−1 and ordinals α0,…,αn−1 such that α=α0++αn−1 and where each .The proofs are based on constructions of universal locally compact scattered spaces.

We prove that if GCH holds and τ = 〈κα : α < η 〉 is a sequence of infinite cardinals such that κα ≥ |η | for each α < η, then there is a cardinal-preserving partial order that forces the existence of a scattered Boolean space whose cardinal sequence is τ.

The countable sequences of cardinals which arise as cardinal sequences of superatomic Boolean algebras were characterized by La Grange on the basis of ZFC set theory. However, no similar characterization is available for uncountable cardinal sequences. In this paper we prove the following two consistency results:Ifθ = 〈κ α :α <ω 1〉 is a sequence of infinite cardinals, then there is a cardinal-preserving notion of forcing that changes cardinal exponentiation and forces the existence of a (...) superatomic Boolean algebraB such that θ is the cardinal sequence ofB.Ifκ is an uncountable cardinal such thatκ <κ =κ andθ = 〈κ α :α <κ +〉 is a cardinal sequence such thatκ α ≥κ for everyα <κ + andκ α =κ for everyα <κ + such that cf(α)<κ, then there is a cardinal-preserving notion of forcing that changes cardinal exponentiation and forces the existence of a superatomic Boolean algebraB such that θ is the cardinal sequence ofB. (shrink)

Versions of Laver sequences are known to exist for supercompact and strong cardinals. Assuming very strong axioms of infinity, Laver sequences can be constructed for virtually any globally defined large cardinal not weaker than a strong cardinal; indeed, under strong hypotheses, Laver sequences can be constructed for virtually any regular class of embeddings. We show here that if there is a regular class of embeddings with critical point $\kappa$, and there is an inaccessible above $\kappa$, then it is (...) consistent for there to be a regular class that admits no Laver sequence. We also show that extendible cardinals are Laver-generating, i.e., that assuming only that $\kappa$ is extendible, there is an extendible Laver sequence at $\kappa$. We use the method of proof to answer a question about Laver-closure of extendible cardinals at inaccessibles. Finally, we consider Laver sequences for super-almost-huge cardinals. Assuming slightly more than super-almost-hugeness, we show that there are super-almost-huge Laver sequences, improving the previously known upper bound for such Laver sequences. We also describe conditions under which the canonical construction of a Laver sequence fails for super-almost-huge cardinals. (shrink)

We prove several results giving lower bounds for the large cardinal strength of a failure of the singular cardinal hypothesis. The main result is the following theorem: Theorem. Suppose κ is a singular strong limit cardinal and 2κ λ where λ is not the successor of a cardinal of cofinality at most κ. If cf > ω then it follows that o λ, and if cf = ωthen either o λ or {α: K o α+n} is (...) confinal in κ for each n ε ω.We also prove several results which extend or are related to this result, notably Theorem. If 2ω ω1 then there is a sharp for a model with a strong cardinal.In order to prove these theorems we give a detailed analysis of the sequences of indiscernibles which come from applying the covering lemma to nonoverlapping sequences of extenders. (shrink)

Versions of Laver sequences are known to exist for supercompact and strong cardinals. Assuming very strong axioms of infinity, Laver sequences can be constructed for virtually any globally defined large cardinal not weaker than a strong cardinal; indeed, under strong hypotheses, Laver sequences can be constructed for virtually any regular class of embeddings. We show here that if there is a regular class of embeddings with critical point κ, and there is an inaccessible above κ, then it is (...) consistent for there to be a regular class that admits no Laver sequence. We also show that extendible cardinals are Laver-generating, i.e., that assuming only that κ is extendible, there is an extendible Laver sequence at κ. We use the method of proof to answer a question about Laver-closure of extendible cardinals at inaccessibles. Finally, we consider Laver sequences for super-almost-huge cardinals. Assuming slightly more than super-almost-hugeness, we show that there are super-almost-huge Laver sequences, improving the previously known upper bound for such Laver sequences. We also describe conditions under which the canonical construction of a Laver sequence fails for super-almost-huge cardinals. (shrink)

The purpose of this paper is to present several applications of combinatorial principles, well-known in Set Theory, to the geometry of infinite dimensional Banach spaces, particularly to the existence of certain basic sequences. We mention also some open problems where set-theoretical techniques are relevant.

We write and for the cardinalities of the set of finite sequences and the set of finite subsets, respectively, of a set which is of cardinality. With the axiom of choice (), for every infinite cardinal but, without, any relationship between and for an arbitrary infinite cardinal cannot be proved. In this paper, we give conditions that make and comparable for an infinite cardinal. Among our results, we show that, if we assume the axiom of choice for (...) sets of finite sets, then for every Dedekind‐infinite cardinal and the condition that is Dedekind‐infinite cannot be weakened to weakly Dedekind‐infinite. (shrink)

We show: There are pairs of universes V1V2 and there is a notion of forcing PV1 such that the change mentioned in the title occurs when going from V1[G] to V2[G] for a P-generic filter G over V2. We use forcing iterations with partial memories. Moreover, we implement highly transitive automorphism groups into the forcing orders.

In set theory without the Axiom of Choice, we investigate the set-theoretic strength of the principle NDS which states that there is no function f on the set ω of natural numbers such that for everyn ∈ ω, f ≺ f, where for sets x and y, x ≺ y means that there is a one-to-one map g : x → y, but no one-to-one map h : y → x. It is a long standing open problem whether NDS implies (...) AC. In this paper, among other results, we show that NDS is a strong axiom by establishing that ACLO ↛ NDS in ZFA set theory. The latter result provides a strongly negative answer to the question of whether “every Dedekind-finite set is finite” implies NDS addressed in G. H. Moore “Zermelo’s Axiom of Choice. Its Origins, Development, and Influence” and in P. Howard–J. E. Rubin “Consequences of the Axiom of Choice”. We also prove that ACWO ↛ NDS in ZF and that “for all infinite cardinals m, m + m = m” ↛ NDS in ZFA. (shrink)

We introduce a natural two-cardinal version of Bagaria’s sequence of derived topologies on ordinals. We prove that for our sequence of two-cardinal derived topologies, limit points of sets can be characterized in terms of a new iterated form of pairwise simultaneous reflection of certain kinds of stationary sets, the first few instances of which are often equivalent to notions related to strong stationarity, which has been studied previously in the context of strongly normal ideals. The non-discreteness (...) of these two-cardinal derived topologies can be obtained from certain two-cardinal indescribability hypotheses, which follow from local instances of supercompactness. Additionally, we answer several questions posed by the first author, Holy and White on the relationship between Ramseyness and indescribability in both the cardinal context and in the two-cardinal context. (shrink)

A cardinal characteristic can often be described as the smallest size of a family of sequences which has a given property. Instead of this traditional concern for a smallest realization of the given property, a basically new approach, taken in [4] and [5], asks for a realization whose members are sequences of labels that correspond to 1-way infinite paths in a labelled graph. We study this approach as such, establishing tools that are applicable to all these cardinal characteristics. (...) As an application, we demonstrate the power of the tools developed by presenting a short proof of the bounded graph conjecture [4]. (shrink)

We investigate maximal free sequences in the Boolean algebra \ {/}\text {fin}\), as defined by Monk :593–610, 2011). We provide some information on the general structure of these objects and we are particularly interested in the minimal cardinality of a free sequence, a cardinal characteristic of the continuum denoted \. Answering a question of Monk, we demonstrate the consistency of \. In fact, this consistency is demonstrated in the model of Shelah for \ :433–443, 1992). Our paper provides (...) a streamlined and mostly self contained presentation of this construction. (shrink)

We investigate maximal free sequences in the Boolean algebra \ {/}\text {fin}\), as defined by Monk :593–610, 2011). We provide some information on the general structure of these objects and we are particularly interested in the minimal cardinality of a free sequence, a cardinal characteristic of the continuum denoted \. Answering a question of Monk, we demonstrate the consistency of \. In fact, this consistency is demonstrated in the model of Shelah for \ :433–443, 1992). Our paper provides (...) a streamlined and mostly self contained presentation of this construction. (shrink)

We investigate maximal free sequences in the Boolean algebra \ {/}\text {fin}\), as defined by Monk :593–610, 2011). We provide some information on the general structure of these objects and we are particularly interested in the minimal cardinality of a free sequence, a cardinal characteristic of the continuum denoted \. Answering a question of Monk, we demonstrate the consistency of \. In fact, this consistency is demonstrated in the model of Shelah for \ :433–443, 1992). Our paper provides (...) a streamlined and mostly self contained presentation of this construction. (shrink)

We investigate the behavior of cardinal characteristics of the reals under extensions that do not add new [Formula: see text]-sequences (for some regular [Formula: see text]). As an application, we show that consistently the following cardinal characteristics can be different: The (“independent”) characteristics in Cichoń’s diagram, plus [Formula: see text]. (So we get thirteen different values, including [Formula: see text] and continuum). We also give constructions to alternatively separate other MA-numbers (instead of [Formula: see text]), namely: MA for (...) [Formula: see text]-Knaster from MA for [Formula: see text]-Knaster; and MA for the union of all [Formula: see text]-Knaster forcings from MA for precaliber. (shrink)

We investigate the behavior of cardinal characteristics of the reals under extensions that do not add new <κ-sequences. As an application, we show that consistently the followi...

We show that the predicate “x is the power set of y” is ‐definable, if V = L[E] is an extender model constructed from a coherent sequences of extenders, provided that there is no inner model with a Woodin cardinal. Here is a predicate true of just the infinite cardinals. From this we conclude: the validities of second order logic are reducible to, the set of validities of the Härtig quantifier logic. Further we show that if no L[E] model (...) has a cardinal strong up to one of its ℵ‐fixed points, and, the Löwenheim number of this logic, is less than the least weakly inaccessible δ, then (i) is a limit of measurable cardinals of K, and (ii) the Weak Covering Lemma holds at δ. (shrink)

We study cardinal invariants of systems of meager hereditary families of subsets of ω connected with the collapse of the continuum by Sacks forcing S and we obtain a cardinal invariant yω such that S collapses the continuum to yω and y ≤ yω ≤ b. Applying the Baumgartner-Dordal theorem on preservation of eventually narrow sequences we obtain the consistency of y = yω < b. We define two relations $\leq _{0}^{\ast}$ and $\leq _{1}^{\ast}$ on the set $(^{\omega}\omega)_{{\rm (...) Fin}}$ of finite-to-one functions which are Tukey equivalent to the eventual dominance relation of functions such that if $\germ{F}\subseteq (^{\omega}\omega)_{Fin}$ is $\leq _{1}^{\ast}$ -unbounded, well-ordered by $\leq _{1}^{\ast}$ , and not $\leq _{0}^{\ast}$ -dominating, then there is a nonmeager p-ideal. The existence of such a system F follows from Martin's axiom. This is an analogue of the results of [3], [9, 10] for increasing functions. (shrink)

We investigate which filters onωcan contain towers, that is, a modulo finite descending sequence without any pseudointersection. We prove the following results:Many classical examples of nice tall filters contain no towers.It is consistent that tall analytic P-filters contain towers of arbitrary regular height.It is consistent that all towers generate nonmeager filters, in particular Borel filters do not contain towers.The statement “Every ultrafilter contains towers.” is independent of ZFC.Furthermore, we study many possible logical implications between the existence of towers in (...) filters, inequalities between cardinal invariants of filters $,${\rm{co}}{{\rm{f}}^{\rm{*}}}\left$,${\rm{no}}{{\rm{n}}^{\rm{*}}}\left$, and${\rm{co}}{{\rm{v}}^{\rm{*}}}\left$), and the existence of Luzin type families, that is, if${\cal F}$is a filter then${\cal X} \subseteq {[\omega ]^\omega }$is an${\cal F}$-Luzin family if$\left\{ {X \in {\cal X}:|X \setminus F| = \omega } \right\}$is countable for every$F \in {\cal F}$. (shrink)

I analyze the hierarchy of large cardinals between a supercompact cardinal and an almost-huge cardinal. Many of these cardinals are defined by modifying the definition of a high-jump cardinal. A high-jump cardinal is defined as the critical point of an elementary embedding j:V→M\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${j: V \to M}$$\end{document} such that M is closed under sequences of length sup{j|f:κ→κ}\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\sup\{{j\,|\,f: \kappa \to \kappa}\}}$$\end{document}. (...) Some of the other cardinals analyzed include the super-high-jump cardinals, almost-high-jump cardinals, Shelah-for-supercompactness cardinals, Woodin-for-supercompactness cardinals, Vopěnka cardinals, hypercompact cardinals, and enhanced supercompact cardinals. I organize these cardinals in terms of consistency strength and implicational strength. I also analyze the superstrong cardinals, which are weaker than supercompact cardinals but are related to high-jump cardinals. Among the results, I highlight the following. Vopěnka cardinals are the same as Woodin-for-supercompactness cardinals.There are no excessively hypercompact cardinals.Furthermore, I prove some results relating high-jump cardinals to forcing, as well as analyzing Laver functions for super-high-jump cardinals. (shrink)

We examine combinatorial aspects and consistency strength properties of almost Ramsey cardinals. Without the Axiom of Choice, successor cardinals may be almost Ramsey. From fairly mild supercompactness assumptions, we construct a model of ZF + ${\neg {\rm AC}_\omega}$ in which every infinite cardinal is almost Ramsey. Core model arguments show that strong assumptions are necessary. Without successors of singular cardinals, we can weaken this to an equiconsistency of the following theories: “ZFC + There is a proper class of regular (...) almost Ramsey cardinals”, and “ZF + DC + All infinite cardinals except possibly successors of singular cardinals are almost Ramsey”. (shrink)

We construct a model in which for all 1 ≤ n < ω, there is no stationary subset of ${\aleph_{n+1} \cap {\rm cof}(\aleph_n)}$ which carries a partial square.

We present an approach to forcing with finite sequences of models that uses models of two types. This approach builds on earlier work of Friedman and Mitchell on forcing to add clubs in cardinals larger than $\aleph_{1}$, with finite conditions. We use the two-type approach to give a new proof of the consistency of the proper forcing axiom. The new proof uses a finite support forcing, as opposed to the countable support iteration in the standard proof. The distinction is important (...) since a proof using finite supports is more amenable to generalizations to cardinals greater than $\aleph_{1}$. (shrink)

Basic results on the model theory of substructures of a fixed model are presented. The main point is to avoid the use of the compactness theorem, so this work can easily be applied to the model theory of L ω 1 ,ω and its relatives. Among other things we prove the following theorem: Let M be a model, and let λ be a cardinal satisfying λ |L(M)| = λ. If M does not have the ω-order property, then for every (...) $A \subseteq M, |A| \leq \lambda$ , and every $\mathbf{I} \subseteq M$ of cardinality λ + there exists $\mathbf{J} \subseteq \mathbf{I}$ of cardinality λ + which is an indiscernible set over A. This is an improvement of a result of S. Shelah. (shrink)

We write for the cardinality of the set of finite sequences of a set which is of cardinality. With the Axiom of Choice (), for every infinite cardinal where is the cardinality of the permutations on a set which is of cardinality. In this paper, we show that “ for every cardinal ” is provable in and this is the best possible result in the absence of. Similar results are also obtained for : the cardinality of the set (...) of finite sequences without repetition of a set which is of cardinality. (shrink)

We show that from a supercompact cardinal $\kappa$, there is a forcing extension $V[G]$ that has a symmetric inner model $N$ in which $\mathrm {ZF}+\lnot\mathrm {AC}$ holds, $\kappa$ and $\kappa^{+}$ are both singular, and the continuum function at $\kappa$ can be precisely controlled, in the sense that the final model contains a sequence of distinct subsets of $\kappa$ of length equal to any predetermined ordinal. We also show that the above situation can be collapsed to obtain a model (...) of $\mathrm {ZF}+\lnot\mathrm {AC}_{\omega}$ in which either $\aleph_{1}$ and $\aleph_{2}$ are both singular and the continuum function at $\aleph_{1}$ can be precisely controlled, or $\aleph_{\omega}$ and $\aleph_{\omega+1}$ are both singular and the continuum function at $\aleph_{\omega}$ can be precisely controlled. Additionally, we discuss a result in which we separate the lengths of sequences of distinct subsets of consecutive singular cardinals $\kappa$ and $\kappa^{+}$ in a model of $\mathrm {ZF}$. Some open questions concerning the continuum function in models of $\mathrm {ZF}$ with consecutive singular cardinals are posed. (shrink)

We investigate club guessing sequences and filters. We prove that assuming V=L, there exists a strong club guessing sequence on μ if and only if μ is not ineffable for every uncountable regular cardinal μ. We also prove that for every uncountable regular cardinal μ, relative to the existence of a Woodin cardinal above μ, it is consistent that every tail club guessing ideal on μ is precipitous.

Assuming the existence of suitable large cardinals, we show it is consistent that the Provability logic $\mathbf {GL}$ is complete with respect to the filter sequence of normal measures. This result answers a question of Andreas Blass from 1990 and a related question of Beklemishev and Joosten.

We investigate, in ZFC, the behavior of abstract elementary classes categorical in many successive small cardinals. We prove for example that a universal $\mathbb {L}_{\omega _1, \omega }$ sentence categorical on an end segment of cardinals below $\beth _\omega $ must be categorical also everywhere above $\beth _\omega $. This is done without any additional model-theoretic hypotheses and generalizes to the much broader framework of tame AECs with weak amalgamation and coherent sequences.

We investigate, in ZFC, the behavior of abstract elementary classes categorical in many successive small cardinals. We prove for example that a universal $\mathbb {L}_{\omega _1, \omega }$ sentence categorical on an end segment of cardinals below $\beth _\omega $ must be categorical also everywhere above $\beth _\omega $. This is done without any additional model-theoretic hypotheses and generalizes to the much broader framework of tame AECs with weak amalgamation and coherent sequences.

For a set x, let ${\cal S}\left$ be the set of all permutations of x. We prove in ZF several results concerning this notion, among which are the following: For all sets x such that ${\cal S}\left$ is Dedekind infinite, $\left| {{{\cal S}_{{\rm{fin}}}}\left} \right| < \left| {{\cal S}\left} \right|$ and there are no finite-to-one functions from ${\cal S}\left$ into ${{\cal S}_{{\rm{fin}}}}\left$, where ${{\cal S}_{{\rm{fin}}}}\left$ denotes the set of all permutations of x which move only finitely many elements. For all sets (...) x such that ${\cal S}\left$ is Dedekind infinite, $\left| {{\rm{seq}}\left} \right| < \left| {{\cal S}\left} \right|$ and there are no finite-to-one functions from ${\cal S}\left$ into seq, where seq denotes the set of all finite sequences of elements of x. For all infinite sets x such that there exists a permutation of x without fixed points, there are no finite-to-one functions from ${\cal S}\left$ into x. For all sets x, $|{[x]^2}| < \left| {{\cal S}\left} \right|$. (shrink)

For a set x, let S(x) be the set of all permutations of x. We prove by the method of permutation models that the following statements are consistent with ZF: (1) There is an infinite set x such that |p(x)|<|S(x)|<|seq^1-1(x)|<|seq(x)|, where p(x) is the powerset of x, seq(x) is the set of all finite sequences of elements of x, and seq^1-1(x) is the set of all finite sequences of elements of x without repetition. (2) There is a Dedekind infinite set (...) x such that |S(x)|<|[x]^3| and such that there exists a surjection from x onto S(x). (3) There is an infinite set x such that there is a finite-to-one function from S(x) into x. (shrink)

In [4], Kunen used iterated ultrapowers to show that ifUis a normalκ-complete nontrivial ultrafilter on a cardinalκthenL[U], the class of sets constructive fromU, has only the ultrafilterU∩L[U] and this ultrafilter depends only onκ. In this paper we extend Kunen's methods to arbitrary sequencesUof ultrafilters and obtain generalizations of these results. In particular we answer Problem 1 of Kunen and Paris [5] which asks whether the number of ultrafilters onκcan be intermediate between 1 and 22κ. If there is a normalκ-complete ultrafilterUonκsuch (...) that {α <κ: α is measurable} ∈Uthen there is an inner model with exactly two normal ultrafilters onκ, and ifκis super-compact then there are inner models havingκ+ +,κ+or any cardinal less than or equal toκnormal ultrafilters.These methods also show that several properties ofLwhich had been shown to hold forL[U] also hold forL[U]: using an idea of Silver we show that inL[U] the generalized continuum hypothesis is true, there is a Souslin tree, and there is awell-ordering of the reals. In addition we generalize a result of Kunen to characterize the countaby complete ultrafilters ofL[U]. (shrink)

For a given inner model N of ZFC, one can consider the relativized version of Berkeley cardinals in the context of ZFC, and ask if there can exist an “N-Berkeley cardinal.” In this article we provide a positive answer to this question. Indeed, under the assumption of a supercompact cardinal $\delta $, we show that there exists a ZFC inner model N such that there is a cardinal which is N-Berkeley, even in a strong sense. Further, the (...) involved model N is a weak extender model of $\delta $ is supercompact. Finally, we prove that the strong version of N-Berkeley cardinals turns out to be inconsistent whenever N satisfies closure under $\omega $ -sequences. (shrink)

A mass problem is a set of functions $\omega \to \omega $. For mass problems ${\mathcal {C}}, {\mathcal {D}}$, one says that ${\mathcal {C}}$ is Muchnik reducible to ${\mathcal {D}}$ if each function in ${\mathcal {C}}$ is computed by a function in ${\mathcal {D}}$. In this paper we study some highness properties of Turing oracles, which we view as mass problems. We compare them with respect to Muchnik reducibility and its uniform strengthening, Medvedev reducibility.For $p \in [0,1]$ let ${\mathcal {D}}$ (...) be the mass problem of infinite bit sequences y such that for each computable bit sequence x, the bit sequence $ x {\,\leftrightarrow\,} y$ has asymptotic lower density at most p = y$ ). We show that all members of this family of mass problems parameterized by a real p with $0 p$ for each computable set x. We prove that the Medvedev complexity of the mass problems ${\mathcal {B}}$ is the same for all $p \in $, by showing that they are Medvedev equivalent to the mass problem of functions bounded by ${2^{2}}^{n}$ that are almost everywhere different from each computable function.Next, together with Joseph Miller, we obtain a proper hierarchy of the mass problems of type $\text {IOE}$ : we show that for any order function g there exists a faster growing order function $h $ such that $\text {IOE}$ is strictly above $\text {IOE}$ in the sense of Muchnik reducibility.We study cardinal characteristics in the sense of set theory that are analogous to the highness properties above. For instance, ${\mathfrak {d}} $ is the least size of a set G of bit sequences such that for each bit sequence x there is a bit sequence y in G so that $\underline \rho >p$. We prove within ZFC all the coincidences of cardinal characteristics that are the analogs of the results above. (shrink)

A. N. Turing’s 1936 concept of computability, computing machines, and computable binary digital sequences, is subject to Turing’s Cardinality Paradox. The paradox conjoins two opposed but comparably powerful lines of argument, supporting the propositions that the cardinality of dedicated Turing machines outputting all and only the computable binary digital sequences can only be denumerable, and yet must also be nondenumerable. Turing’s objections to a similar kind of diagonalization are answered, and the implications of the paradox for the concept of a (...) Turing machine, computability, computable sequences, and Turing’s effort to prove the unsolvability of the Entscheidungsproblem, are explained in light of the paradox. A solution to Turing’s Cardinality Paradox is proposed, positing a higher geometrical dimensionality of machine symbol-editing information processing and storage media than is available to canonical Turing machine tapes. The suggestion is to add volume to Turing’s discrete two-dimensional machine tape squares, considering them instead as similarly ideally connected massive three-dimensional machine information cells. Three-dimensional computing machine symbol-editing information processing cells, as opposed to Turing’s two-dimensional machine tape squares, can take advantage of a denumerably infinite potential for parallel digital sequence computing, by which to accommodate denumerably infinitely many computable diagonalizations. A three-dimensional model of machine information storage and processing cells is recommended on independent grounds as better representing the biological realities of digital information processing isomorphisms in the three-dimensional neural networks of living computers. (shrink)

We prove the following result which is due to the third author. Let [Formula: see text]. If [Formula: see text] determinacy and [Formula: see text] determinacy both hold true and there is no [Formula: see text]-definable [Formula: see text]-sequence of pairwise distinct reals, then [Formula: see text] exists and is [Formula: see text]-iterable. The proof yields that [Formula: see text] determinacy implies that [Formula: see text] exists and is [Formula: see text]-iterable for all reals [Formula: see text]. A consequence (...) is the Determinacy Transfer Theorem for arbitrary [Formula: see text], namely the statement that [Formula: see text] determinacy implies [Formula: see text] determinacy. (shrink)

We establish the consistency of the failure of the diamond principle on a cardinal [Formula: see text] which satisfies a strong simultaneous reflection property. The result is based on an analysis of Radin forcing, and further leads to a characterization of weak compactness of [Formula: see text] in a Radin generic extension.

Given any subset A of ω1 there is a proper partial order which forces that the predicate xA and the predicate xω1A can be expressed by -provably incompatible Σ3 formulas over the structure Hω2,,NSω1. Also, if there is an inaccessible cardinal, then there is a proper partial order which forces the existence of a well-order of Hω2 definable over Hω2,,NSω1 by a provably antisymmetric Σ3 formula with two free variables. The proofs of these results involve a technique for manipulating (...) the guessing properties of club-sequences defined on stationary subsets of ω1 at will in such a way that the Σ3 theory of Hω2,,NSω1 with countable ordinals as parameters is forced to code a prescribed subset of ω1. On the other hand, using theorems due to Woodin it can be shown that, in the presence of sufficiently strong large cardinals, the above results are close to optimal from the point of view of the Levy hierarchy. (shrink)

We address several questions of Donald Monk related to irredundance and spread of Boolean algebras, gaining both some ZFC knowledge and consistency results. We show in ZFC that . We prove consistency of the statement “there is a Boolean algebra such that ” and we force a superatomic Boolean algebra such that , and . Next we force a superatomic algebra such that and a superatomic algebra such that . Finally we show that consistently there is a Boolean algebra of (...) size λ such that there is no free sequence in of length λ, there is an ultrafilter of tightness λ and. (shrink)

We show that for all natural numbers n, the theory “ZF + DC $_{\aleph_n}$ + $\aleph_{\omega}$ is a Rowbottom cardinal carrying a Rowbottom filter” has the same consistency strength as the theory “ZFC + There exists a measurable cardinal”. In addition, we show that the theory “ZF + $\aleph_{\omega_1}$ is an ω 2-Rowbottom cardinal carrying an ω 2-Rowbottom filter and ω 1 is regular” has the same consistency strength as the theory “ZFC + There exist ω 1 (...) measurable cardinals”. We also discuss some generalizations of these results. (shrink)

In this paper, we study the forcing axiom for the class of proper forcing notions which do not add ω sequence of ordinals. We study the relationship between this forcing axiom and many cardinal invariants. We use typical iterated forcing with large cardinals and analyse certain property being preserved in this process. Lastly, we apply the results to distinguish several forcing axioms.