The foundations of mathematics
From MaRDI portal
Recommendations
Cited in
(40)- Quasi-metrizability of products in ZF and equivalences of CUT(fin)
- Hausdorff compactifications in ZF
- From pairwise comparisons to consistency with respect to a group operation and Koczkodaj's metric
- Several results on compact metrizable spaces in \(\mathbf{ZF} \)
- Denumerable cellular families in \(\mathbf{ZF}\)
- Reflections on the foundations of mathematics. Univalent foundations, set theory and general thoughts. Based on the conference on foundations of mathematics: univalent foundations and set theory, FOMUS, Bielefeld, Germany, July 18--23, 2016
- On Urysohn's lemma for generalized topological spaces in \(\mathbf{ZF}\)
- Partially paratopological groups
- Cuf products and cuf sums of (quasi-) metrizable spaces in ZF
- scientific article; zbMATH DE number 5797602 (Why is no real title available?)
- Discussion on the foundation of mathematics
- scientific article; zbMATH DE number 4202225 (Why is no real title available?)
- scientific article; zbMATH DE number 5306929 (Why is no real title available?)
- scientific article; zbMATH DE number 46206 (Why is no real title available?)
- scientific article; zbMATH DE number 46284 (Why is no real title available?)
- Axiomatization and models of scientific theories
- scientific article; zbMATH DE number 2101964 (Why is no real title available?)
- Logical foundations of mathematics and computational complexity. A gentle introduction
- The minimizing vector theorem in symmetrized max-plus algebra
- Compactness and compactifications in generalized topology
- Puzzles of cardinality
- Compact complement topologies and \(k\)-spaces
- Bornological quasi-metrizability in generalized topology
- scientific article; zbMATH DE number 969493 (Why is no real title available?)
- Inexhaustibility: A non-exhaustive treatment
- scientific article; zbMATH DE number 3412582 (Why is no real title available?)
- scientific article; zbMATH DE number 972408 (Why is no real title available?)
- scientific article; zbMATH DE number 3196273 (Why is no real title available?)
- scientific article; zbMATH DE number 3020054 (Why is no real title available?)
- Countable products and countable direct sums of compact metrizable spaces in the absence of the Axiom of Choice
- Kunen the expositor
- A class of higher inductive types in Zermelo‐Fraenkel set theory
- Nonstandard methods for finite structures
- A step towards absolute versions of metamathematical results
- Kunen and set theory
- Duality, intensionality, and contextuality: philosophy of category theory and the categorical unity of science in Samson Abramsky
- Troublesome quasi-cardinals and the axiom of choice
- What set theory could not be about
- On Loeb and sequential spaces in \textbf{ZF}
- Inconsistency indicator maps on groups for pairwise comparisons
This page was built for publication: The foundations of mathematics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3586892)
