Logic, sets, and mathematics

DOI10.1007/BF03025253zbMath0780.03022MaRDI QIDQ1209798

Paul C. Gilmore

Publication date: 16 May 1993

Published in: The Mathematical Intelligencer (Search for Journal in Brave)

zbMATH Keywords

foundationsnon-standard set theorybasic set theorynatural deduction style formalization of set theorysemantic tree

Mathematics Subject Classification ID

Axiomatics of classical set theory and its fragments (03E30) Other classical set theory (including functions, relations, and set algebra) (03E20) Set theory (03E99) Proof theory and constructive mathematics (03F99)

Related Items (2)

Logical foundations for programming semantics ⋮ A logic for category theory

Cites Work

• Descriptive set theory
• Toward useful type-free theories. I
• Outline of a Theory of Truth
• Consistency of the Continuum Hypothesis. (AM-3)
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Logic, sets, and mathematics