Question

Is the intersection of the class of EC_{\Delta} a subset of an EC class iff the union of the generating sets of the classes entail that EC class?

score 281 · Answer 1 · 2018-03-15 10:18:27

Is the intersection of the class of EC_{\Delta} a subset of an EC class iff the union of the generating sets of the classes entail that EC class?

score 101 · Answer 2 · 2026-03-23 07:26:04

101

Views

Characterizing the algebras on $\mathbb(Z)/2\mathbb(Z)$

Published on 23 Mar 2026 - 7:26

score 82 · Answer 3 · 2018-03-16 02:20:21

82

Views

Why is interpretation of an existential formula defined this way in Model Theory?

Published on 16 Mar 2018 - 2:20

score 168 · Answer 4 · 2018-03-17 17:55:58

168

Views

Axiomatize purely transcendental field extension

Published on 17 Mar 2018 - 17:55

score 92 · Answer 5 · 2018-03-18 03:48:59

92

Views

is there a finite a finite subcollection $\mathcal K′$ of $\mathcal K $ such that $\mathcal \cap K′ ⊆ B $

Published on 18 Mar 2018 - 3:48

score 146 · Answer 6 · 2026-03-23 04:03:43

146

Views

Any non-standard halting oracles stronger than $\mathbb N$?

Published on 23 Mar 2026 - 4:03

score 74 · Answer 7 · 2018-03-20 08:49:47

74

Views

Isomorphic Models via Ehrenfreucht-Fraisse games

Published on 20 Mar 2018 - 8:49

score 51 · Answer 8 · 2018-03-21 01:33:54

51

Views

Nonempty bounded definable sets in ultrapowers

Published on 21 Mar 2018 - 1:33

score 84 · Answer 9 · 2018-03-21 21:05:11

84

Views

Structure for a complete theory

Published on 21 Mar 2018 - 21:05

score 439 · Answer 10 · 2018-03-25 07:00:54

439

Views

Hilbert-Bernays theorem

Published on 25 Mar 2018 - 7:00

score 136 · Answer 11 · 2018-03-27 00:23:32

136

Views

Model for a theory of commutative rings having quantifier elimination

Published on 27 Mar 2018 - 0:23

score 591 · Answer 12 · 2026-03-17 13:06:15

591

Views

A formula is satisfiable under $I \iff |I|=1$?

Published on 17 Mar 2026 - 13:06

score 91 · Answer 13 · 2026-03-22 14:17:45

91

Views

Equivalence of $I\Sigma_n$ and $I\Pi_n$

Published on 22 Mar 2026 - 14:17

score 352 · Answer 14 · 2018-03-29 18:44:31

352

Views

Game semantics for first-order logic

Published on 29 Mar 2018 - 18:44

score 247 · Answer 15 · 2018-03-30 17:31:20

247

Views

Partially isomorphic but not isomorphic structures of the same cardinality

Published on 30 Mar 2018 - 17:31

List Question

Is the intersection of the class of EC_{\Delta} a subset of an EC class iff the union of the generating sets of the classes entail that EC class?

Characterizing the algebras on $\mathbb(Z)/2\mathbb(Z)$

Why is interpretation of an existential formula defined this way in Model Theory?

Axiomatize purely transcendental field extension

is there a finite a finite subcollection $\mathcal K′$ of $\mathcal K $ such that $\mathcal \cap K′ ⊆ B $

Any non-standard halting oracles stronger than $\mathbb N$?

Isomorphic Models via Ehrenfreucht-Fraisse games

Nonempty bounded definable sets in ultrapowers

Structure for a complete theory

Hilbert-Bernays theorem

Model for a theory of commutative rings having quantifier elimination

A formula is satisfiable under $I \iff |I|=1$?

Equivalence of $I\Sigma_n$ and $I\Pi_n$

Game semantics for first-order logic

Partially isomorphic but not isomorphic structures of the same cardinality

Trending Questions

Popular # Hahtags

Popular Questions