Question

Theory closed under substructures implies universally axiomatizable

score 420 · Answer 1 · 2017-02-15 18:55:31

420

Views

Theory closed under substructures implies universally axiomatizable

Published on 15 Feb 2017 - 18:55

score 350 · Answer 2 · 2017-02-16 11:45:32

350

Views

Embedding a torsion-free group into a divisible group, using compactness

Published on 16 Feb 2017 - 11:45

score 92 · Answer 3 · 2017-02-16 15:01:07

92

Views

Why would this be a $T_1$-space?

Published on 16 Feb 2017 - 15:01

score 95 · Answer 4 · 2026-03-26 16:03:33

95

Views

Reason for Tegmark's CUH

Published on 26 Mar 2026 - 16:03

score 122 · Answer 5 · 2017-02-17 00:03:56

122

Views

Some clarifications needed about the Vaught Tarski Test

Published on 17 Feb 2017 - 0:03

score 148 · Answer 6 · 2017-02-17 00:07:17

148

Views

Prove that is not axiomatizable - using Ehrenfeucht-Fraisse'a game

Published on 17 Feb 2017 - 0:07

score 68 · Answer 7 · 2017-02-17 03:06:06

68

Views

Shewing the existence of a function assuming V=L

Published on 17 Feb 2017 - 3:06

score 155 · Answer 8 · 2017-02-19 12:53:25

155

Views

Show that class of infinite sequences with relation $R$ is not axiomatizable

Published on 19 Feb 2017 - 12:53

score 231 · Answer 9 · 2017-02-19 23:06:16

231

Views

Showing the existence of an infinite (strong) antichain

Published on 19 Feb 2017 - 23:06

score 93 · Answer 10 · 2017-02-20 17:42:41

93

Views

Characterising the positive $\Pi_2$-sentences

Published on 20 Feb 2017 - 17:42

score 379 · Answer 11 · 2017-02-20 19:25:19

379

Views

Generalised quantifiers and Boolean Algebra

Published on 20 Feb 2017 - 19:25

score 665 · Answer 12 · 2026-04-01 15:26:07

665

Views

Axiom of Choice in the proof of "Łoś' theorem implies compactness theorem"

Published on 01 Apr 2026 - 15:26

score 426 · Answer 13 · 2017-02-23 00:06:13

426

Views

Embedding, substructure in model theory

Published on 23 Feb 2017 - 0:06

score 754 · Answer 14 · 2017-02-23 02:45:11

754

Views

Elementary equivalence between two structures

Published on 23 Feb 2017 - 2:45

score 455 · Answer 15 · 2017-02-23 11:51:54

455

Views

A minimal structure that is a model of a complete theory must be a prime model

Published on 23 Feb 2017 - 11:51

List Question

Theory closed under substructures implies universally axiomatizable

Embedding a torsion-free group into a divisible group, using compactness

Why would this be a $T_1$-space?

Reason for Tegmark's CUH

Some clarifications needed about the Vaught Tarski Test

Prove that is not axiomatizable - using Ehrenfeucht-Fraisse'a game

Shewing the existence of a function assuming V=L

Show that class of infinite sequences with relation $R$ is not axiomatizable

Showing the existence of an infinite (strong) antichain

Characterising the positive $\Pi_2$-sentences

Generalised quantifiers and Boolean Algebra

Axiom of Choice in the proof of "Łoś' theorem implies compactness theorem"

Embedding, substructure in model theory

Elementary equivalence between two structures

A minimal structure that is a model of a complete theory must be a prime model

Trending Questions

Popular # Hahtags

Popular Questions