Cargando…
Induction, bounding, weak combinatorial principles, and the homogeneous model theorem
Goncharov and Peretyat'kin independently gave necessary and sufficient conditions for when a set of types of a complete theory T is the type spectrum of some homogeneous model of T. Their result can be stated as a principle of second order arithmetic, which is called the Homogeneous Model Theor...
| Autores principales: | , , |
|---|---|
| Lenguaje: | eng |
| Publicado: |
American Mathematical Society
2017
|
| Materias: | |
| Acceso en línea: | http://cds.cern.ch/record/2312750 |