<--- Back to Details
First PageDocument Content
Proof theory / Continuum hypothesis / Forcing / Hypotheses / Kurt Gödel / Conjecture / Set theory / Decidability / Truth / Mathematical logic / Logic / Mathematics
Date: 2011-10-02 02:02:57
Proof theory
Continuum hypothesis
Forcing
Hypotheses
Kurt Gödel
Conjecture
Set theory
Decidability
Truth
Mathematical logic
Logic
Mathematics

IS THE CONTINUUM HYPOTHESIS A DEFINITE MATHEMATICAL PROBLEM?

Add to Reading List

Source URL: math.stanford.edu

Download Document from Source Website

File Size: 305,13 KB

Share Document on Facebook

Similar Documents

Algebra / Abstract algebra / Mathematics / Cohomology theories / Differential forms / Algebraic geometry / Algebraic topology / Sheaf / Divisor / De Rham cohomology / Ring / Proj construction

SKELETONS AND MODULI OF STOKES TORSORS by Jean-Baptiste Teyssier Abstract. — We prove an analogue for Stokes torsors of Deligne’s skeleton conjecture and deduce from it the representability of the functor of relative

DocID: 1xW1q - View Document

Abstract algebra / Algebra / Geometry / Algebraic geometry / Linear algebraic group / Scheme / Reductive group / Cohomology / Principal homogeneous space / Affine variety / Group action / Morphism of schemes

Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–222) ON GROTHENDIECK–SERRE CONJECTURE CONCERNING PRINCIPAL BUNDLES Ivan Panin

DocID: 1xVHY - View Document

Abstract algebra / Algebra / Mathematics / Algebraic topology / Algebraic geometry / Category theory / Sheaf / Nerve / Fundamental group / Universal property / Homological algebra / Algebraic geometry and analytic geometry

FINITE DECOMPOSITION COMPLEXITY AND THE INTEGRAL NOVIKOV CONJECTURE FOR HIGHER ALGEBRAIC K–THEORY (DRAFT) DANIEL A. RAMRAS, ROMAIN TESSERA, AND GUOLIANG YU Abstract. Decomposition complexity for metric spaces was recen

DocID: 1xVhW - View Document

Algebra / Abstract algebra / Geometry / Algebraic geometry / Group theory / Algebraic surfaces / Divisor / Projective variety / Quotient group / Differential geometry of surfaces / GIT quotient / Draft:Residual intersection

Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) Vol. XVIII (2018), On Lang’s conjecture for some product-quotient surfaces J ULIEN G RIVAUX , J ULIANA R ESTREPO V ELASQUEZ AND E RWAN ROUSSEAU

DocID: 1xVdp - View Document

Algebra / Abstract algebra / Ring theory / Algebraic number theory / Field theory / Complex analysis / Algebraic topology / Ramification / Conductor / Valuation / Proper morphism / Field extension

NEARBY SLOPES AND BOUNDEDNESS FOR `-ADIC SHEAVES IN POSITIVE CHARACTERISTIC by Jean-Baptiste Teyssier Abstract. — The goal of this paper is to motivate a boundedness conjecture for

DocID: 1xUH9 - View Document