<--- 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 / Field theory / Algebraic number theory / Model theory / Algebraic structures / Rational point / Local field / Elliptic curve / AxKochen theorem / Field

Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–60) DECIDABILITY IN LOCAL AND GLOBAL FIELDS Jochen Koenigsmann

DocID: 1xVbU - View Document

Mathematical analysis / Mathematical optimization / Operations research / Stochastic game / Nash equilibrium / Markov chain / Determinacy / Stochastic process / Mathematics / Analysis / Multi-objective optimization

Decidability Results for Multi-objective Stochastic Games Romain Brenguier and Vojtˇech Forejt Department of Computer Science, University of Oxford, UK Abstract. We study stochastic two-player turn-based games in which

DocID: 1xUOz - View Document

On axiomatization and polytime decidability of strictly positive fragment of K4.3 M. Svyatlovsky Moscow Institute of Physics and Technology Wormshop 2017

DocID: 1vcjY - View Document

On the Decidability Status of Reachability and Coverability in Graph Transformation Systems∗ Nathalie Bertrand1 , Giorgio Delzanno2 , Barbara König3 , Arnaud Sangnier4 , and Jan Stückrath3 1 2

DocID: 1v3xH - View Document

Senior Thesis in Mathematics Infiniteness and Linear Temporal Logic: Soundness, Completeness, & Decidability

DocID: 1v3pn - View Document