List questions from foundations

Published on 18 Feb 2021 - 8:03

88

Views

Do you need the axiom of choice if the non-empty sets in question are defined recursively?

Published on 18 Feb 2021 - 19:58

73

Views

How can any sentence be valid?

Published on 24 Feb 2021 - 0:47

162

Views

What does the principle of implosion imply from a truth-value gap?

Published on 27 Mar 2026 - 1:46

87

Views

Is there a general notion of definability/expressibility?

Published on 20 Mar 2021 - 14:26

45

Views

Is there a general notion of reduction possibly dual to that of closure?

Published on 23 Mar 2021 - 9:57

112

Views

Does the Deduction Theorem fail for Primitive Recursive Arithmetic?

Published on 26 Mar 2021 - 2:58

79

Views

What are the subfunctors of $\operatorname{Hom}_{\Bbb Q}(q,-)$

Published on 28 Mar 2021 - 17:14

115

Views

Reverse Mathematics of Well-Founded Induction in Primitive Recursive Arithmetic

Published on 25 Mar 2026 - 18:47

53

Views

If $X$ is a subset of $A$ with more than $n$ elements, then there exist $a,b \in X$ such that $ a \mid b $ or $b \mid a$.

Published on 31 Mar 2021 - 19:59

680

Views

Prove that $\lim\limits_{x\to 2} (3x + 4) = 10$.

Published on 01 Apr 2021 - 2:24

88

Views

Quantification over structured sets

Published on 03 Apr 2021 - 0:55

75

Views

Well-definedness of left adjoint functors

Published on 28 Mar 2026 - 5:58

146

Views

Can mathematics be constructed from logic?

Published on 18 Apr 2021 - 22:43

629

Views

What does it mean to take category theory as a foundation for logic?

Published on 28 Apr 2021 - 0:58

List Question

The Lattice of Open Sets Determines the Topology

Do you need the axiom of choice if the non-empty sets in question are defined recursively?

How can any sentence be valid?

What does the principle of implosion imply from a truth-value gap?

Is there a general notion of definability/expressibility?

Is there a general notion of reduction possibly dual to that of closure?

Does the Deduction Theorem fail for Primitive Recursive Arithmetic?

What are the subfunctors of $\operatorname{Hom}_{\Bbb Q}(q,-)$

Reverse Mathematics of Well-Founded Induction in Primitive Recursive Arithmetic

If $X$ is a subset of $A$ with more than $n$ elements, then there exist $a,b \in X$ such that $ a \mid b $ or $b \mid a$.

Prove that $\lim\limits_{x\to 2} (3x + 4) = 10$.

Quantification over structured sets

Well-definedness of left adjoint functors

Can mathematics be constructed from logic?

What does it mean to take category theory as a foundation for logic?

Trending Questions

Popular # Hahtags

Popular Questions