Pith. sign in

Title resolution pending

doi: 10 · Grundlehren der mathematischen Wissenschaften · DOI 10.1007/978-3-642-61667-9

1 Pith paper cite this work, alongside 696 external citations. Polarity classification is still indexing.

1 Pith paper citing it
696 external citations · OpenAlex
open at publisher browse 1 citing papers

Title metadata for this work has not finished resolving. The hub is built from the citation graph; the title resolver retries DOI and OpenAlex on its next pass.

citation-role summary

background 1

citation-polarity summary

unclear 1

fields

math.LO 1

years

2024 1

verdicts

CONDITIONAL 1

roles

background 1

polarities

unclear 1

representative citing papers

A Foundation for Synthetic Stone Duality

math.LO · 2024-12-04 · conditional · novelty 7.0

Four new axioms for homotopy type theory, modeling light condensed sets, suffice to develop synthetic topology and prove Brouwer's fixed-point theorem, with all functions continuous on the interval.

citing papers explorer

Showing 1 of 1 citing paper.

  • A Foundation for Synthetic Stone Duality math.LO · 2024-12-04 · conditional · none · ref 8

    Four new axioms for homotopy type theory, modeling light condensed sets, suffice to develop synthetic topology and prove Brouwer's fixed-point theorem, with all functions continuous on the interval.