Some Aspects of Model Theory and Finite Structures

DOI10.2307/3062205zbMATH Open1017.03015OpenAlexW4250541899MaRDI QIDQ4779635FDOQ4779635

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

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

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)

Cited In (25)

• Ranks for families of theories of abelian groups
• Title not available (Why is that?)
• Finite-model theory -- A personal perspective
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• Finite and infinite model theory - a historical perspective
• Tarski's influence on computer science
• Title not available (Why is that?)
• Some elementary results in intuitionistic model theory
• Pseudofinite formulae
• Combinations related to classes of finite and countably categorical structures and their theories
• Title not available (Why is that?)

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)