Finite variable logic stability and finite models

DOI10.2307/2695048MaRDI QIDQ2747724zbMATH OpenOpenAlexFDO

Authors Marko Djordjević

Publication date 5 September 2002

Published in The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2695048

zbMATH Keywords

amalgamation propertyelementary embeddingsfinite modelfinite variable logicstability

Mathematics Subject Classification ID

Basic properties of first-order languages and structures (03C07) Model theory of finite structures (03C13) Classification theory, stability, and related concepts in model theory (03C45)

Recommendations

• Amalgamation properties and finite models in \(L^n\)-theories
• Stability and General Logics
• Forking in finite models
• On stability in finite models
• Theories categorical in power \(n+2\)

Cited in

(9)

• Amalgamation properties and finite models in \(L^n\)-theories
• On stability in finite models
• Uncountable categoricity of local abstract elementary classes with amalgamation
• Continuous first order logic and local stability
• Theories with finitely many models
• Super/rosy L^k-theories and classes of finite structures
• Stability theory, permutations of indiscernibles, and embedded finite models
• Generic variations of models ofT
• Transposition of variables is hard to axiomatize

This page was built for publication: Finite variable logic stability and finite models

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