×

zbMATH — the first resource for mathematics

Toward model theory through recursive saturation. (English) Zbl 0409.03019

MSC:
03C50 Models with special properties (saturated, rigid, etc.)
03C70 Logic on admissible sets
03D99 Computability and recursion theory
03C15 Model theory of denumerable and separable structures
PDF BibTeX XML Cite
Full Text: DOI