Some Aspects of Model Theory and Finite Structures

DOI10.2307/3062205MaRDI QIDQ4779635zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• scientific article; zbMATH DE number 803291
• Finite Model Theory
• scientific article; zbMATH DE number 176207
• scientific article; zbMATH DE number 3561333
• scientific article; zbMATH DE number 5038454
• Some connections between finite and infinite model theory
• Finite Model Theory on Tame Classes of Structures
• Finite model theory and its applications.
• The theory of finite models

Cited in

(25)

• scientific article; zbMATH DE number 4012586 (Why is no real title available?)
• Ranks for families of theories of abelian groups
• scientific article; zbMATH DE number 176207 (Why is no real title available?)
• Finite-model theory -- A personal perspective
• scientific article; zbMATH DE number 7561479 (Why is no real title available?)
• A general condition for collapse results
• On compactness of logics that can express properties of symmetry or connectivity
• A pebbling comonad for finite rank and variable logic, and an application to the equirank-variable homomorphism preservation theorem
• scientific article; zbMATH DE number 1324669 (Why is no real title available?)
• Finite model theory and its applications.
• Algebras defined by equations
• Axiomatisability and hardness for universal Horn classes of hypergraphs
• Ranks for families of permutation theories
• Schema mappings: a case of logical dynamics in database theory
• Finite sets and frege structures
• The theory of finite models without equal sign
• Approximations of theories
• Properties of ranks for families of strongly minimal theories
• scientific article; zbMATH DE number 5038454 (Why is no real title available?)
• Finite and infinite model theory - a historical perspective
• Tarski's influence on computer science
• scientific article; zbMATH DE number 2208072 (Why is no real title available?)
• Pseudofinite formulae
• Some elementary results in intuitionistic model theory
• Combinations related to classes of finite and countably categorical structures and their theories

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

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