Question

Why isn't $\leq$ definable in $(\mathbb{R};0,+,-)$?

score 72 · Answer 1 · 2015-11-08 19:03:59

72

Views

Why isn't $\leq$ definable in $(\mathbb{R};0,+,-)$?

Published on 08 Nov 2015 - 19:03

score 345 · Answer 2 · 2015-11-09 07:03:35

345

Views

Simple proof that Automorphisms preserve definable subsets?

Published on 09 Nov 2015 - 7:03

score 331 · Answer 3 · 2015-11-11 07:25:44

331

Views

Is the use of the meta-meta-theory allowed in proving an independence result?

Published on 11 Nov 2015 - 7:25

score 577 · Answer 4 · 2015-11-11 18:03:49

577

Views

Understanding countable elementary submodels

Published on 11 Nov 2015 - 18:03

score 474 · Answer 5 · 2026-03-27 13:20:05

474

Views

How do inconsistent arithmetics get around Gödel incompleteness?

Published on 27 Mar 2026 - 13:20

score 220 · Answer 6 · 2015-11-11 22:07:27

220

Views

Using Compactness to find a non-constructible set

Published on 11 Nov 2015 - 22:07

score 614 · Answer 7 · 2015-11-12 15:08:59

614

Views

Is a tautology substitution instance with first order formulas valid?

Published on 12 Nov 2015 - 15:08

score 244 · Answer 8 · 2015-11-12 23:16:24

244

Views

The Amalgamation Property in AECs

Published on 12 Nov 2015 - 23:16

score 251 · Answer 9 · 2015-11-14 21:11:30

251

Views

Axioms for $\mathbb Z$-groups without named one?

Published on 14 Nov 2015 - 21:11

score 208 · Answer 10 · 2015-11-15 07:47:33

208

Views

Equivalence of the theories $\operatorname{Th}(\Bbb{R}, 0,1,+, \le)$ and $\operatorname{Th}(\Bbb{Q}, 0,1,+, \le) $

Published on 15 Nov 2015 - 7:47

score 242 · Answer 11 · 2015-11-15 23:39:48

242

Views

The analogy between two Rudin-Keisler orders

Published on 15 Nov 2015 - 23:39

score 266 · Answer 12 · 2015-11-16 01:41:11

266

Views

Is this an axiomatization of real closed fields?

Published on 16 Nov 2015 - 1:41

score 243 · Answer 13 · 2015-11-17 06:52:00

243

Views

non-isomorphic countable models of $Th(\mathbb{N})$

Published on 17 Nov 2015 - 6:52

score 579 · Answer 14 · 2015-11-17 12:20:57

579

Views

Can't EF game theory be applied to finite languages WITH function symbols?

Published on 17 Nov 2015 - 12:20

score 76 · Answer 15 · 2015-11-17 20:00:35

76

Views

Let $L$ be a first order language with equality and two binary function symbols...

Published on 17 Nov 2015 - 20:00

List Question

Why isn't $\leq$ definable in $(\mathbb{R};0,+,-)$?

Simple proof that Automorphisms preserve definable subsets?

Is the use of the meta-meta-theory allowed in proving an independence result?

Understanding countable elementary submodels

How do inconsistent arithmetics get around Gödel incompleteness?

Using Compactness to find a non-constructible set

Is a tautology substitution instance with first order formulas valid?

The Amalgamation Property in AECs

Axioms for $\mathbb Z$-groups without named one?

Equivalence of the theories $\operatorname{Th}(\Bbb{R}, 0,1,+, \le)$ and $\operatorname{Th}(\Bbb{Q}, 0,1,+, \le) $

The analogy between two Rudin-Keisler orders

Is this an axiomatization of real closed fields?

non-isomorphic countable models of $Th(\mathbb{N})$

Can't EF game theory be applied to finite languages WITH function symbols?

Let $L$ be a first order language with equality and two binary function symbols...

Trending Questions

Popular # Hahtags

Popular Questions