Question

If a set of polynomial equations with integral coefficients has a complex solution, does it have a solution $\bmod p$?

score 57 · Answer 1 · 2026-04-15 10:03:44

57

Views

If a set of polynomial equations with integral coefficients has a complex solution, does it have a solution $\bmod p$?

Published on 15 Apr 2026 - 10:03

score 157 · Answer 2 · 2026-04-10 08:05:43

157

Views

In first-order logic without equality, is the theory of partial orders the same as preorders?

Published on 10 Apr 2026 - 8:05

score 134 · Answer 3 · 2026-04-09 14:07:22

134

Views

Can betweenness be defined in terms of collinearity?

Published on 09 Apr 2026 - 14:07

score 312 · Answer 4 · 2026-04-13 17:03:37

312

Views

Is there a finite theory of groups whose models are all torsion-free?

Published on 13 Apr 2026 - 17:03

score 64 · Answer 5 · 2026-04-14 09:38:05

64

Views

Finite structural Ramsey degrees

Published on 14 Apr 2026 - 9:38

score 74 · Answer 6 · 2026-04-11 19:00:02

74

Views

Is a paraconsistent model a type of boolean-valued model?

Published on 11 Apr 2026 - 19:00

score 41 · Answer 7 · 2026-04-14 01:11:21

Suppose $T$ is a strongly minimal theory. If $A \subset M$ and $\bar{a} \in M$, then $\operatorname{RM}(\bar{a}/A) = \operatorname{dim}(\bar{a}/A)$.

score 131 · Answer 8 · 2026-04-11 18:32:46

131

Views

Finite magma where the only equations are of the form "$t=t$"?

Published on 11 Apr 2026 - 18:32

score 154 · Answer 9 · 2026-04-11 23:01:03

154

Views

How does compactness show that every set can be linearly ordered without also proving choice (via the well-ordering theorem)?

Published on 11 Apr 2026 - 23:01

score 104 · Answer 10 · 2026-04-13 02:10:20

104

Views

Equivalence of Algebraic and Model Theoretic Closure

Published on 13 Apr 2026 - 2:10

score 72 · Answer 11 · 2026-04-14 10:35:51

72

Views

Partitioning a definable set of Morley degree $d$ into $d$ definable disjoint sets of Morley degree $1$.

Published on 14 Apr 2026 - 10:35

score 110 · Answer 12 · 2026-04-08 22:48:28

110

Views

Does the class of fields admit amalgamation?

Published on 08 Apr 2026 - 22:48

score 77 · Answer 13 · 2026-04-16 03:32:45

77

Views

If $T= T_1 \cup T_2$ is inconsistent, then can we conclude that $T_1 \models \neg \phi$ for some $\phi\in T_2$

Published on 16 Apr 2026 - 3:32

score 219 · Answer 14 · 2026-04-08 17:50:37

219

Views

What are some applications of projective Fraïssé limits?

Published on 08 Apr 2026 - 17:50

score 118 · Answer 15 · 2026-04-13 17:45:42

118

Views

Why does the back and forth method fail to prove that, for each cardinality, any dense linear order without endpoints is unique up to isomorphism?

Published on 13 Apr 2026 - 17:45

List Question

If a set of polynomial equations with integral coefficients has a complex solution, does it have a solution $\bmod p$?

In first-order logic without equality, is the theory of partial orders the same as preorders?

Can betweenness be defined in terms of collinearity?

Is there a finite theory of groups whose models are all torsion-free?

Finite structural Ramsey degrees

Is a paraconsistent model a type of boolean-valued model?

Suppose $T$ is a strongly minimal theory. If $A \subset M$ and $\bar{a} \in M$, then $\operatorname{RM}(\bar{a}/A) = \operatorname{dim}(\bar{a}/A)$.

Finite magma where the only equations are of the form "$t=t$"?

How does compactness show that every set can be linearly ordered without also proving choice (via the well-ordering theorem)?

Equivalence of Algebraic and Model Theoretic Closure

Partitioning a definable set of Morley degree $d$ into $d$ definable disjoint sets of Morley degree $1$.

Does the class of fields admit amalgamation?

If $T= T_1 \cup T_2$ is inconsistent, then can we conclude that $T_1 \models \neg \phi$ for some $\phi\in T_2$

What are some applications of projective Fraïssé limits?

Why does the back and forth method fail to prove that, for each cardinality, any dense linear order without endpoints is unique up to isomorphism?

Trending Questions

Popular # Hahtags

Popular Questions