Some Aspects of Model Theory and Finite Structures

DOI10.2307/3062205zbMath1017.03015OpenAlexW4250541899MaRDI QIDQ4779635

Eric Rosen

Publication date: 24 August 2003

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

Full work available at URL: http://www.math.ucla.edu/~asl/bsl/0803-toc.htm

zbMATH Keywords

finite model theoryfailure of preservation theoremsfirst-order prefix classes

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Interpolation, preservation, definability (03C40)

Related Items (12)

A pebbling comonad for finite rank and variable logic, and an application to the equirank-variable homomorphism preservation theorem ⋮ Axiomatisability and hardness for universal Horn classes of hypergraphs ⋮ Algebras defined by equations ⋮ Properties of ranks for families of strongly minimal theories ⋮ Pseudofinite formulae ⋮ Tarski’s Influence on Computer Science ⋮ Combinations related to classes of finite and countably categorical structures and their theories ⋮ Ranks for families of permutation theories ⋮ Ranks for families of theories of abelian groups ⋮ Unnamed Item ⋮ Approximations of theories ⋮ Schema Mappings: A Case of Logical Dynamics in Database Theory

This page was built for publication: Some Aspects of Model Theory and Finite Structures