Question

Prove the Robinson arithmetic has infinite non-isomorphic models

score 520 · Answer 1 · 2026-03-25 03:07:04

520

Views

Prove the Robinson arithmetic has infinite non-isomorphic models

Published on 25 Mar 2026 - 3:07

score 70 · Answer 2 · 2014-12-07 05:24:45

70

Views

Does an interpretation of a structure by itself induce a bijection on the automorphism group of the structure?

Published on 07 Dec 2014 - 5:24

score 243 · Answer 3 · 2014-12-07 23:41:05

243

Views

Morley rank (with an unusual definition)

Published on 07 Dec 2014 - 23:41

score 113 · Answer 4 · 2014-12-08 00:01:53

113

Views

Problem with forking

Published on 08 Dec 2014 - 0:01

score 79 · Answer 5 · 2014-12-09 02:00:42

79

Views

Find some complete theory $U \supseteq T$

Published on 09 Dec 2014 - 2:00

score 43.3k · Answer 6 · 2014-12-09 03:00:57

43.3k

Views

In plain language, what's the difference between two things that are 'equivalent', 'equal', and 'identical'?

Published on 09 Dec 2014 - 3:00

score 5k · Answer 7 · 2014-12-10 10:26:43

5k

Views

Equivalence vs equisatisfiability

Published on 10 Dec 2014 - 10:26

score 203 · Answer 8 · 2014-12-11 01:19:16

203

Views

Does theory have uncountably many pairwise non-isomorphic models?

Published on 11 Dec 2014 - 1:19

score 101 · Answer 9 · 2014-12-11 01:48:23

101

Views

Does theory have the smallest model

Published on 11 Dec 2014 - 1:48

score 88 · Answer 10 · 2014-12-11 03:21:46

88

Views

Universal theory with relation symbol

Published on 11 Dec 2014 - 3:21

score 352 · Answer 11 · 2014-12-13 03:55:59

352

Views

If $B$ is a model for the set of positive consequences of $\Gamma$, then there's $A \subseteq B$ such that $A \models \Gamma$

Published on 13 Dec 2014 - 3:55

score 310 · Answer 12 · 2014-12-13 07:33:10

310

Views

The Lowenheim-Skolem theorem does not hold for $\mathfrak{L}_{II}$.

Published on 13 Dec 2014 - 7:33

score 2k · Answer 13 · 2026-03-26 11:07:11

2k

Views

Model of Robinson Arithmetic but not Peano Arithmetic

Published on 26 Mar 2026 - 11:07

score 110 · Answer 14 · 2026-03-28 06:48:33

110

Views

Motivation behind automorphism bases?

Published on 28 Mar 2026 - 6:48

score 71 · Answer 15 · 2014-12-14 04:08:12

71

Views

For any propostional sentences $a,b,c$, if $a\models (b\wedge c)$, then $a\models b$ and $a\models c$

Published on 14 Dec 2014 - 4:08

List Question

Prove the Robinson arithmetic has infinite non-isomorphic models

Does an interpretation of a structure by itself induce a bijection on the automorphism group of the structure?

Morley rank (with an unusual definition)

Problem with forking

Find some complete theory $U \supseteq T$

In plain language, what's the difference between two things that are 'equivalent', 'equal', and 'identical'?

Equivalence vs equisatisfiability

Does theory have uncountably many pairwise non-isomorphic models?

Does theory have the smallest model

Universal theory with relation symbol

If $B$ is a model for the set of positive consequences of $\Gamma$, then there's $A \subseteq B$ such that $A \models \Gamma$

The Lowenheim-Skolem theorem does not hold for $\mathfrak{L}_{II}$.

Model of Robinson Arithmetic but not Peano Arithmetic

Motivation behind automorphism bases?

For any propostional sentences $a,b,c$, if $a\models (b\wedge c)$, then $a\models b$ and $a\models c$

Trending Questions

Popular # Hahtags

Popular Questions