A Bit of History Related to Logic Based on Equality

DOI10.1007/978-3-319-09719-0_8zbMath1330.03004OpenAlexW146831528MaRDI QIDQ3454805

Peter B. Andrews

Publication date: 27 November 2015

Published in: Studies in Universal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-09719-0_8

zbMATH Keywords

extensionalityequalitytype theoryaxiomHenkin

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03)

Related Items (1)

Identity, equality, nameability and completeness. Part II

Uses Software

• ETPS

Cites Work

• Unnamed Item
• Unnamed Item
• A transfinite type theory with type variables
• Unification of universes in set theory
• False lemmas in Herbrand
• A theory of prepositional types
• A reduction of the axioms for the theory of prepositional types
• General models, descriptions, and choice in type theory
• General models and extensionality
• Logic based on inclusion and abstraction
• A formulation of the simple theory of types
• The completeness of the first-order functional calculus
• Completeness in the theory of types

This page was built for publication: A Bit of History Related to Logic Based on Equality