arXiv Science⌕ Search

arXiv subjects

Thomas Jech

Publications and source records attributed to Thomas Jech.

At least 19 recordsLinked to original sources
arXiv2017

Measure Algebras

A Boolean $\sigma$-algebra $B$ is a measure algebra if and only if it is weakly distributive and uniformly concentrated.

math.LO↗
arXiv1996

The sequential topology on complete Boolean algebras

We investigate the sequential topology $\tau_s$ on a complete Boolean algebra $B$ determined by algebraically convergent sequences in $B$. We show the role of weak distributivity of $B$ in separation axioms for the sequential topology. The main result is that a necessary and sufficient condition for $B$ to carry a strictly positive Maharam submeasure is that $B$ is ccc and that the space $(B,\tau_s)$ is Hausdorff. We also characterize sequential cardinals.

math.LO↗
arXiv1995

Semi-Cohen Boolean algebras

We investigate classes of Boolean algebras related to the notion of forcing that adds Cohen reals. A >>Cohen algebra<< is a Boolean algebra that is dense in the completion of a free Boolean algebra. We introduce and study generalizations of Cohen algebras: semi-Cohen algebras, pseudo-Cohen algebras and potentially Cohen algebras. These classes of Boolean algebras are closed under completion.

math.LO↗
arXiv1994

Possible pcf algebras

There exists a family $\{B_{\alpha}\}_{\alpha<\omega_1}$ of sets of countable ordinals such that o $\max B_{\alpha}=\alpha$, o if $\alpha\in B_{\beta}$ then $B_{\alpha}\subseteq B_{\beta}$, o if $\lambda\leq \alpha$ and $\lambda$ is a limit ordinal then $B_{\alpha}\cap\lambda$ is not in the ideal generated by the $B_{\beta}$, $\beta<\alpha$, and by the bounded subsets of $\lambda$, o there is a partition $\{A_n\}_{n=0}^{\infty}$ of $\omega_1$ such that for every $\alpha$ and every $n,$ $B_{\alpha}\cap A_n$ is finite.

math.LO↗
arXiv1994

Large ordinals

Let $j$ be an elementary embedding of $V_λ$ into $V_λ$ that is not the identity, and let $κ$ be the critical point of $j$. Let $\Cal A$ be the closure of $\{j\}$ under the operation $a (b)$ of application, and let $Ω$ be the closure of $\{κ\}$ under the operation $\min \{ξ: a(ξ) \ge b(α)\}$. We give a complete description of the set $Ω$ under an assumption (Threshold Hypothesis) on cyclic left distributive algebras.

math.LO↗
arXiv1994

OTTER Experiments in a System of Combinatory Logic

This paper describes some experiments involving the automated theorem-proving program OTTER in the system TRC of illative combinatory logic. We show how OTTER can be steered to find a contradiction in an inconsistent variant of TRC, and present some experimentally discovered identities in TRC.

math.LO↗
arXiv1994

Projective Stationary Sets and Strong Reflection Principle

We study projective stationary sets. The Projective Stationary Reflection principle is the statement that every projective stationary set contains an increasing continuous $\in$--chain of length $ω_1$. We show that if Martin's Maximum holds, then the Projective Stationary Reflection Principle holds. Also it is equivalent to the Strong Reflection Principle. We show that the saturation of the nonstationary ideal on $ω_1$ is equivalent to a certain kind of reflection.

math.LO↗
arXiv1993

Full Reflection at a Measurable Cardinal

A stationary subset $S$ of a regular uncountable cardinal $κ$ {\it reflects fully} at regular cardinals if for every stationary set $T \subseteq κ$ of higher order consisting of regular cardinals there exists an $α\in T$ such that $S \cap α$ is a stationary subset of $α$. {\it Full Reflection} states that every stationary set reflects fully at regular cardinals. We will prove that under a slightly weaker assumption than $κ$ having Mitchell order $κ^{++}$ it is consistent that Full Reflection holds at every $λ\leq κ$ and $κ$ is measurable.

math.LO↗
arXiv1992

Finite left-distributive algebras and embedding algebras\endtitle

We consider algebras with one binary operation $\cdot$ and one generator ({\it monogenic}) and satisfying the left distributive law $a\cdot (b\cdot c)=(a\cdot b)\cdot (a\cdot c)$. One can define a sequence of finite left-distributive algebras $A_n$, and then take a limit to get an infinite monogenic left-distributive algebra~$A_\infty$. Results of Laver and Steel assuming a strong large cardinal axiom imply that $A_\infty$ is free; it is open whether the freeness of $A_\infty$ can be proved without the large cardinal assumption, or even in Peano arithmetic. The main result of this paper is the equivalence of this problem with the existence of a certain algebra of increasing functions on natural numbers, called an {\it embedding algebra}. Using this and results of the first author, we conclude that the freeness of $A_\infty$ is unprovable in primitive recursive arithmetic.

math.LO↗