183

Answers

votes newest views recent

1

Basic results with three or more hypotheses

18

Verifying the correctness of a Sudoku solution (2)

4

Smallest base to reach partial recursive functions as a closure of unbound search

5

Weakest choice principle required for Robertson-Seymour Graph Minor Theorem?

2

Zeros of polynomials in discretely ordered rings

3

Does any lower bound on proofs of FLT improve Shepherdson 1965?

10

When does $ZFC \vdash\ ‘ ZFC \vdash \varphi\ ’$ imply $ZFC \vdash \varphi$?

2

Asymptotics of the Number of Non-Isomorphic Equivalence Relations and the Number of Non-Isomorphic Relations

4

What metatheory proves $\mathsf{ACA}_0$ conservative over PA?

6

Definability in a language with a single binary predicate

2

dense orders are saturated

1

Is the product of closed subgroups in a locally compact group locally compact?

4

The existential theory of the reals

4

ERA, PRA, PA, transfinite induction and equivalences

1

Defining definite integral using indefinite integral.

3

Size-limited oracles

3

Is there any o-minimal expansion of the real field with functions of growth higher than exponential?

2

What logic is modelled by generalized boolean algebra?

10

Can FPA really prove its consistency?

8

Provability in Second-Order Arithmetic without the Successor Axiom

11

Even XOR Odd Infinities?

10

Is metatheory, providing proof of the incompleteness theorem, consistent?

3

What can we infer about the size of a complete Boolen algebra, given it is $\kappa$-c.c.?

2

Collection from Replacement in ZFC-extensionality

5

Existential instantiation in Hilbert-style deduction systems

6

SAT and Arithmetic Geometry

5

Non-uniform complexity of the halting problem

4

If NP=EXPTIME, does every DTM have a succinct “execution proof”?

3

How would one characterize a PR-complete language?

2

Independent families and chains