scientific article; zbMATH DE number 3595177

zbMath0383.03034MaRDI QIDQ4163527

H. B. Enderton

Publication date: 1977

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Continuum hypothesis and Martin's axiom (03E50) Axiomatics of classical set theory and its fragments (03E30) Foundations: limits and generalizations, elementary topology of the line (26A03) Applications of computability and recursion theory (03D80) Other classical set theory (including functions, relations, and set algebra) (03E20) Ordinal and cardinal numbers (03E10) Axiom of choice and related propositions (03E25) Set theory (03Exx)

Related Items

Recursion induction for real-time processes ⋮ Continuous Functions on Countable Compact Ordered Sets as Sums of Their Increments ⋮ Function of region ⋮ Set theory with indeterminacy of identity ⋮ The co-invariant generator: An aid in deriving loop bodies ⋮ An ω-hierarchy of axiom systemZF ⋮ THOUGHTS ON THE CANTOR-BERNSTEIN THEOREM ⋮ Transfinite induction within Peano arithmetic ⋮ Hobson’s Conception of Definable Numbers ⋮ Unnamed Item ⋮ A Quantitative-Informational Approach to Logical Consequence ⋮ Set-theoretic foundations ⋮ Isabelle formalisation of original representation theorems ⋮ Upper topology and its relation with the projective modules ⋮ Enculturation and the historical origins of number words and concepts ⋮ An in-reachability based classification of invariant synchrony patterns in weighted coupled cell networks ⋮ Unnamed Item ⋮ The Cardinal Squaring Principle and an Alternative Axiomatization of NFU ⋮ The structure of disjoint groups of continuous functions ⋮ Unnamed Item ⋮ Equidecomposable magmas ⋮ Equivariant class group. II. Enriched descent theorem ⋮ A FINITE-TO-ONE MAP FROM THE PERMUTATIONS ON A SET ⋮ A hierarchy of axiom systemZF ⋮ CANTORIAN SET THEORY ⋮ Slim models of Zermelo set theory ⋮ On the axiom of union ⋮ Preferred First-Order Answer Set Programs ⋮ The fixed-point theory of strictly causal functions ⋮ The converse of the intermediate value theorem: from Conway to Cantor to cosets and beyond ⋮ Coherent rings and absolutely pure covers ⋮ Decomposition and convergence for tree martingales ⋮ A Generalised character theory for modules ⋮ Representation and duality of the untyped \(\lambda\)-calculus in nominal lattice and topological semantics, with a proof of topological completeness ⋮ Why Sets? ⋮ Characteristics of discrete transfinite time Turing machine models: Halting times, stabilization times, and normal form theorems ⋮ A note on weakly Dedekind finite sets ⋮ Structural results on lifting, orthogonality and finiteness of idempotents ⋮ A useful fixpoint theorem ⋮ Intensionality in mathematics ⋮ Coherent rings and absolutely pure precovers ⋮ Rough multisets and information multisystems ⋮ On three arguments against categorical structuralism ⋮ Fuzzy shadows