Proceedings of the International Congress of Mathematicians

(2010). Proceedings of the International Congress of Mathematicians: Hyderabad, 2010.

Type

Unclassified

Intellectual base

Unclassified

Year

2010

Link

no authoritative link yet

Cited by

1 citation across 1 artifact.

Domain-specific

• Ω-logic
  • Its semantics, proof notion and completeness conjecture depend on strong large-cardinal hypotheses; claims about the continuum hypothesis are conditional and philosophically contested.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:cd95d515692f · see in the full table