Toward model theory through recursive saturation (Q4196409): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 13:08, 6 February 2024
scientific article; zbMATH DE number 3636004
Language | Label | Description | Also known as |
---|---|---|---|
English | Toward model theory through recursive saturation |
scientific article; zbMATH DE number 3636004 |
Statements
Toward model theory through recursive saturation (English)
0 references
1978
0 references
Countable Models
0 references
Recursively Saturated Models
0 references
Resplendent Models
0 references
Interpolation Theorems
0 references
Infinitary Languages
0 references
Definability Theorems
0 references