Course page Home page Home page CoursesNew course

First-order theories and elementary structures: Mathematical Logic course | Zoonk

18. First-order theories and elementary structures

Introduces theories, axiomatizations, elementary equivalence, elementary substructures, embeddings, diagrams, and test criteria such as Tarski–Vaught. Learners compare structures by the first-order sentences they satisfy.

Mathematical Logic

Create this chapter

This chapter is part of the course, but it hasn't been created yet. Create it to see all of its lessons.

Create chapterNBack to courseEsc