Source author record

Thomas Jech

Thomas Jech appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.LO

Catalog footprint

What is connected

5works

1topics

4close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint1996arXiv

The sequential topology on complete Boolean algebras

We investigate the sequential topology $τ_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,τ_s)$ is Hausdorff. We also characterize sequential cardinals.

preprint1995arXiv

On Countably Closed Complete Boolean Algebras

It is unprovable that every complete subalgebra of a countably closed complete Boolean algebra is countably closed.

preprint1995arXiv

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.

preprint1994arXiv

Possible pcf algebras

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

preprint1992arXiv

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.