Logic, sets, and mathematics

DOI10.1007/BF03025253MaRDI QIDQ1209798zbMATH OpenFDO

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

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

Cites work

• scientific article; zbMATH DE number 3122413 (Why is no real title available?)
• scientific article; zbMATH DE number 3991418 (Why is no real title available?)
• scientific article; zbMATH DE number 3248792 (Why is no real title available?)
• scientific article; zbMATH DE number 3274715 (Why is no real title available?)
• scientific article; zbMATH DE number 3291106 (Why is no real title available?)
• scientific article; zbMATH DE number 3305131 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• Consistency of the Continuum Hypothesis. (AM-3)
• Descriptive set theory
• Outline of a Theory of Truth
• Toward useful type-free theories. I

Cited in

(13)

• A logic for category theory
• Logical foundations for programming semantics
• scientific article; zbMATH DE number 1168117 (Why is no real title available?)
• scientific article; zbMATH DE number 6157246 (Why is no real title available?)
• 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
• scientific article; zbMATH DE number 4172943 (Why is no real title available?)
• scientific article; zbMATH DE number 3173693 (Why is no real title available?)
• scientific article; zbMATH DE number 978993 (Why is no real title available?)
• scientific article; zbMATH DE number 3931003 (Why is no real title available?)
• 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)