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

failure of preservation theoremsfinite model theoryfirst-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

(30)

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