Model Theory

Results in Tau Ceti's TauCeti.ModelTheory modules, and the roadmaps whose articles are mostly there: by roadmap, then by area.

• Infinitary model existence, omitting types and interpolation
• Infinitary syntax, back-and-forth, and Scott analysis
• Counting
• Model Existence

The dependency explorer needs JavaScript and its graph data.

Download the complete graph data.