Question

Spivak Chapter 1 Assumptions

score 410 · Answer 1 · 2016-11-26 23:59:47

410

Views

Spivak Chapter 1 Assumptions

Published on 26 Nov 2016 - 23:59

score 184 · Answer 2 · 2016-12-01 17:48:38

184

Views

Axioms for induction with nonnegative integers

Published on 01 Dec 2016 - 17:48

score 102 · Answer 3 · 2016-12-09 19:23:50

102

Views

Motivation for the (arithmetic) 'collection axioms' $B\varphi$

Published on 09 Dec 2016 - 19:23

score 942 · Answer 4 · 2026-03-26 22:16:13

942

Views

Peano axioms: $∀y∀x(x×y = y×x)$, using induction in $y$

Published on 26 Mar 2026 - 22:16

score 814 · Answer 5 · 2016-12-16 07:30:06

814

Views

Is the statement "Every primitive recursive function is total" provable in $PA$?

Published on 16 Dec 2016 - 7:30

score 88 · Answer 6 · 2017-01-02 15:55:03

88

Views

Peano Equivalent for Rationals

Published on 02 Jan 2017 - 15:55

score 201 · Answer 7 · 2017-01-03 11:12:05

201

Views

The difference between $ZF$ $-$ _Inf_ and $ZF$ $-$ _Inf_ + $\lnot$_Inf_ and the difference it makes

Published on 03 Jan 2017 - 11:12

score 192 · Answer 8 · 2026-03-24 23:46:46

192

Views

Peano/Presburger axioms - "find" numbers lower or equal than another number

Published on 24 Mar 2026 - 23:46

score 41 · Answer 9 · 2017-01-04 18:07:29

41

Views

Peano axioms in FOL - numbers lower than or equal to another

Published on 04 Jan 2017 - 18:07

score 185 · Answer 10 · 2017-01-15 12:19:59

185

Views

Concrete exanples of nonstandard models of $ZF$ $-$ _Infinity_ $+$ $\not$ _Infinity_

Published on 15 Jan 2017 - 12:19

score 981 · Answer 11 · 2017-01-23 16:58:49

981

Views

Peano axioms induction

Published on 23 Jan 2017 - 16:58

score 497 · Answer 12 · 2017-01-28 11:43:49

497

Views

Prove $\langle \mathbb{N}, x \mapsto x +1, 1 \rangle$ is a Peano system without circular reasoning

Published on 28 Jan 2017 - 11:43

score 33 · Answer 13 · 2026-03-26 16:05:44

33

Views

Can we show $P'$ positive $\Rightarrow P$ increasing for polynomials $P$ without using real numbers ?

Published on 26 Mar 2026 - 16:05

score 621 · Answer 14 · 2017-02-11 09:10:39

621

Views

Prove the intersection of every nonempty family of successor sets is a successor set itself

Published on 11 Feb 2017 - 9:10

score 664 · Answer 15 · 2017-03-08 21:00:15

664

Views

"Successor" for rational numbers (generate all rationals recursively starting from a specific one)

Published on 08 Mar 2017 - 21:00

List Question

Spivak Chapter 1 Assumptions

Axioms for induction with nonnegative integers

Motivation for the (arithmetic) 'collection axioms' $B\varphi$

Peano axioms: $∀y∀x(x×y = y×x)$, using induction in $y$

Is the statement "Every primitive recursive function is total" provable in $PA$?

Peano Equivalent for Rationals

The difference between $ZF$ $-$ _Inf_ and $ZF$ $-$ _Inf_ + $\lnot$_Inf_ and the difference it makes

Peano/Presburger axioms - "find" numbers lower or equal than another number

Peano axioms in FOL - numbers lower than or equal to another

Concrete exanples of nonstandard models of $ZF$ $-$ _Infinity_ $+$ $\not$ _Infinity_

Peano axioms induction

Prove $\langle \mathbb{N}, x \mapsto x +1, 1 \rangle$ is a Peano system without circular reasoning

Can we show $P'$ positive $\Rightarrow P$ increasing for polynomials $P$ without using real numbers ?

Prove the intersection of every nonempty family of successor sets is a successor set itself

"Successor" for rational numbers (generate all rationals recursively starting from a specific one)

Trending Questions

Popular # Hahtags

Popular Questions