On stability in finite models

DOI10.1007/S001530050005MaRDI QIDQ1976880zbMATH OpenOpenAlexFDO

Authors Tapani Hyttinen

Publication date 9 May 2000

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s001530050005

zbMATH Keywords

finite model theoryfinite variable logicsstability theory

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Classification theory, stability, and related concepts in model theory (03C45)

Review text

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.

Recommendations

• Publication:4936135
• scientific article; zbMATH DE number 1136099
• Finite variable logic stability and finite models
• Some connections between finite and infinite model theory

Cited in

(10)

• Shelah's stability spectrum and homogeneity spectrum in finite diagrams
• Forking in finite models
• Finite variable logic stability and finite models
• Thirteen Definitions of a Stable Model
• Super/rosy L^k-theories and classes of finite structures
• Deterministic and non-deterministic stable models
• scientific article; zbMATH DE number 1136099 (Why is no real title available?)
• scientific article; zbMATH DE number 800808 (Why is no real title available?)
• Sixty Years of Stable Models
• Stable domination and weight

This page was built for publication: On stability in finite models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1976880)