Expressive power of finitely axiomatizable theories. I: Introduction, interpretations, and reductions to graphs
type: Item
instance of: scholarly article
title: Expressive power of finitely axiomatizable theories. I: Introduction, interpretations, and reductions to graphs
zbMATH Open document ID: 0848.03008
published in: Siberian Advances in Mathematics
publication date: 1996-08-28T00:00:00Z
Mathematics Subject Classification ID: 03C07
zbMATH DE Number: 917991
zbMATH Keywords: finitely axiomatizable theory
zbMATH Keywords: recursively axiomatizable theory
zbMATH Keywords: interpretation
zbMATH Keywords: reduction of signature
zbMATH Keywords: reduction
zbMATH Keywords: graph
zbMATH Keywords: Lindenbaum algebra
zbMATH Keywords: semantic similarity
zbMATH Keywords: model-theoretic properties
author: Mikhaĭl G. Peretyat'kin
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 917991