Question

Do non-standard models of arithmetic add properties to what are "intuitively" their standard numbers?

score 335 · Answer 1 · 2017-06-21 21:21:33

335

Views

Do non-standard models of arithmetic add properties to what are "intuitively" their standard numbers?

Published on 21 Jun 2017 - 21:21

score 52 · Answer 2 · 2017-08-19 14:15:12

52

Views

Why doesn't the transfer-principle hold for the following statement?

Published on 19 Aug 2017 - 14:15

score 240 · Answer 3 · 2017-08-23 17:45:38

240

Views

What do non-standard cardinalities look like?

Published on 23 Aug 2017 - 17:45

score 186 · Answer 4 · 2017-10-21 20:11:36

186

Views

Information about $ZFC + (\neg CH)$

Published on 21 Oct 2017 - 20:11

score 678 · Answer 5 · 2017-10-29 17:38:49

678

Views

Model of concatenation theory with left-cancellation but no right-cancellation

Published on 29 Oct 2017 - 17:38

score 240 · Answer 6 · 2017-11-06 03:24:23

240

Views

Relationship between nonstandard analysis and nonstandard models of arithmetic

Published on 06 Nov 2017 - 3:24

score 179 · Answer 7 · 2017-11-17 19:48:09

179

Views

Can a countable model of arithmetic have mutually non-definable numbers?

Published on 17 Nov 2017 - 19:48

score 103 · Answer 8 · 2018-01-08 14:06:19

103

Views

Show that there is a nonstandard model of the set of all sentences that are true under natural numbers

Published on 08 Jan 2018 - 14:06

score 638 · Answer 9 · 2011-10-15 17:21:49

638

Views

Primes in nonstandard models of PA

Published on 15 Oct 2011 - 17:21

score 168 · Answer 10 · 2020-08-24 21:38:25

168

Views

Can all $\mathsf{Q}$-provably recursive functions be "frequently termlike"?

Published on 24 Aug 2020 - 21:38

score 85 · Answer 11 · 2020-09-02 22:58:15

85

Views

Totally order turing machines by halting

Published on 02 Sep 2020 - 22:58

score 121 · Answer 12 · 2020-09-04 20:32:03

121

Views

Is there a least standard model of Peano Arithmetics?

Published on 04 Sep 2020 - 20:32

score 211 · Answer 13 · 2020-09-18 23:42:57

211

Views

Can theories with axioms beyond arithmetic make false promises about integer existence?

Published on 18 Sep 2020 - 23:42

score 111 · Answer 14 · 2020-10-04 20:07:03

Constructing an infinitely large natural number such that it is not divisible by any number $n \in \mathbb{N}_{>1}$

score 752 · Answer 15 · 2020-10-08 09:48:23

752

Views

How can induction work on non-standard natural numbers?

Published on 08 Oct 2020 - 9:48

List Question

Do non-standard models of arithmetic add properties to what are "intuitively" their standard numbers?

Why doesn't the transfer-principle hold for the following statement?

What do non-standard cardinalities look like?

Information about $ZFC + (\neg CH)$

Model of concatenation theory with left-cancellation but no right-cancellation

Relationship between nonstandard analysis and nonstandard models of arithmetic

Can a countable model of arithmetic have mutually non-definable numbers?

Show that there is a nonstandard model of the set of all sentences that are true under natural numbers

Primes in nonstandard models of PA

Can all $\mathsf{Q}$-provably recursive functions be "frequently termlike"?

Totally order turing machines by halting

Is there a least standard model of Peano Arithmetics?

Can theories with axioms beyond arithmetic make false promises about integer existence?

Constructing an infinitely large natural number such that it is not divisible by any number $n \in \mathbb{N}_{>1}$

How can induction work on non-standard natural numbers?

Trending Questions

Popular # Hahtags

Popular Questions