Question

Can we omit types from a structure to get a "related" structure?

score 125 · Answer 1 · 2017-04-19 18:47:21

125

Views

Can we omit types from a structure to get a "related" structure?

Published on 19 Apr 2017 - 18:47

score 90 · Answer 2 · 2017-04-21 04:17:36

90

Views

Pillay on construction of a heir: why is this consistent?

Published on 21 Apr 2017 - 4:17

score 36 · Answer 3 · 2017-04-21 13:37:38

36

Views

Showing an equivalence for a sequence of formulas

Published on 21 Apr 2017 - 13:37

score 192 · Answer 4 · 2017-04-25 06:03:43

192

Views

Proving with compactness argument

Published on 25 Apr 2017 - 6:03

score 71 · Answer 5 · 2026-03-25 20:33:45

71

Views

Seeking general information about modal probability arithmetic

Published on 25 Mar 2026 - 20:33

score 511 · Answer 6 · 2017-04-26 21:10:20

511

Views

In the ultrafilter lemma, is the ultrafilter unique?

Published on 26 Apr 2017 - 21:10

score 184 · Answer 7 · 2026-03-30 13:43:38

184

Views

Models of a theory in an elementary topos.

Published on 30 Mar 2026 - 13:43

score 87 · Answer 8 · 2017-04-27 03:19:03

87

Views

Consider the signature with just one function symbol, $\times$, and constants 0 and 1.

Published on 27 Apr 2017 - 3:19

score 77 · Answer 9 · 2017-04-29 06:41:18

77

Views

How many different uses of the word "model" are there in mathematics?

Published on 29 Apr 2017 - 6:41

score 945 · Answer 10 · 2026-03-28 22:37:55

945

Views

Are the standard natural numbers an outstanding model of PA?

Published on 28 Mar 2026 - 22:37

score 236 · Answer 11 · 2017-04-30 15:05:39

236

Views

Recovering a structure from its automorphism group

Published on 30 Apr 2017 - 15:05

score 800 · Answer 12 · 2017-04-30 17:52:35

800

Views

On logically equivalent definitions of soundness/completeness for FOL and consistency/completeness of a theory of FOL

Published on 30 Apr 2017 - 17:52

score 775 · Answer 13 · 2017-05-01 03:17:47

775

Views

On understanding nullary relations and the definition of $\mathfrak A \models P$ for a structure $\mathfrak A$ and 0-ary predicate $P$

Published on 01 May 2017 - 3:17

score 241 · Answer 14 · 2017-05-01 17:48:12

241

Views

Define a sentence that has arbitrarily large finite models

Published on 01 May 2017 - 17:48

score 428 · Answer 15 · 2026-04-03 16:48:23

428

Views

Is $\mathbb{L}$ literally the smallest model of $\sf ZF(C)$ ? (In $\sf NBG$)

Published on 03 Apr 2026 - 16:48

List Question

Can we omit types from a structure to get a "related" structure?

Pillay on construction of a heir: why is this consistent?

Showing an equivalence for a sequence of formulas

Proving with compactness argument

Seeking general information about modal probability arithmetic

In the ultrafilter lemma, is the ultrafilter unique?

Models of a theory in an elementary topos.

Consider the signature with just one function symbol, $\times$, and constants 0 and 1.

How many different uses of the word "model" are there in mathematics?

Are the standard natural numbers an outstanding model of PA?

Recovering a structure from its automorphism group

On logically equivalent definitions of soundness/completeness for FOL and consistency/completeness of a theory of FOL

On understanding nullary relations and the definition of $\mathfrak A \models P$ for a structure $\mathfrak A$ and 0-ary predicate $P$

Define a sentence that has arbitrarily large finite models

Is $\mathbb{L}$ literally the smallest model of $\sf ZF(C)$ ? (In $\sf NBG$)

Trending Questions

Popular # Hahtags

Popular Questions