Super/rosy \(L^k\)-theories and classes of finite structures
type: Item
instance of: scholarly article
title: Super/rosy \(L^k\)-theories and classes of finite structures
zbMATH Open document ID: 1310.03046
author: Cameron Donnay Hill
published in: Annals of Pure and Applied Logic
publication date: 2013-12-11T00:00:00Z
Mathematics Subject Classification ID: 03C45
Mathematics Subject Classification ID: 03C13
zbMATH DE Number: 6237619
zbMATH Keywords: rosy theory
zbMATH Keywords: finite-variable logic
zbMATH Keywords: finite structures
zbMATH Keywords: amalgamation
zbMATH Keywords: thorn-indpendence
zbMATH Keywords: thorn-forking
MaRDI profile type: Publication
full work available at URL: j.apal.2013.04.003
OpenAlex ID: W2025073006
cites work: Computing with first-order logic
cites work: A GEOMETRIC INTRODUCTION TO FORKING AND THORN-FORKING
cites work: Amalgamation properties and finite models in \(L^n\)-theories
cites work: Finite variable logic stability and finite models
cites work: Finite satisfiability and ℵ0-categorical structures with trivial dependence
cites work: Characterizing rosy theories
cites work: Large finite structures with few \(L^k\)-types
cites work: On stability in finite models
cites work: Elements of finite model theory.
cites work: Q3172384
cites work: Properties and consequences of Thorn-independence
cites work: Q4332930
cites work: Canonization for two variables and puzzles on the square
cites work: Deux ou trois choses que je sais de Ln
cites work: The graph isomorphism disease
cites work: Q4950412
DOI: 10.1016/J.APAL.2013.04.003
description: scientific article; zbMATH DE number 6237619