479

Answers

votes newest views recent

3

In what sense can `$ACA_{0}$` be said to be a conservative extension of PA?

3

FOPL and equational logic

3

Relation between P and FP

3

Quantum field theory in Solovay-land

3

Operator probability in a RPN string (2)

3

Code universal arithmetical sets by a hyperarithmetical set?

3

Circumference of convex shapes

3

Bits and orbits

2

A basis for $\mathbb{Q_p}$ as a vector space over $\mathbb{Q}$

2

p\poly and NP definitions

2

Model Theoretic Localization

2

Examples of $G_\delta$ sets

2

The setwise stabiliser of a finite set is maximal in Sym(N). (2)

2

Is $X$ homeomorphic to $S^1 \times Y$?

2

A question about Second-Order ZFC and the Continuum Hypothesis

2

Gödel quantified?

2

Regular polygon shadows of convex polyhedra

2

Perfectness of R-Bilinear form preserved under extension of scalars?

2

Defining $\mathbb{Z}$ in $\mathbb{Z}^\ast/P\mathbb{Z}^\ast$ where $P$ is an infinite prime

2

“name” for the ground model

2

Nim-like(?) game winning strategy?

2

Extending linear operators to multi-linear ones

2

Every topos is a regular category

2

Boolean Prime Ideal Theorem versus the Axiom of Determinacy

2

Are these systems of linear equations always solvable

2

Condition for Uniqueness of Measures

2

A Theory of 3-connected graphs

2

Loopspace of an Eilenberg Maclane space K(G,n)

2

Nonmetrizable uniformities with metrizable topologies

2

Statistics for Second order properties of Random graphs