Question

Prove that if a formula $\phi (v_1, v_2,...v_n)$ is satisfied in the substructure $\mathcal M$, then it is satisfied in structure $\mathcal N$

score 250 · Answer 1 · 2015-05-28 13:32:14

Prove that if a formula $\phi (v_1, v_2,...v_n)$ is satisfied in the substructure $\mathcal M$, then it is satisfied in structure $\mathcal N$

score 214 · Answer 2 · 2015-05-29 16:12:23

214

Views

Prove or disprove wether the sentence $\exists x\forall y Q(x,y)\to \forall y\exists x Q(x,y)$ is logically true

Published on 29 May 2015 - 16:12

score 333 · Answer 3 · 2015-05-29 21:29:05

333

Views

Elementary submodels in stationary logic.

Published on 29 May 2015 - 21:29

score 902 · Answer 4 · 2026-03-28 11:53:09

902

Views

The Hyperreal number system

Published on 28 Mar 2026 - 11:53

score 221 · Answer 5 · 2015-05-30 21:46:47

221

Views

Why is a type being realised in a finite structure enough to ensure it is isolated?

Published on 30 May 2015 - 21:46

score 227 · Answer 6 · 2026-03-28 12:02:34

227

Views

Metrizability, Models, of Non-Standard Reals

Published on 28 Mar 2026 - 12:02

score 127 · Answer 7 · 2015-06-03 05:59:12

127

Views

Non-forking global types

Published on 03 Jun 2015 - 5:59

score 54 · Answer 8 · 2015-06-03 08:56:29

54

Views

Orbit of an element $a$ over a set $A$ in the monster model.

Published on 03 Jun 2015 - 8:56

score 73 · Answer 9 · 2015-06-04 07:59:45

73

Views

Definable and quasi-definable over models.

Published on 04 Jun 2015 - 7:59

score 130 · Answer 10 · 2015-06-04 10:17:19

130

Views

Definable in a theory $T$ strongly minimal

Published on 04 Jun 2015 - 10:17

score 163 · Answer 11 · 2015-06-04 12:01:19

163

Views

Hodges, motet Non vos relinquam and indiscernible sequences.

Published on 04 Jun 2015 - 12:01

score 641 · Answer 12 · 2026-04-03 08:01:57

641

Views

Vaught's two cardinal theorem using Vaught pairs

Published on 03 Apr 2026 - 8:01

score 601 · Answer 13 · 2026-03-25 06:08:31

601

Views

Proving the Overspill Principle.

Published on 25 Mar 2026 - 6:08

score 309 · Answer 14 · 2015-06-08 15:21:10

309

Views

Example for consistent set of sentences that is $k$-categorical and has infinite models

Published on 08 Jun 2015 - 15:21

score 218 · Answer 15 · 2015-06-10 07:08:51

218

Views

$a \notin acl(A) \Longleftrightarrow$ exists an infinite indiscernible sequence over $A$ containing $a$

Published on 10 Jun 2015 - 7:08

List Question

Prove that if a formula $\phi (v_1, v_2,...v_n)$ is satisfied in the substructure $\mathcal M$, then it is satisfied in structure $\mathcal N$

Prove or disprove wether the sentence $\exists x\forall y Q(x,y)\to \forall y\exists x Q(x,y)$ is logically true

Elementary submodels in stationary logic.

The Hyperreal number system

Why is a type being realised in a finite structure enough to ensure it is isolated?

Metrizability, Models, of Non-Standard Reals

Non-forking global types

Orbit of an element $a$ over a set $A$ in the monster model.

Definable and quasi-definable over models.

Definable in a theory $T$ strongly minimal

Hodges, motet Non vos relinquam and indiscernible sequences.

Vaught's two cardinal theorem using Vaught pairs

Proving the Overspill Principle.

Example for consistent set of sentences that is $k$-categorical and has infinite models

$a \notin acl(A) \Longleftrightarrow$ exists an infinite indiscernible sequence over $A$ containing $a$

Trending Questions

Popular # Hahtags

Popular Questions