Question

Prove the Robinson arithmetic has infinite non-isomorphic models

score 519 · Answer 1 · 2014-12-05 17:07:26

519

Views

Prove the Robinson arithmetic has infinite non-isomorphic models

Published on 05 Dec 2014 - 17:07

score 355 · Answer 2 · 2014-12-08 04:22:48

355

Views

Zeta and Gamma function regularization with $\omega=1/0$

Published on 08 Dec 2014 - 4:22

score 1.3k · Answer 3 · 2014-12-18 00:16:37

1.3k

Views

Non-standard models for Peano Axioms

Published on 18 Dec 2014 - 0:16

score 364 · Answer 4 · 2014-12-22 07:22:36

364

Views

Existence of nonstandard elementary extensions of $PA$?

Published on 22 Dec 2014 - 7:22

score 92 · Answer 5 · 2019-10-18 23:07:47

92

Views

On an explicit model for $\mathbf Q$ with the negation of the axiom of induction

Published on 18 Oct 2019 - 23:07

score 101 · Answer 6 · 2019-11-08 14:39:21

101

Views

No single axiom stating non-Archimedeanity

Published on 08 Nov 2019 - 14:39

score 101 · Answer 7 · 2020-01-05 18:38:14

101

Views

System in the state space with differentiating links in feedback

Published on 05 Jan 2020 - 18:38

score 123 · Answer 8 · 2020-02-23 05:26:44

123

Views

Can proper elementarily equivalent end extensions ever be definable?

Published on 23 Feb 2020 - 5:26

score 385 · Answer 9 · 2020-02-28 06:48:21

385

Views

Are there Countable $\omega$- models of ZFC?

Published on 28 Feb 2020 - 6:48

score 38 · Answer 10 · 2020-03-06 23:00:47

38

Views

Physical/Geometric models for Reals , of different Cardinality (Lowenheim-Skolem, etc)?

Published on 06 Mar 2020 - 23:00

score 246 · Answer 11 · 2020-04-13 14:36:30

246

Views

Why do models of ZF which are not $\omega$-models have non-standard formulas whose length is "infinitely large natural numbers"?

Published on 13 Apr 2020 - 14:36

score 108 · Answer 12 · 2020-04-17 03:59:44

108

Views

Automorphism group of poset of models of Peano Arithmetic.

Published on 17 Apr 2020 - 3:59

score 153 · Answer 13 · 2020-04-21 00:34:24

153

Views

Understanding non-standard arithmetic models.

Published on 21 Apr 2020 - 0:34

score 258 · Answer 14 · 2020-04-26 04:34:45

258

Views

What is the hyperreal multiplicative inverse of $1 + \epsilon$, and how do we show it exists?

Published on 26 Apr 2020 - 4:34

score 324 · Answer 15 · 2020-06-08 13:58:57

Are there countable non-standard models of true arithmetic formulated in the uncountable "full (first-order) language of arithmetic"?

List Question

Prove the Robinson arithmetic has infinite non-isomorphic models

Zeta and Gamma function regularization with $\omega=1/0$

Non-standard models for Peano Axioms

Existence of nonstandard elementary extensions of $PA$?

On an explicit model for $\mathbf Q$ with the negation of the axiom of induction

No single axiom stating non-Archimedeanity

System in the state space with differentiating links in feedback

Can proper elementarily equivalent end extensions ever be definable?

Are there Countable $\omega$- models of ZFC?

Physical/Geometric models for Reals , of different Cardinality (Lowenheim-Skolem, etc)?

Why do models of ZF which are not $\omega$-models have non-standard formulas whose length is "infinitely large natural numbers"?

Automorphism group of poset of models of Peano Arithmetic.

Understanding non-standard arithmetic models.

What is the hyperreal multiplicative inverse of $1 + \epsilon$, and how do we show it exists?

Are there countable non-standard models of true arithmetic formulated in the uncountable "full (first-order) language of arithmetic"?

Trending Questions

Popular # Hahtags

Popular Questions