Logic, sets, and mathematics

DOI10.1007/BF03025253zbMATH Open0780.03022MaRDI QIDQ1209798FDOQ1209798

Authors: Paul C. Gilmore 

Publication date: 16 May 1993

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

Recommendations

• Publication:3197802
• Set theory -- from Cantor's heaven to the first theory among equals
• scientific article; zbMATH DE number 58134
• Natural deduction based set theories: a new resolution of the old paradoxes
• Mathematical Knowledge Management

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) Proof theory and constructive mathematics (03F99) Set theory (03E99)

Cites Work

• Outline of a Theory of Truth
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Toward useful type-free theories. I
• Title not available (Why is that?)
• Descriptive set theory
• Title not available (Why is that?)
• Consistency of the Continuum Hypothesis. (AM-3)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (13)

• Title not available (Why is that?)
• A logic for category theory
• Logical foundations for programming semantics
• Title not available (Why is that?)
• The open-endedness of the set concept and the semantics of set theory
• Mizar Course in Logic and Set Theory
• Implementing mathematical objects in set theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Sets, logic and maths for computing
• Logic and groups

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1209798)