The published foundations of TFPT
Read the original registered statements beside their paper sections, assumptions and verification sources. The later reviewed research stays connected through a separate record.
Search the complete foundation register
22 matching active claims. Showing at most 20 per page. Original statement text and long numerical details open within each claim.
Research Contract 2 — [formula in source]
tfpt research contracts
Original identifier and classification
DOILY.PFAFFIAN.WICK.01Closed finite theorems [E] + one honest kill (the operative-30 reading); the Wick-compiler premise stays [O]; no marker move
No authored topic assignment in this snapshot.
Read the statement, conditions and evidenceResearch contracts
Research contracts
Original identifier and classification
DIMENSION.SELECTOR.4D.01Conditional [C] (exact selector under the named axiom set A1-A4; axiom provenance from the compiler open)
No authored topic assignment in this snapshot.
Read the statement, conditions and evidence