Identity, Equality, Nameability and Completeness
type: Item
instance of: scholarly article
title: Identity, Equality, Nameability and Completeness
zbMATH Open document ID: 1423.03042
DOI: 10.18778/0138-0680.46.3.4.02
author: María Manzano
author: Manuel Crescencio Moreno
published in: Bulletin of the Section of Logic
publication date: 2018-07-12T00:00:00Z
Mathematics Subject Classification ID: 03B15
Mathematics Subject Classification ID: 03A05
zbMATH DE Number: 6902333
zbMATH Keywords: first-order logic
zbMATH Keywords: type theory
zbMATH Keywords: identity
zbMATH Keywords: equality
zbMATH Keywords: indiscernibility
zbMATH Keywords: comprehension
zbMATH Keywords: completeness
zbMATH Keywords: translations
zbMATH Keywords: nameability
MaRDI profile type: MaRDI publication profile
full work available at URL: https://doi.org/10.18778/0138-0680.46.3.4.02
OpenAlex ID: W2809833830
cites work: Changing a Semantics: Opportunism or Courage?
cites work: General models and extensionality
cites work: The completeness of the first-order functional calculus
cites work: Completeness in the theory of types
cites work: Banishing the rule of substitution for functional variables
cites work: Some notes on nominalism
cites work: The Discovery of My Completeness Proofs
cites work: IDENTITY AND INDISCERNIBILITY
cites work: Q4858033
cites work: April the 19th
cites work: The life and work of Leon Henkin. Essays on his contributions
Wikidata QID: Q129613325
description: scientific article; zbMATH DE number 6902333