Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Source. Sections 4.20–4.23, physical pp. 22–23 of the selected author version.
Primes 71, 73, 79, and 83
On , the only remaining part of the prime- branch consists of
Split the first class in (1) into its three classes modulo . The four resulting holes are filled separately by .
For any one of the four holes, begin with the ten packages
The relevant class modulo is the one fixed by that hole. Multiplying the ten packages separately by its fixed -condition gives ten more. Use the first eight original packages in two consecutive blocks of four to fill two packages. This gives an ordered pool of .
Apply the fixed -condition separately to those packages. Use the first packages of the -free pool, in three consecutive blocks of six, to fill three packages. The total is then
From this pool, fill in order
For every repeated arrow, split the shortest required prefix of the current pool into consecutive blocks of packages. These operations add complete packages, giving . Select the first packages to fill respectively all regular inputs of . For the fourth hole, add one already completed package for each of
The available packages fill all regular inputs of . The optional mentioned by the source is not needed.
Prime 89
Conditional on the prime- interface stated on the preceding page, return to its two-input hole and reuse the ordered pool of complete packages. In a new , the first inputs are already covered and the last two are open. Partition the pool into consecutive pairs and put one pair in those two inputs of each copy. This produces completed -packages. Add one package for each
using the first members of the current pool at each step. There are packages. The first fill the regular inputs of ; the one-package surplus is immaterial. This verifies the local implication from the -package prime- pool; it does not close the missing prime- allocation from which that pool depends.
Primes 97 and 101
Return to the one-input hole left at prime . The prime- stage supplied complete packages. For each , apply the selected empty regular prime- input at every level. This gives another packages , with . It is the full unbounded family in that selected input rather than one fixed prime- level. Add one package for each of
then two , one , one , and one . Use the shortest required prefix at each step, splitting the first packages into the two -blocks. The total is
Place these in the first inputs of a , leaving six inputs open.
Reuse the same ordered -package pool and partition it into fifteen consecutive blocks of six. On the present branch, the first inputs of each copy of are contextual 's covered by the first partial -package; one block fills its six open inputs. Only those six new pieces contribute leaves to each completed copy. Thus the unshifted packages and the fifteen new positive- packages give pairwise disjoint complete packages. Select and put them in the children of an ordinary -node. The source explicitly uses , without an arrow, so there is no further -adic tail. This ordinary node, together with the partial coverage used in producing its inputs, closes the prime- hole.
Prime 103
The only remaining hole lies inside the partial sixteenth package from the prime- stage. In this context it suffices to fill two inputs of one , one input of , or one input of .
Take the first eight packages of the prime- construction, including . They use only primes . Apply the needed fixed -condition separately to obtain eight more. Group the original eight into four consecutive pairs and put each pair in the two open inputs of a ; the other two inputs are contextual 's. There are packages. Apply the needed fixed -condition separately to all , and use the first packages in three consecutive blocks of six to fill three packages. This produces more, for .
Sequentially fill four , one , four , one , and one , always using consecutive blocks from the shortest required prefix. This adds , giving . The one-open-input condition at prime allows each package to fill that selected regular input at every level, producing further packages. There are available packages, so any fill all regular inputs of . This closes the final hole.
Verification
The arithmetic checks are
Surplus packages are omitted in the specified prefix order. The exact base pools, all repeated-arrow blocks, and the absence of each newly adjoined prime from its input pool are recorded on the later signature-certificate page. The four holes in (1) have different fixed - and -conditions, but that residue distinction is used only for coverage; modulus injectivity follows from the exponent-region and block checks. The prime- and prime- stages unconditionally close the residual holes recorded at primes and . Prime closes the residual prime- hole conditionally on its input interface. Thus the local schedules on this page leave no new hole, but the full construction still inherits the prime- reconstruction boundary.
Bears on. Problem 2.