On stability in finite models (Q1976880)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On stability in finite models |
scientific article |
Statements
On stability in finite models (English)
0 references
9 May 2000
0 references
The author presents a set-up in which basic results from stability theory (relationship between stability, order property, independence property,\dots) of infinite models hold for finite structures. Types in finite variable fragments of first-order logic are one of the central notions; it is quite hard to understand the definition given in the paper.
0 references
finite model theory
0 references
finite variable logics
0 references
stability theory
0 references
