Question

Recommendation on a rigorous and deep introductory logic textbook

score 4.7k · Answer 1 · 2014-02-03 20:01:23

4.7k

Views

Recommendation on a rigorous and deep introductory logic textbook

Published on 03 Feb 2014 - 20:01

score 211 · Answer 2 · 2014-02-03 20:12:32

211

Views

Exercise 17.6 of Sacks' Saturated Model Theory

Published on 03 Feb 2014 - 20:12

score 568 · Answer 3 · 2014-02-04 12:48:50

568

Views

Models of $T_{\forall\exists}$ embed in a existentially closed extension model of $T$.

Published on 04 Feb 2014 - 12:48

score 557 · Answer 4 · 2026-03-29 06:02:20

557

Views

Non-well-founded models viewing well-founded models as non-well-founded.

Published on 29 Mar 2026 - 6:02

score 1.5k · Answer 5 · 2026-04-01 01:15:46

1.5k

Views

A model of geometry with the negation of Pasch’s axiom?

Published on 01 Apr 2026 - 1:15

score 203 · Answer 6 · 2014-02-06 13:33:58

203

Views

Isomorphism type of strongly minimal sets in an uncountably categorical theory

Published on 06 Feb 2014 - 13:33

score 347 · Answer 7 · 2014-02-07 16:46:47

347

Views

Sub-models which are elementary equivalent, but not elementary submodels.

Published on 07 Feb 2014 - 16:46

score 135 · Answer 8 · 2014-02-08 05:05:37

135

Views

Theory of Fields $\omega$-Inconsistent?

Published on 08 Feb 2014 - 5:05

score 59 · Answer 9 · 2014-02-09 08:58:23

59

Views

Are all first-order truths of real arithmetic also true of the algebraic reals?

Published on 09 Feb 2014 - 8:58

score 406 · Answer 10 · 2026-04-07 04:47:37

406

Views

Can integers be defined in the first-order theory of the rationals?

Published on 07 Apr 2026 - 4:47

score 343 · Answer 11 · 2014-02-22 16:41:52

343

Views

Showing that a theory is complete.

Published on 22 Feb 2014 - 16:41

score 362 · Answer 12 · 2014-02-22 19:19:32

362

Views

Why is the Ehrenfeucht theory complete?

Published on 22 Feb 2014 - 19:19

score 147 · Answer 13 · 2026-03-28 20:56:00

147

Views

Not Skolem's Paradox - Part 3

Published on 28 Mar 2026 - 20:56

score 73 · Answer 14 · 2026-04-08 19:32:53

73

Views

Reformulation of Theories

Published on 08 Apr 2026 - 19:32

score 249 · Answer 15 · 2026-03-28 17:00:05

249

Views

Every Countable Model of PA is Recursive?

Published on 28 Mar 2026 - 17:00

List Question

Recommendation on a rigorous and deep introductory logic textbook

Exercise 17.6 of Sacks' Saturated Model Theory

Models of $T_{\forall\exists}$ embed in a existentially closed extension model of $T$.

Non-well-founded models viewing well-founded models as non-well-founded.

A model of geometry with the negation of Pasch’s axiom?

Isomorphism type of strongly minimal sets in an uncountably categorical theory

Sub-models which are elementary equivalent, but not elementary submodels.

Theory of Fields $\omega$-Inconsistent?

Are all first-order truths of real arithmetic also true of the algebraic reals?

Can integers be defined in the first-order theory of the rationals?

Showing that a theory is complete.

Why is the Ehrenfeucht theory complete?

Not Skolem's Paradox - Part 3

Reformulation of Theories

Every Countable Model of PA is Recursive?

Trending Questions

Popular # Hahtags

Popular Questions