Publication:3586892
From MaRDI portal
zbMath1202.03001MaRDI QIDQ3586892
Publication date: 1 September 2010
03-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations
03Dxx: Computability and recursion theory
03Cxx: Model theory
03Exx: Set theory
Related Items
The minimizing vector theorem in symmetrized max-plus algebra, Puzzles of Cardinality, Compact complement topologies and k-spaces, Bornological quasi-metrizability in generalized topology, 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, Axiomatization and models of scientific theories, Compactness and compactifications in generalized topology, Kunen and set theory, On Loeb and sequential spaces in \textbf{ZF}, Inconsistency indicator maps on groups for pairwise comparisons, 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}\), 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