scientific article; zbMATH DE number 3627183

Publication date: 1979

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

Combinatorial Axiom of Choice Order Set Theory ContinuUm Hypothesis Descriptive Set Theory Boolean Algebras Large Cardinals Ordinals Textbook Cardinal Numbers Conservation Theorems Eliminability Infinite Combinatorics Point Set Topology Real Spaces Well-Foundedness

Mathematics Subject Classification ID

Descriptive set theory (03E15) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Large cardinals (03E55) Continuum hypothesis and Martin's axiom (03E50) Other combinatorial set theory (03E05) Ordinal and cardinal numbers (03E10) Axiom of choice and related propositions (03E25)

Related Items

Satisfaction relations for proper classes: Applications in logic and set theory, No Krasnosel'skiĭ number for general sets, Remarks on infinite factorials and cardinal subtraction in ZF$\mathsf{ZF}$, A GENERALIZED CANTOR THEOREM IN, Semantics of constructions. I: The traditional approach, Russell, presupposition, and the vicious-circle principle, Long finite sequences, Schreier sets in Ramsey theory, An Omitting Types Theorem for first order logic with infinitary relation symbols, A Framework for Formalizing Set Theories Based on the Use of Static Set Terms, FORMAL REPRESENTATIONS OF DEPENDENCE AND GROUNDEDNESS, Unnamed Item, ω-powers and descriptive set theory, Formalizing Scientifically Applicable Mathematics in a Definitional Framework, Inverse limits of algebras as retracts of their direct products, Intermediate predicate logics determined by ordinals, An application of infinitary universal algebra to set theory, Higher order phantom maps, Three-variable statements of set-pairing, Relations of imbeddability and epimorphism on congruence-distributive varieties, A note on Dilworth's theorem in the infinite case, Ordinals in Frobenius monads, Construction of 𝑡-structures and equivalences of derived categories, Where do sets come from?, Expressing infinity without foundation, Existentially closed locally FC-groups, Ideals in the multiplication algebra of a non-associative K-algebra, Infinite Goldie dimensions, A higher-order calculus and theory abstraction, ON THE SYMBIOSIS BETWEEN MODEL-THEORETIC AND SET-THEORETIC PROPERTIES OF LARGE CARDINALS, Cardinality logics. I: Inclusions between languages based on ``exactly, Second-order characterizable cardinals and ordinals, The Logically Simplest Form of the Infinity Axiom, On fixed points through a generalized iteration method with applications to differential and integral equations involving discontinuities, APPROXIMATING BEPPO LEVI’S PRINCIPIO DI APPROSSIMAZIONE, On fixed points of multifunctions in ordered spaces, What languages have Tarski truth definitions?, Compatible connectedness in graphs and topological spaces, A Remark on Ascending Chain Conditions, the Countable Axiom of Choice and the Principle of Dependent Choices, On the predecessor relation in abstract algebras, A notation for lambda terms. A generalization of environments, Pseudocompact refinements of compact ring topologies, ALMOST DISJOINT AND MAD FAMILIES IN VECTOR SPACES AND CHOICE PRINCIPLES, Set theory with a proper class of indiscernibles, Looking for more or less hidden vector spaces: A strategy for investigating injective cogenerators, Ergodic Undefinability in Set Theory and Recursion Theory, Nonexistence of universal orders in many cardinals, FACTORIALS OF INFINITE CARDINALS IN ZF PART I: ZF RESULTS, Generalizations of Cantor's theorem in, On infinite‐dimensional Banach spaces and weak forms of the axiom of choice, Periodicity and reflexivity in revision sequences, Properties of subtle cardinals, Counting extensional acyclic digraphs, Uncountable structures are not classifiable up to bi-embeddability, Eine axiomatische Mengenlehre mit größtem Universum und Hyperklassen, Self-adjunctions and matrices., Complete positive group presentations., Extensionality and logicality, On closed subgroups of precompact groups, Note on the generality of fuzzy sets, Rigid E-unification: NP-completeness and applications to equational matings, HSP K is equational class, without the axiom of choice, All intermediate logics with extra axioms in one variable, except eight, are not strongly ω-complete, Classification theory through stationary logic, $(1+1+2)$-generated equivalence lattices, Descriptive Complexity of Function Spaces, Exact complexity bounds for ordinal addition, Souslin trees which are hard to specialise, Some remarks on Doitchinov completeness, On extremal solutions of inclusion problems with applications to game theory, The extended calculus of constructions (ECC) with inductive types, Applicable Mathematics in a Minimal Computational Theory of Sets, Products of spaces of ordinal numbers, The Bernays-Schönfinkel-Ramsey class for set theory: semidecidability, The consistency and independence of Suslin's hypothesis, Algorithms for Garside calculus, Set graphs. II. Complexity of set graph recognition and similar problems, Number systems with simplicity hierarchies: a generalization of Conway's theory of surreal numbers, Permutable pairs of quasi-uniformities, Dedekind multisets and function shells, Fixing Zeno gaps, Levy and set theory, Representation of Artinian partially ordered sets over semiartinian von Neuman regular algebras., Classical and effective descriptive complexities of $\omega $-powers, Models of Second-Order Zermelo Set Theory, On certain non-constructive properties of infinite-dimensional vector spaces, Notes on Leitgeb's Ruitenburg, Unnamed Item, On the Deductive Strength of Various Distributivity Axioms for Boolean Algebras in Set Theory, Block combinatorics, Complete sets of transformations for general E-unification, Unnamed Item, Towards a theory of singular thought about abstract mathematical objects, Cardinal invariants of infinite groups, Investigations on measure-one identification of classes of languages, From Hilbert's program to a logic tool box, Omitting types for algebraizable extensions of first order logic, Real-valued multisets and fuzzy sets, On three arguments against categorical structuralism, Generalizing Montague's theorem on recursive definitions, Early History of the Generalized Continuum Hypothesis: 1878–1938, Finite mathematics., A century of Sierpiński-Zygmund functions, A connected metric space without an equally spaced chain of points, Fuzzy shadows, Note on a central lemma for learning theory, Complete existentially closed locally finite groups, Über die Verallgemeinerung eines Satzes von Blumberg, The products of conjugacy classes in some infinite simple groups, Separation axioms in $L$-fuzzy topological spaces. I: $T_0$ and $T_1$, Measurable products of modules, The categories of $A_{\infty}$ and $E_{\infty}$-monoids and ring spaces as closed simplicial and topological model categories, Cofinally invariant sequences and revision, Set graphs. III: Proof pearl: Claw-free graphs mirrored into transitive hereditarily finite sets