Question

Example of how set-theoretic foundations might illuminate applications

score 133 · Answer 1 · 2026-03-28 01:46:09

133

Views

Example of how set-theoretic foundations might illuminate applications

Published on 28 Mar 2026 - 1:46

score 2.7k · Answer 2 · 2017-06-05 20:16:21

2.7k

Views

What follows from Axiom of Dependent Choice (DC) and what doesn't?

Published on 05 Jun 2017 - 20:16

score 94 · Answer 3 · 2017-06-07 15:10:11

94

Views

How do I prove the axiom of replacement using a model with a Inaccessible cardinal?

Published on 07 Jun 2017 - 15:10

score 127 · Answer 4 · 2026-03-26 02:54:30

127

Views

Does introducing a new type create a different extension, and is it still conservative?

Published on 26 Mar 2026 - 2:54

score 76 · Answer 5 · 2026-03-29 11:01:25

76

Views

Do we need implicit base 10 in order to represent a number in any given base?

Published on 29 Mar 2026 - 11:01

score 520 · Answer 6 · 2017-06-22 14:31:29

520

Views

Is there an Elementary Theory of the Category of Groups?

Published on 22 Jun 2017 - 14:31

score 445 · Answer 7 · 2026-04-01 05:54:00

445

Views

Proving Properties of Integers from the Definition as the Smallest Inductive Set in $\mathbb{R}$

Published on 01 Apr 2026 - 5:54

score 215 · Answer 8 · 2026-02-23 20:40:36

215

Views

How can we derive ruler postulate from Hilbert's axioms?

Published on 23 Feb 2026 - 20:40

score 138 · Answer 9 · 2026-03-28 04:22:47

138

Views

'Active' and 'inactive' lambda terms and Church.

Published on 28 Mar 2026 - 4:22

score 156 · Answer 10 · 2026-02-23 20:43:18

156

Views

Can these axioms serve as an alternative to Hilbert's axioms?

Published on 23 Feb 2026 - 20:43

score 171 · Answer 11 · 2017-06-28 01:44:00

171

Views

What is the abstract definition of an iteration?

Published on 28 Jun 2017 - 1:44

score 496 · Answer 12 · 2026-04-01 07:17:25

496

Views

How modular are Tarski's axioms of Euclidean geometry?

Published on 01 Apr 2026 - 7:17

score 127 · Answer 13 · 2017-07-03 07:52:10

127

Views

Why do we use function symbol instead of defining it in terms of predicates?

Published on 03 Jul 2017 - 7:52

score 310 · Answer 14 · 2026-03-26 01:03:06

310

Views

"Quantifying" over properties and "operations" in ZFC and transfinite recursion: clarifying confusion

Published on 26 Mar 2026 - 1:03

score 95 · Answer 15 · 2026-04-01 17:10:50

95

Views

How may we make $(\forall y ?)(\forall x ?)P$ equivalent to $(\forall x>0)(\forall y>x)P$

Published on 01 Apr 2026 - 17:10

List Question

Example of how set-theoretic foundations might illuminate applications

What follows from Axiom of Dependent Choice (DC) and what doesn't?

How do I prove the axiom of replacement using a model with a Inaccessible cardinal?

Does introducing a new type create a different extension, and is it still conservative?

Do we need implicit base 10 in order to represent a number in any given base?

Is there an Elementary Theory of the Category of Groups?

Proving Properties of Integers from the Definition as the Smallest Inductive Set in $\mathbb{R}$

How can we derive ruler postulate from Hilbert's axioms?

'Active' and 'inactive' lambda terms and Church.

Can these axioms serve as an alternative to Hilbert's axioms?

What is the abstract definition of an iteration?

How modular are Tarski's axioms of Euclidean geometry?

Why do we use function symbol instead of defining it in terms of predicates?

"Quantifying" over properties and "operations" in ZFC and transfinite recursion: clarifying confusion

How may we make $(\forall y ?)(\forall x ?)P$ equivalent to $(\forall x>0)(\forall y>x)P$

Trending Questions

Popular # Hahtags

Popular Questions