Publication:4163527
From MaRDI portal
zbMath0383.03034MaRDI QIDQ4163527
Publication date: 1977
03-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations
03E50: Continuum hypothesis and Martin's axiom
03E30: Axiomatics of classical set theory and its fragments
26A03: Foundations: limits and generalizations, elementary topology of the line
03D80: Applications of computability and recursion theory
03E20: Other classical set theory (including functions, relations, and set algebra)
03E10: Ordinal and cardinal numbers
03E25: Axiom of choice and related propositions
03Exx: Set theory
Related Items
CANTORIAN SET THEORY, A Generalised character theory for modules, Preferred First-Order Answer Set Programs, Coherent rings and absolutely pure precovers, A Quantitative-Informational Approach to Logical Consequence, Set-theoretic foundations, Why Sets?, Coherent rings and absolutely pure covers, The structure of disjoint groups of continuous functions, Representation and duality of the untyped \(\lambda\)-calculus in nominal lattice and topological semantics, with a proof of topological completeness, A note on weakly Dedekind finite sets, Intensionality in mathematics, Rough multisets and information multisystems, On the axiom of union, Characteristics of discrete transfinite time Turing machine models: Halting times, stabilization times, and normal form theorems, On three arguments against categorical structuralism, Function of region, A useful fixpoint theorem, Fuzzy shadows, Recursion induction for real-time processes, Set theory with indeterminacy of identity, The co-invariant generator: An aid in deriving loop bodies, Transfinite induction within Peano arithmetic, The fixed-point theory of strictly causal functions, The converse of the intermediate value theorem: from Conway to Cantor to cosets and beyond, Decomposition and convergence for tree martingales, Slim models of Zermelo set theory, Equivariant class group. II. Enriched descent theorem, A FINITE-TO-ONE MAP FROM THE PERMUTATIONS ON A SET, An ω-hierarchy of axiom systemZF, THOUGHTS ON THE CANTOR-BERNSTEIN THEOREM, A hierarchy of axiom systemZF, Continuous Functions on Countable Compact Ordered Sets as Sums of Their Increments