Notizen

Ergänzende Ergebnisse, ausführliche Beweise und Arbeitsideen.

Die Forschungsnotizen sind auf Englisch verfügbar. Ihr mathematischer Inhalt wird nicht übersetzt.

N0007 — Exact norms and evaluator-only Hahn-Banach inputs (Original auf Englisch)

N0007 · Version 0.1 · aktualisiert

Beweis: Entwurf Prüfung: Nicht extern geprüft Beitrag: Follow-up deductions; not an omitted draft section

Hahn-BanachComputable analysisWeihrauch reducibilityRepresentationsNorm information

Norm recovery in the limit, a precise upper-bound bridge to the retained proofs, and a finite-dimensional obstruction.

N0006 — Transporting Hahn-Banach instances and extracting separators (Original auf Englisch)

N0006 · Version 0.2 · aktualisiert

Beweis: Entwurf Prüfung: Nicht extern geprüft Beitrag: Expanded known reduction; general transport and scope clarification

Hahn-BanachComputable analysisWeihrauch reducibility

Unknown-norm transport, the retained norm-one forcing construction, and the lower bound for the literal exact-norm problem.

N0005 — Uniform block isometries without sign tests (Original auf Englisch)

N0005 · Version 0.1 · aktualisiert

Beweis: Entwurf Prüfung: Nicht extern geprüft Beitrag: Expanded isometry proof and explicit formulas

Hahn-BanachComputable analysisWeihrauch reducibilityIsometries

A branch-free block formula, explicit inverse and complete Cauchy-name conversion for the varying gadget space.

N0004 — A uniform Hahn-Banach extension loop: states and decoding (Original auf Englisch)

N0004 · Version 0.2 · aktualisiert

Beweis: Entwurf Prüfung: Nicht extern geprüft Beitrag: Expanded loop proof; exact-oracle follow-up marked

Hahn-BanachComputable analysisWeihrauch reducibilityInfinite loops

The original norm-one state decoder, a general-bound version, and iteration of the literal exact-norm one-step oracle.

N0002 — Effective one-step Hahn-Banach intervals (Original auf Englisch)

N0002 · Version 0.2 · aktualisiert

Beweis: Entwurf Prüfung: Nicht extern geprüft Beitrag: Expanded known proof; supplied-bound generalization

Hahn-BanachComputable analysisWeihrauch reducibility

The direct certificate proof, a functional realizer, and the precise supplied-bound and exact-norm specializations.

N0001 — Hahn-Banach working notes: scope and reading map (Original auf Englisch)

N0001 · Version 0.2 · aktualisiert

Beweis: Expository overview Prüfung: Nicht extern geprüft Beitrag: Exposition and provenance

Hahn-BanachComputable analysisWeihrauch reducibility

The paper's evaluator-only convention, its norm-one restrictions, and a reading map for the retained proofs and the norm-information follow-up.

Abhängigkeitsdiagramm

Ein Pfeil A → B bedeutet, dass B die Notiz A als Voraussetzung aufführt. Inhaltliche Ähnlichkeit ist keine Beweisabhängigkeit.

Das Diagramm benötigt JavaScript. Die Textlisten bleiben ohne JavaScript verfügbar.