PTSTS
/
iris
/
Login
Register
TriplyDB
Iris Dataset
Browser
Triples
Insights
Schema
BETA
Class frequency
Class hierarchy
SPARQL
GraphQL
Graphs
6
Assets
6
modeltheory0000hodg
modeltheory0000hodg
https://archive.org/details/modeltheory0000hodg
Back-and-forth method
Compactness theorem
Imaginary element
Model theory
NIP (model theory)
Omega-categorical theory
Reduct
Stable theory
Structure (mathematical logic)
Wilfrid Hodges
Link from a Wikipage to an external page
modeltheory0000hodg
https://archive.org/details/modeltheory0000hodg