Publication:4864753
From MaRDI portal
zbMath0854.04001MaRDI QIDQ4864753
Publication date: 22 February 1996
03-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations
03E30: Axiomatics of classical set theory and its fragments
03E05: Other combinatorial set theory
03E10: Ordinal and cardinal numbers
03E25: Axiom of choice and related propositions
Related Items
There are exactly $\omega _1$ topological types of locally finite trees with countably many rays, Brezis-Browder Principles and Applications, On the nature of continuous physical quantities in classical and quantum mechanics, Multicriteria compensability analysis, Verbal covering properties of topological spaces, A proof of the tree alternative conjecture under the topological minor relation, Groups of projective planes with differing numbers of point and line orbits, Beyond polynomials and Peano arithmetic -- automation of elementary and ordinal interpretations, Classifying finite-dimensional \(C^*\)-algebras by posets of their commutative \(C^*\)-subalgebras, Axiomatizations of universal classes through infinitary logic, On the pointwise domination of a function by its maximal function, The tree alternative conjecture under the topological minor relation, Default consequence relations from topology and measure theory, An Extension of the Knuth-Bendix Ordering with LPO-Like Properties