Characterizing classes defined with equality
type: Item
instance of: scholarly article
title: Characterizing classes defined with equality
zbMATH Open document ID: 0902.03018
DOI: 10.1023/A:1004978316495
published in: Studia Logica
publication date: 1998-12-03T00:00:00Z
review text: First order languages without equality are considered in the paper under review. The author introduces a weak form of equality predicate, the Leibniz equality. The author defines two distinct complete semantics (full and reduced). Reduced semantics is defined using the Leibniz equality. Characterizations of both the full and the reduced model classes of certain theories (elementary, universal, universal Horn, and universal atomic theories) are given in the form of Birkhoff-type theorems. Examples making clear the difference between the two semantics for the theories are given.
Mathematics Subject Classification ID: 03C07
Mathematics Subject Classification ID: 03B10
zbMATH DE Number: 1071487
zbMATH Keywords: Leibniz equality
zbMATH Keywords: first order languages without equality
zbMATH Keywords: full classes
zbMATH Keywords: reduced classes
zbMATH Keywords: Birkhoff-type theorems
zbMATH Keywords: semantics
author: Raimon Elgueta
MaRDI profile type: Publication
full work available at URL: a:1004978316495
OpenAlex ID: W1499603660
description: scientific article; zbMATH DE number 1071487