Question

Saturation,Example, uncountable cardinality

score 43 · Answer 1 · 2026-04-07 19:26:27

43

Views

Saturation,Example, uncountable cardinality

Published on 07 Apr 2026 - 19:26

score 2.3k · Answer 2 · 2026-04-01 21:31:15

2.3k

Views

Category theory from the first order logic point of view

Published on 01 Apr 2026 - 21:31

score 77 · Answer 3 · 2017-08-05 16:31:08

77

Views

Is there any usual attempt in model theory to define someting like the "canonical" signature of a class of structures.

Published on 05 Aug 2017 - 16:31

score 111 · Answer 4 · 2026-03-30 03:38:00

111

Views

How to precisely state how "strict 2-category" relates to "bicategory in which all coherence 2-cells are identities"?

Published on 30 Mar 2026 - 3:38

score 274 · Answer 5 · 2026-03-27 10:46:03

274

Views

Tarski criterion fails? , $\Sigma_1$ formula,elementary substructure

Published on 27 Mar 2026 - 10:46

score 578 · Answer 6 · 2026-04-08 21:05:10

578

Views

Does interpretability generalize model theory?

Published on 08 Apr 2026 - 21:05

score 195 · Answer 7 · 2017-08-08 09:30:43

195

Views

Isolated types in an ACF over a subfield, in one and higher dimensions

Published on 08 Aug 2017 - 9:30

score 750 · Answer 8 · 2026-03-28 03:55:27

750

Views

Are there uncountably infinite complete extensions of finite theories of the natural numbers?

Published on 28 Mar 2026 - 3:55

score 179 · Answer 9 · 2026-04-09 17:54:01

179

Views

Tarski-vaught and elementary substructure counter example

Published on 09 Apr 2026 - 17:54

score 100 · Answer 10 · 2017-08-16 02:01:38

100

Views

Showing that True Arithmetic ($TA$) is a maximal-consistent theory

Published on 16 Aug 2017 - 2:01

score 61 · Answer 11 · 2017-08-18 14:29:33

If a class of binary relations is first-order axiomatizable, are their reflexive reductions axiomatizable w/o equality?

score 84 · Answer 12 · 2017-08-18 19:25:14

84

Views

$\Sigma_{1}$-embedding in models of bounded theories

Published on 18 Aug 2017 - 19:25

score 289 · Answer 13 · 2026-03-28 20:22:24

289

Views

How to prove $n\leq x \rightarrow x = n \vee Sn \leq x$ using Robinson Arithmetic

Published on 28 Mar 2026 - 20:22

score 89 · Answer 14 · 2017-08-20 14:55:53

89

Views

An explicit axiomatization of the universal theory of fields

Published on 20 Aug 2017 - 14:55

score 83 · Answer 15 · 2026-04-09 07:43:59

83

Views

Löwenheim–Skolem theorem without parameters?

Published on 09 Apr 2026 - 7:43

List Question

Saturation,Example, uncountable cardinality

Category theory from the first order logic point of view

Is there any usual attempt in model theory to define someting like the "canonical" signature of a class of structures.

How to precisely state how "strict 2-category" relates to "bicategory in which all coherence 2-cells are identities"?

Tarski criterion fails? , $\Sigma_1$ formula,elementary substructure

Does interpretability generalize model theory?

Isolated types in an ACF over a subfield, in one and higher dimensions

Are there uncountably infinite complete extensions of finite theories of the natural numbers?

Tarski-vaught and elementary substructure counter example

Showing that True Arithmetic ($TA$) is a maximal-consistent theory

If a class of binary relations is first-order axiomatizable, are their reflexive reductions axiomatizable w/o equality?

$\Sigma_{1}$-embedding in models of bounded theories

How to prove $n\leq x \rightarrow x = n \vee Sn \leq x$ using Robinson Arithmetic

An explicit axiomatization of the universal theory of fields

Löwenheim–Skolem theorem without parameters?

Trending Questions

Popular # Hahtags

Popular Questions