2 Answered Questions

[SOLVED] "Fraïssé limits" without amalgamation

3 Answered Questions

[SOLVED] Tractability of forcing-invariant statements under large cardinals

1 Answered Questions

ω-categorical, ω-stable structure with trivial geometry not definable in the pure set

5 Answered Questions

[SOLVED] Defining 'free monoid' without Nat?

1 Answered Questions

6 Answered Questions

3 Answered Questions

[SOLVED] Is there a 0-1 law for the theory of groups?

3 Answered Questions

[SOLVED] In model theory, does compactness easily imply completeness?

9 Answered Questions

[SOLVED] What is... A Grossone?

6 Answered Questions

[SOLVED] Is V, the Universe of Sets, a fixed object?

3 Answered Questions

[SOLVED] Complete theory with exactly n countable models?

2 Answered Questions

[SOLVED] Are the Millennium Prize Problems all decidable?

3 Answered Questions

[SOLVED] Is the field of constructible numbers known to be decidable?

3 Answered Questions

[SOLVED] The Closure-Complement-Intersection Problem

2 Answered Questions

[SOLVED] Non-standard models of finite set theory

2 Answered Questions

[SOLVED] A question about open induction

1 Answered Questions

[SOLVED] Is there a forcing closure?

4 Answered Questions

[SOLVED] relatively free groups in $Var(S_3)$

1 Answered Questions

[SOLVED] How do we know if Vaught's Conjecture is Absolute?

1 Answered Questions

1 Answered Questions

1 Answered Questions

15 Answered Questions

[SOLVED] What's a magical theorem in logic?

10 Answered Questions

[SOLVED] Completeness vs Compactness in logic