λEnter Calculus CompanionRegistered manuscripts, kept distinct

Manuscript Oai283-A@1 · Oai283-A.tex · section · 6fb75895

Three possible endings

Claim freeze and evidentiary boundary › Three possible endings · lines 195–209

Back to manuscript

For a named object, we use:

Constructed.

The object, domain, identities, and stated estimates are supplied.

Conditionally certified.

A proved implication applies when the separately listed acceptance conditions are supplied.

Unresolved.

A necessary construction or verification is missing.

Failure to construct an object is not a universal nonexistence theorem.