Reconsidering pairs and functions as sets
From MaRDI portal
Publication:286796
DOI10.1007/S10817-015-9340-6zbMATH Open1356.68183OpenAlexW2295607337MaRDI QIDQ286796FDOQ286796
Authors: Chad E. Brown 
Publication date: 26 May 2016
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10817-015-9340-6
Recommendations
- Rethinking set theory
- Separating sets by functions and by sets
- EXTENDING SET FUNCTIONS AND RELATIONS
- Set functions and Souslin’s hypothesis
- scientific article; zbMATH DE number 1064005
- scientific article; zbMATH DE number 2118068
- scientific article; zbMATH DE number 3972859
- A note on separating function sets
Mechanization of proofs and logical operations (03B35) Axiomatics of classical set theory and its fragments (03E30) Other classical set theory (including functions, relations, and set algebra) (03E20)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Set theory for verification. I: From foundations to functions
- Title not available (Why is that?)
- Title not available (Why is that?)
- Completeness and Cut-elimination in the Intuitionistic Theory of Types
- Partizan Games in Isabelle/HOLZF
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (9)
- Unordered pairs in the set theory of Bourbaki 1949
- Encoding functional relations in Scunak
- Adding an abstraction barrier to ZF set theory
- Implementing mathematical objects in set theory
- Two accounts of pairs
- On Pairs and Tuples
- Pairs, sets and sequences in first-order theories
- A set theory with support for partial functions
- Reconsidering Ordered Pairs
Uses Software
This page was built for publication: Reconsidering pairs and functions as sets
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q286796)
