Proceedings of the international congress of mathematicians (ICM 2010), Hyderabad, India, August 19–27, 2010. Volume II

Moore, J. T. (2010). Proceedings of the international congress of mathematicians (ICM 2010), Hyderabad, India, August 19–27, 2010. Volume II: Invited lectures.

Type

Unclassified

Intellectual base

Unclassified

Year

2010

Link

no authoritative link yet

Cited by

1 citation across 1 artifact.

Domain-specific

• Proper forcing axiom
  • … and a convenient observable transfers from PFA implies the continuum is ℵ2 and settles numerous statements about Aronszajn trees and compact spaces that ZFC alone does not decide. to A set theorist identifies the exact forcing class and consistency strength and distinguishes PFA from bounded and maximal variants..

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:cd907193c89b · see in the full table