Question

The theory of the class of finite sets with at least n elements

score 130 · Answer 1 · 2026-04-15 12:37:45

130

Views

The theory of the class of finite sets with at least n elements

Published on 15 Apr 2026 - 12:37

score 399 · Answer 2 · 2026-04-11 05:41:17

399

Views

The empty model does not satisfy both a sentence and its negation.

Published on 11 Apr 2026 - 5:41

score 126 · Answer 3 · 2026-04-13 04:52:27

126

Views

Does the compactness of FOL apply to collections of formulas with free variables?

Published on 13 Apr 2026 - 4:52

score 105 · Answer 4 · 2026-04-12 12:26:59

105

Views

A property of $k$-stable theories.

Published on 12 Apr 2026 - 12:26

score 208 · Answer 5 · 2026-04-15 05:26:34

208

Views

Is there a first-order theory of symmetric groups or group actions?

Published on 15 Apr 2026 - 5:26

score 123 · Answer 6 · 2026-04-14 18:30:37

123

Views

Löwenheim number of the logic $\mathrm{FOL}[L]$ ($(Lx)[\varphi,\psi]$ holds iff $|\{x:\varphi\}| \ge 2^{|\{x:\psi\}|}$)

Published on 14 Apr 2026 - 18:30

score 378 · Answer 7 · 2026-04-14 04:05:33

378

Views

How complicated is the theory of $\mathbb Q_p$?

Published on 14 Apr 2026 - 4:05

score 226 · Answer 8 · 2026-04-15 08:08:23

226

Views

Which first-order theories have models uniquely determined by their automorphism groups?

Published on 15 Apr 2026 - 8:08

score 596 · Answer 9 · 2026-04-10 02:18:39

596

Views

Is a mathematical statement uniquely determined by all of its necessary conditions?

Published on 10 Apr 2026 - 2:18

score 59 · Answer 10 · 2026-04-12 13:33:59

59

Views

Is $y = \mathsf{Pd}x \leftrightarrow y = 0 \lor x = \mathsf{S}y$ a wrong definition of the predecessor function?

Published on 12 Apr 2026 - 13:33

score 130 · Answer 11 · 2026-04-13 15:24:23

130

Views

Countably determination of model extension

Published on 13 Apr 2026 - 15:24

score 514 · Answer 12 · 2026-04-11 02:23:18

514

Views

What exactly is a parameter in the sense of first-order logic?

Published on 11 Apr 2026 - 2:23

score 61 · Answer 13 · 2026-04-13 08:53:33

61

Views

Stationary types are almost orthogonal if and only if the realizers are independent

Published on 13 Apr 2026 - 8:53

score 368 · Answer 14 · 2026-04-09 15:40:45

368

Views

What is a regular logic?

Published on 09 Apr 2026 - 15:40

score 175 · Answer 15 · 2026-04-11 18:16:37

175

Views

Functions in many-sorted logic

Published on 11 Apr 2026 - 18:16

List Question

The theory of the class of finite sets with at least n elements

The empty model does not satisfy both a sentence and its negation.

Does the compactness of FOL apply to collections of formulas with free variables?

A property of $k$-stable theories.

Is there a first-order theory of symmetric groups or group actions?

Löwenheim number of the logic $\mathrm{FOL}[L]$ ($(Lx)[\varphi,\psi]$ holds iff $|\{x:\varphi\}| \ge 2^{|\{x:\psi\}|}$)

How complicated is the theory of $\mathbb Q_p$?

Which first-order theories have models uniquely determined by their automorphism groups?

Is a mathematical statement uniquely determined by all of its necessary conditions?

Is $y = \mathsf{Pd}x \leftrightarrow y = 0 \lor x = \mathsf{S}y$ a wrong definition of the predecessor function?

Countably determination of model extension

What exactly is a parameter in the sense of first-order logic?

Stationary types are almost orthogonal if and only if the realizers are independent

What is a regular logic?

Functions in many-sorted logic

Trending Questions

Popular # Hahtags

Popular Questions