#finite approximation

2 topics

Formal Sciences And Logic

Compactness Theorem in Model TheoryResearchEhrenfeucht-Fraïssé Games and Elementary EquivalenceResearch