Reinhardt’s conjecture, a formalization of the statement that a truthful knowing machine can know its own truthfulness and mechanicalness, was proved by Carlson using sophisticated structural results about the ordinals and transfinite induction just beyond the first epsilon number. We prove a weaker version of the conjecture, by elementary methods and transfinite induction up to a smaller ordinal.

This contribution extends the notions of roots and periodicity to strings of transfinite lengths. It shows that given a transfinite string, either it possesses a unique root or the set of its roots are equivalent in a strong way. Mathematics Subject Classification. 68R15.

The transfinite diameter is a way of quantifying the size of compact sets in Euclidean space. This quantity is related to the Hausdorff dimension and the Lebesgue measure, but gives a slightly different perspective on the set than either of those do. In this paper, we introduce the transfinite diameter, and outline some attempts to calculate this quantity for three sets in R. For z1, z2, . . . ...

All prior theories of infinite electrical networks assume that such networks are finitely connected, that is, between any two nodes of the network there is a finite path. This work establishes a theory for transfinite electrical networks wherein some nodes are not connected by finite paths but are connected by transfinite paths. Moreover, the voltages at those nodes may influence each other. Th...

For every countable ordinal number ?, we construct a metric space X? whose transfinite asymptotic dimension and complementary-finite are both ?.

We show that non-collapsing orthogonal term rewriting systems do not have the transfinite Church-Rosser property in the setting of Cauchy convergence. In addition, we show that for (a transfinite version of) the Parallel Moves Lemma to hold, any definition of residual for Cauchy convergent rewriting must either part with a number of fundamental properties enjoyed by rewriting systems in the fin...

This is a brief survey of the use of transfinite induction in metric fixed-point theory. Among the results discussed in some detail is the author’s 1989 result on directionally nonexpansive mappings (which is somewhat sharpened), a result of Kulesza and Lim giving conditions when countable compactness implies compactness, a recent inwardness result for contractions due to Lim, and a recent exte...