scientific article
From MaRDI portal
Publication:3586892
zbMath1202.03001MaRDI QIDQ3586892
Publication date: 1 September 2010
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Computability and recursion theory (03Dxx) Model theory (03Cxx) Set theory (03Exx)
Related Items (22)
On Urysohn's lemma for generalized topological spaces in \(\mathbf{ZF}\) ⋮ The minimizing vector theorem in symmetrized max-plus algebra ⋮ Puzzles of Cardinality ⋮ Quasi-metrizability of products in ZF and equivalences of CUT(fin) ⋮ Compact complement topologies and k-spaces ⋮ Partially paratopological groups ⋮ Countable products and countable direct sums of compact metrizable spaces in the absence of the Axiom of Choice ⋮ Cuf products and cuf sums of (quasi-) metrizable spaces in ZF ⋮ Kunen the expositor ⋮ A class of higher inductive types in Zermelo‐Fraenkel set theory ⋮ Nonstandard methods for finite structures ⋮ Inconsistency indicator maps on groups for pairwise comparisons ⋮ A step towards absolute versions of metamathematical results ⋮ Axiomatization and models of scientific theories ⋮ Kunen and set theory ⋮ Hausdorff compactifications in ZF ⋮ Compactness and compactifications in generalized topology ⋮ From pairwise comparisons to consistency with respect to a group operation and Koczkodaj's metric ⋮ Several results on compact metrizable spaces in \(\mathbf{ZF} \) ⋮ Bornological quasi-metrizability in generalized topology ⋮ Denumerable cellular families in \(\mathbf{ZF}\) ⋮ On Loeb and sequential spaces in \textbf{ZF}
This page was built for publication:
