Question

Suppose $R \sim_\omega R'$. Then for every $k$-tuple $a$ in $E$ and every natural number $p$, there is a $k$-tuple $b$ in $E'$ such that $a \sim_p b$

score 139 · Answer 1 · 2014-08-25 04:01:12

Suppose $R \sim_\omega R'$. Then for every $k$-tuple $a$ in $E$ and every natural number $p$, there is a $k$-tuple $b$ in $E'$ such that $a \sim_p b$

score 494 · Answer 2 · 2026-03-27 01:52:11

494

Views

Exercise 4.5.13 in Marker

Published on 27 Mar 2026 - 1:52

score 457 · Answer 3 · 2014-08-28 19:10:51

457

Views

Can one prove existence of incommensurables without the Pythagorean theorem?

Published on 28 Aug 2014 - 19:10

score 739 · Answer 4 · 2026-03-29 03:27:14

739

Views

Are there counter intuitive interpretations of ZF or ZFC?

Published on 29 Mar 2026 - 3:27

score 178 · Answer 5 · 2026-03-29 03:12:22

178

Views

Is it meaningless to say $M\prec N$ for two proper class models?

Published on 29 Mar 2026 - 3:12

score 2k · Answer 6 · 2014-08-29 13:01:33

2k

Views

Complete, Finitely Axiomatizable, Theory with 3 Countable Models

Published on 29 Aug 2014 - 13:01

score 742 · Answer 7 · 2014-08-30 06:06:34

742

Views

Proving that a propositional theory of any cardinality has an independent set of axioms

Published on 30 Aug 2014 - 6:06

score 81 · Answer 8 · 2014-09-05 13:57:41

81

Views

Show that exists a finite subset in $\mathcal{L}$-theory

Published on 05 Sep 2014 - 13:57

score 213 · Answer 9 · 2014-09-07 11:50:46

213

Views

Local embedding implies embedding into an ultraproduct

Published on 07 Sep 2014 - 11:50

score 717 · Answer 10 · 2014-09-07 21:26:02

717

Views

Defining finite unions of intervals with algebraic endpoints on the reals

Published on 07 Sep 2014 - 21:26

score 490 · Answer 11 · 2014-09-09 19:03:38

490

Views

Proving that the two structures $(\mathbb{R},<)$ and $(\mathbb{R}\setminus\{0\},<)$ are not isomorphic

Published on 09 Sep 2014 - 19:03

score 467 · Answer 12 · 2014-09-11 19:16:00

467

Views

How to prove an element of a given structure is not definable?

Published on 11 Sep 2014 - 19:16

score 199 · Answer 13 · 2014-09-13 07:31:13

199

Views

Are ideals necessarily definable?

Published on 13 Sep 2014 - 7:31

score 154 · Answer 14 · 2014-09-13 20:43:17

154

Views

Is $Th(\mathbb{Z}[x])$ uncountably categorical?

Published on 13 Sep 2014 - 20:43

score 158 · Answer 15 · 2014-09-15 02:10:12

158

Views

Adding unary relation symbol within complete theory

Published on 15 Sep 2014 - 2:10

List Question

Suppose $R \sim_\omega R'$. Then for every $k$-tuple $a$ in $E$ and every natural number $p$, there is a $k$-tuple $b$ in $E'$ such that $a \sim_p b$

Exercise 4.5.13 in Marker

Can one prove existence of incommensurables without the Pythagorean theorem?

Are there counter intuitive interpretations of ZF or ZFC?

Is it meaningless to say $M\prec N$ for two proper class models?

Complete, Finitely Axiomatizable, Theory with 3 Countable Models

Proving that a propositional theory of any cardinality has an independent set of axioms

Show that exists a finite subset in $\mathcal{L}$-theory

Local embedding implies embedding into an ultraproduct

Defining finite unions of intervals with algebraic endpoints on the reals

Proving that the two structures $(\mathbb{R},<)$ and $(\mathbb{R}\setminus\{0\},<)$ are not isomorphic

How to prove an element of a given structure is not definable?

Are ideals necessarily definable?

Is $Th(\mathbb{Z}[x])$ uncountably categorical?

Adding unary relation symbol within complete theory

Trending Questions

Popular # Hahtags

Popular Questions