84

Answers
votes newest views recent
7
ZFC, set membership and FOL
7
The Reverse Mathematics of writing a set as a union?
7
Is modern computability theory “really” about algorithms?
7
Prenex normal form vs. quantifier rank
7
Is there a model theoretic realization of the concept of Arithmetical Hierachy?
7
Can infinity shorten proofs a lot?
6
Decidability of chess on an infinite board
6
Uniform solutions to Post’s problem for axiomatizable theories
6
Why is Cohen’s result insufficient to settle CH?
6
Derivation rules and Godel theorem
6
Are real numbers countable in constructive mathematics?
6
Existence of an $\omega$-nonstandard model of ZFC from compactness
6
Intended interpretations of set theories
6
First-order vs second-order provability
5
Explicit expression for recursively defined functions
5
Uncountable nonstandard models of PA
5
Interpretation of the Second Incompleteness Theorem
5
Arithmetic fixed point theorem
5
Weakest subsystems of second order arithmetic for mathematical logic
5
Determinacy interchanging the roles of both players
5
What is the shortest program for which halting is unknown?
5
What are examples of mathematical concepts named after the wrong people? (Stigler’s law)
5
What does it mean for a mathematical statement to be true?
5
Locally complete space is topologically equivalent to a complete space
5
What is your favorite “strange” function?
4
Improvements of the Baire Category Theorem under (not CH)?
4
What is cardinality of the set of true undecidable minimal sentences in a formal theory of aritmetic
4
Breaking the circularity in the definition of N
4
Abstract Thought vs Calculation
4
Lowering order of theory
prev 1 2 3 next