Model Theory Lecture Notes

Kruckman, A. Model Theory Lecture Notes.

Type

Course notes

Intellectual base

Textbook

Link

https://akruckman.faculty.wesleyan.edu/files/2019/07/Lecture-Notes.pdf

Cited by

1 citation across 1 artifact.

Domain-specific

• Back-and-Forth Method
  • It prevents a one-sided embedding from being mistaken for a bijective correspondence: “forth” guarantees that every source element eventually enters the domain, while “back” guarantees that every target element eventually enters the range.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:53592a52e1b1 · see in the full table