On stability in finite models (Q1976880)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: On stability in finite models |
scientific article; zbMATH DE number 1443415
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | On stability in finite models |
scientific article; zbMATH DE number 1443415 |
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
0.762387752532959
0 references
0.7583098411560059
0 references
