Question

Is there a model of $\operatorname{Th}(\mathbb{R})$ which is not a complete ordered field?

score 130 · Answer 1 · 2026-04-15 14:09:46

130

Views

Is there a model of $\operatorname{Th}(\mathbb{R})$ which is not a complete ordered field?

Published on 15 Apr 2026 - 14:09

score 232 · Answer 2 · 2026-04-08 00:40:36

232

Views

What is the point of expanding a structure $M$ by constants from $M$ itself?

Published on 08 Apr 2026 - 0:40

score 163 · Answer 3 · 2026-04-11 23:40:58

163

Views

Symmetry groups corresponding to terms in an algebra

Published on 11 Apr 2026 - 23:40

score 141 · Answer 4 · 2026-04-15 01:27:24

141

Views

Infinitary logic doesn't have (finite) Robinson property: a counterexample?

Published on 15 Apr 2026 - 1:27

score 83 · Answer 5 · 2026-04-12 12:29:39

83

Views

Embedding of structures in mathematical logic

Published on 12 Apr 2026 - 12:29

score 70 · Answer 6 · 2026-04-11 01:37:54

70

Views

Can we write down a sentence $\sigma$ which will characterize all groups in which any two non-identity element have the same order?

Published on 11 Apr 2026 - 1:37

score 148 · Answer 7 · 2026-04-10 02:24:17

148

Views

Is there a model of $Th(\frac{\mathbb{R}}{\mathbb{Z}})$ which is a periodic group?

Published on 10 Apr 2026 - 2:24

score 108 · Answer 8 · 2026-04-10 21:32:31

108

Views

A clarification of this model theory question regarding when two theories are the same

Published on 10 Apr 2026 - 21:32

score 108 · Answer 9 · 2026-04-15 09:28:18

108

Views

Is the class of infinite sets along with some certain other finite sets an axiomatizable class?

Published on 15 Apr 2026 - 9:28

score 80 · Answer 10 · 2026-04-13 00:20:01

80

Views

Impossibility of expressing "there are at least n+1 objects" without using existential quantifiers

Published on 13 Apr 2026 - 0:20

score 96 · Answer 11 · 2026-04-10 03:06:27

96

Views

Two model theory questions regarding infinitely axiomatizable classes of structures

Published on 10 Apr 2026 - 3:06

score 148 · Answer 12 · 2026-04-09 19:31:38

148

Views

How do model theorists define structures?

Published on 09 Apr 2026 - 19:31

score 50 · Answer 13 · 2026-04-12 21:42:52

50

Views

Which types of first-order signatures have proper pseudo-elementary classes?

Published on 12 Apr 2026 - 21:42

score 216 · Answer 14 · 2026-04-15 00:35:57

216

Views

Showing that if T has an infinite model, it has models at least models of every cardinality.

Published on 15 Apr 2026 - 0:35

score 132 · Answer 15 · 2026-04-16 13:30:15

132

Views

Δ-Interpolation doesn't imply Beth property in abstract model theory: a simple counterexample?

Published on 16 Apr 2026 - 13:30

List Question

Is there a model of $\operatorname{Th}(\mathbb{R})$ which is not a complete ordered field?

What is the point of expanding a structure $M$ by constants from $M$ itself?

Symmetry groups corresponding to terms in an algebra

Infinitary logic doesn't have (finite) Robinson property: a counterexample?

Embedding of structures in mathematical logic

Can we write down a sentence $\sigma$ which will characterize all groups in which any two non-identity element have the same order?

Is there a model of $Th(\frac{\mathbb{R}}{\mathbb{Z}})$ which is a periodic group?

A clarification of this model theory question regarding when two theories are the same

Is the class of infinite sets along with some certain other finite sets an axiomatizable class?

Impossibility of expressing "there are at least n+1 objects" without using existential quantifiers

Two model theory questions regarding infinitely axiomatizable classes of structures

How do model theorists define structures?

Which types of first-order signatures have proper pseudo-elementary classes?

Showing that if T has an infinite model, it has models at least models of every cardinality.

Δ-Interpolation doesn't imply Beth property in abstract model theory: a simple counterexample?

Trending Questions

Popular # Hahtags

Popular Questions