Question

The set of primes as the spectrum of a first-order theory

score 161 · Answer 1 · 2013-06-06 19:20:11

161

Views

The set of primes as the spectrum of a first-order theory

Published on 06 Jun 2013 - 19:20

score 87 · Answer 2 · 2013-06-07 01:20:23

87

Views

Basics of Infinitary Formal Languages

Published on 07 Jun 2013 - 1:20

score 4.2k · Answer 3 · 2026-03-31 03:57:01

4.2k

Views

Most astonishing applications of compactness theorem outside logic

Published on 31 Mar 2026 - 3:57

score 94 · Answer 4 · 2026-03-30 11:58:21

94

Views

Existence of arbitrarily large ordinal subgroups in a group structure on a regular cardinal

Published on 30 Mar 2026 - 11:58

score 645 · Answer 5 · 2026-03-27 17:52:57

645

Views

How is the standard model of number theory specified, and why can't we use that specification to prove any number theoretical sentence of interest?

Published on 27 Mar 2026 - 17:52

score 1.2k · Answer 6 · 2013-06-09 22:50:44

1.2k

Views

Is $ \pi $ definable in $(\Bbb R,0,1,+,×, <,\exp) $?

Published on 09 Jun 2013 - 22:50

score 935 · Answer 7 · 2013-06-10 02:04:59

935

Views

Definability vs Automorphisms

Published on 10 Jun 2013 - 2:04

score 488 · Answer 8 · 2026-04-04 07:02:22

488

Views

In ZF, does there exist an ordinal of provably uncountable cofinality?

Published on 04 Apr 2026 - 7:02

score 99 · Answer 9 · 2013-06-10 13:17:22

99

Views

Two questions on stable groups

Published on 10 Jun 2013 - 13:17

score 266 · Answer 10 · 2026-03-29 14:20:19

266

Views

Formalizing model-theoretical large cardinals in a formal system for ZFC

Published on 29 Mar 2026 - 14:20

score 3.7k · Answer 11 · 2026-04-02 04:58:01

3.7k

Views

Complete theories - dense linear order

Published on 02 Apr 2026 - 4:58

score 3.8k · Answer 12 · 2013-06-12 09:19:49

3.8k

Views

Meaning of quote: "model theory = algebraic geometry - fields"?

Published on 12 Jun 2013 - 9:19

score 1.4k · Answer 13 · 2013-06-12 11:26:20

1.4k

Views

finiteness and first order sentences

Published on 12 Jun 2013 - 11:26

score 1.1k · Answer 14 · 2013-06-12 16:04:19

1.1k

Views

Is $\Bbb R$ definable in $(\Bbb C,0,1,+,*,\exp)$?

Published on 12 Jun 2013 - 16:04

score 1.7k · Answer 15 · 2013-06-12 23:21:36

1.7k

Views

Elementary embedding and elementary equivalence

Published on 12 Jun 2013 - 23:21

List Question

The set of primes as the spectrum of a first-order theory

Basics of Infinitary Formal Languages

Most astonishing applications of compactness theorem outside logic

Existence of arbitrarily large ordinal subgroups in a group structure on a regular cardinal

How is the standard model of number theory specified, and why can't we use that specification to prove any number theoretical sentence of interest?

Is $ \pi $ definable in $(\Bbb R,0,1,+,×, <,\exp) $?

Definability vs Automorphisms

In ZF, does there exist an ordinal of provably uncountable cofinality?

Two questions on stable groups

Formalizing model-theoretical large cardinals in a formal system for ZFC

Complete theories - dense linear order

Meaning of quote: "model theory = algebraic geometry - fields"?

finiteness and first order sentences

Is $\Bbb R$ definable in $(\Bbb C,0,1,+,*,\exp)$?

Elementary embedding and elementary equivalence

Trending Questions

Popular # Hahtags

Popular Questions