Fundamentals of contemporary set theory

MaRDI QIDQ1257892zbMATH OpenFDO

Authors Keith Devlin

Publication date 1979

Published in Universitext (Search for Journal in Brave)

zbMATH Keywords

Set TheoryElementary Level

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Set theory (03Exx)

Cited in

(17)

• Connes-Dixmier versus Dixmier traces
• The consistency and independence of Suslin's hypothesis
• Representable topologies and locally connected spaces
• SET THEORY APPLIED TO THE SELF-SIMILAR HIERARCHICAL COSMOLOGY
• The extended calculus of constructions (ECC) with inductive types
• The non-existence of a utility function and the structure of non-representable preference relations
• The Debreu Gap Lemma and some generalizations
• Some groups generated by transvection subgroups
• Set theory for verification. II: Induction and recursion
• Set theory for verification. I: From foundations to functions
• Dispersed Chebyshev sets and coverings by balls
• Existence of a semicontinuous or continuous utility function: a unified approach and an elementary proof.
• Links between physics and set theory.
• The Souslin hypothesis and continuous utility functions: A remark
• Traces on operator ideals and related linear forms on sequence ideals. II
• A higher-order calculus and theory abstraction
• Higher-order algebra with transfinite types

This page was built for publication: Fundamentals of contemporary set theory

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