Question

If $a$ and $b$ are elements of a group $G$ that satisfy the same first order formulas, is there always an automorphism of $G$ that maps $a$ to $b$?

score 435 · Answer 1 · 2024-01-13 03:50:54

435

Views

If $a$ and $b$ are elements of a group $G$ that satisfy the same first order formulas, is there always an automorphism of $G$ that maps $a$ to $b$?

Published on 13 Jan 2024 - 3:50

score 67 · Answer 2 · 2026-02-23 13:43:11

67

Views

Would the Following Table Strategy Work as an Intuitionistic Decision Procedure?

Published on 23 Feb 2026 - 13:43

score 96 · Answer 3 · 2024-01-14 16:55:08

96

Views

Model vs Axiom vs Theory... difference

Published on 14 Jan 2024 - 16:55

score 57 · Answer 4 · 2024-01-15 00:44:36

57

Views

What is the formal definition of monster model?

Published on 15 Jan 2024 - 0:44

score 217 · Answer 5 · 2024-01-15 15:57:19

217

Views

How to create infinitely many disjoint sets from infinitely many sets

Published on 15 Jan 2024 - 15:57

score 147 · Answer 6 · 2026-03-28 13:59:36

147

Views

Can WS1S encode any power of $2$?

Published on 28 Mar 2026 - 13:59

score 64 · Answer 7 · 2024-01-17 20:41:38

64

Views

Why does model theory usually study complete theories?

Published on 17 Jan 2024 - 20:41

score 64 · Answer 8 · 2026-02-23 10:20:09

64

Views

Can This Classical-Kleene Combination for Intuitionistic Fragment $\{ \neg, \vee, \wedge \}$ Be Extended to Include $\rightarrow$?

Published on 23 Feb 2026 - 10:20

score 108 · Answer 9 · 2026-03-25 06:02:18

108

Views

Modeling a formula with free variables for quantifier elimination, i.e. $\mathfrak{M} \models \phi (x) \leftrightarrow \psi (x)$

Published on 25 Mar 2026 - 6:02

score 152 · Answer 10 · 2024-01-20 15:29:32

152

Views

Permutation model in which infinite sets are weakly Dedekind-infinite but not Dedekind-infinite

Published on 20 Jan 2024 - 15:29

score 65 · Answer 11 · 2026-03-26 12:46:56

65

Views

Doing an modal logic exercise. The tableau for both the argument and its negation are open. Am I doing something wrong?

Published on 26 Mar 2026 - 12:46

score 30 · Answer 12 · 2024-01-22 11:19:37

30

Views

What are some surprising theories that contain Robinson arithmetic?

Published on 22 Jan 2024 - 11:19

score 70 · Answer 13 · 2026-03-26 20:53:54

70

Views

Are Euclidean domains first-order axiomatizable in just the language of rings?

Published on 26 Mar 2026 - 20:53

score 77 · Answer 14 · 2024-01-23 14:22:31

77

Views

Why is $S \models \bot$ the "same" as $S$ has no model?

Published on 23 Jan 2024 - 14:22

score 79 · Answer 15 · 2026-03-25 12:28:09

79

Views

What is the significance of the difference between I$\Sigma_3$, I$\Sigma_{30}$ and I$\Sigma_{3000000}$ and $PA$?

Published on 25 Mar 2026 - 12:28

List Question

If $a$ and $b$ are elements of a group $G$ that satisfy the same first order formulas, is there always an automorphism of $G$ that maps $a$ to $b$?

Would the Following Table Strategy Work as an Intuitionistic Decision Procedure?

Model vs Axiom vs Theory... difference

What is the formal definition of monster model?

How to create infinitely many disjoint sets from infinitely many sets

Can WS1S encode any power of $2$?

Why does model theory usually study complete theories?

Can This Classical-Kleene Combination for Intuitionistic Fragment $\{ \neg, \vee, \wedge \}$ Be Extended to Include $\rightarrow$?

Modeling a formula with free variables for quantifier elimination, i.e. $\mathfrak{M} \models \phi (x) \leftrightarrow \psi (x)$

Permutation model in which infinite sets are weakly Dedekind-infinite but not Dedekind-infinite

Doing an modal logic exercise. The tableau for both the argument and its negation are open. Am I doing something wrong?

What are some surprising theories that contain Robinson arithmetic?

Are Euclidean domains first-order axiomatizable in just the language of rings?

Why is $S \models \bot$ the "same" as $S$ has no model?

What is the significance of the difference between I$\Sigma_3$, I$\Sigma_{30}$ and I$\Sigma_{3000000}$ and $PA$?

Trending Questions

Popular # Hahtags

Popular Questions