Elementary patterns of resemblance notate ordinals up to the ordinal of Pi^1_1-CA_0. We provide ordinal multiplication and exponentiation algorithms using these notations.

The exact correspondence between ordinal notations derived from Skolem hull operators, which are classical in ordinal analysis, and descriptions of ordinals in terms of Σ1-elementarity, an approach developed by T.J. Carlson, is analyzed in full detail. The ordinal arithmetical tools needed for this purpose were developed in [G. Wilken, Ordinal arithmetic based on Skolem hulling, Annals of Pure and Applied Logic 145 130–161]. We show that the least ordinal κ such that κ<1∞ 19–77] and described below) is the proof theoretic (...) ordinal of the set-theoretic system , confirming a claim of Carlson. Moreover, we characterize the class of all ordinals κ such that κ<1∞ and provide an ordinal arithmetical analysis of Carlson’s entire structure in the style of [T.J. Carlson, Ordinal arithmetic and Σ1-elementarity, Archive for Mathematical Logic 38 449–460]. (shrink)

We will investigate patterns of resemblance of order 2 over a family of arithmetic structures on the ordinals. In particular, we will show that they determine a computable well ordering under appropriate assumptions.

The Bachmann-Howard structure, that is the segment of ordinal numbers below the proof theoretic ordinal of Kripke-Platek set theory with infinity, is fully characterized in terms of CARLSON’s approach to ordinal notation systems based on the notion of Σ1-elementarity.

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.

We construct a machine that knows its own code, at the price of not knowing its own factivity.

A notation for an ordinal using patterns of resemblance is based on choosing an isominimal set of ordinals containing the given ordinal. There are many choices for this set meaning that notations are far from unique. We establish that among all such isominimal sets there is one which is smallest under inclusion thus providing an appropriate notion of normal form notation in this context. In addition, we calculate the elements of this isominimal set using standard notations based on collapsing functions. (...) This provides a capstone to the results in [2, 6, 8, 9, 7], using further refinement of ordinal arithmetic developed in [8] which then both allows for a simple characterization of normal forms for patterns of order one and will play a key role in the arithmetical analysis of pure patterns of order two, [5]. (shrink)

We study the structure of families of theories in the language of arithmetic extended to allow these families to refer to one another and to themselves. If a theory contains schemata expressing its own truth and expressing a specific Turing index for itself, and contains some other mild axioms, then that theory is untrue. We exhibit some families of true self-referential theories that barely avoid this forbidden pattern.

We investigate the extent to which structures consisting of sequences of forests on the same underlying set are well-quasi-ordered under embeddings.

We will study patterns which occur when considering how Σ 1 -elementary substructures arise within hierarchies of structures. The order in which such patterns evolve will be seen to be independent of the hierarchy of structures provided the hierarchy satisfies some mild conditions. These patterns form the lowest level of what we call patterns of resemblance . They were originally used by the author to verify a conjecture of W. Reinhardt concerning epistemic theories 449–460; Ann. Pure Appl. Logic, to appear), (...) but their relationship to axioms of infinity and usefulness for ordinal analysis were manifest from the beginning. This paper is the first part of a series which provides an introduction to an extensive program including the ordinal analysis of set theories. Future papers will conclude the introduction and establish, among other things, that notations we will derive from the patterns considered here represent the proof-theoretic ordinal of the theory KPℓ 0 or, equivalently, Π 1 1 −CA 0. (shrink)

We will study patterns which occur when considering how Σ1-elementary substructures arise within hierarchies of structures. The order in which such patterns evolve will be seen to be independent of the hierarchy of structures provided the hierarchy satisfies some mild conditions. These patterns form the lowest level of what we call patterns of resemblance. They were originally used by the author to verify a conjecture of W. Reinhardt concerning epistemic theories 449–460; Ann. Pure Appl. Logic, to appear), but their relationship (...) to axioms of infinity and usefulness for ordinal analysis were manifest from the beginning. This paper is the first part of a series which provides an introduction to an extensive program including the ordinal analysis of set theories. Future papers will conclude the introduction and establish, among other things, that notations we will derive from the patterns considered here represent the proof-theoretic ordinal of the theory KPℓ0 or, equivalently, Π11−CA0. (shrink)