scientific article; zbMATH DE number 1314876

Publication date: 12 July 1999

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) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Set theory (03Exx)

Related Items (75)

On cardinal invariants and metrizability of topological inverse Clifford semigroups ⋮ Countable sets versus sets that are countable in reverse mathematics ⋮ Uniformly bounded fibred coarse embeddability and uniformly bounded a-T-menability ⋮ Unwinding modal paradoxes on digraphs ⋮ Predicativity, the Russell-Myhill paradox, and Church's intensional logic ⋮ ON THE UNCOUNTABILITY OF ⋮ Lévy group and density measures ⋮ On existence of the support of a Borel measure ⋮ Mathematical foundations of consciousness ⋮ Infinite Goldie dimensions ⋮ Betwixt Turing and Kleene ⋮ Alternative proof of standard completeness theorem for MTL ⋮ RELATIVE CATEGORICITY AND ABSTRACTION PRINCIPLES ⋮ A microscopic approach to Souslin-tree construction. II ⋮ The paradox of classical reasoning ⋮ A microscopic approach to Souslin-tree constructions. I. ⋮ And so on \dots : reasoning with infinite diagrams ⋮ Size-based termination of higher-order rewriting ⋮ Non-Archimedean preferences over countable lotteries ⋮ A graded approach to cardinal theory of finite fuzzy sets. I: Graded equipollence ⋮ The calculation of the \(L^2\)-norm of the index of a plane curve and related formulas ⋮ On the additive property of finitely additive measures ⋮ Categoricity results for second-order ZF in dependent type theory ⋮ How to Tee a Hyperplane ⋮ BDG inequalities and their applications for model-free continuous price paths with instant enforcement ⋮ The never-ending recursion ⋮ The existence of universal qualitative belief spaces ⋮ Kripke, Quine and Steiner on Representing Natural Numbers in Set Theory ⋮ On the computational properties of the uncountability of the real numbers ⋮ Computer proofs about finite and regular sets: The unifying concept of subvariance. ⋮ On polyanalytic functions in several complex variables ⋮ A new definition of conjugacy for semigroups ⋮ On spaces of \(\sigma\)-additive probability measures ⋮ An infinity which depends on the axiom of choice ⋮ On modules of linear transformations ⋮ Range of density measures ⋮ Unnamed Item ⋮ Extreme points of the set of density measures ⋮ On a relation between density measures and a certain flow ⋮ Transitive closures and orderings on soft sets ⋮ Semigroups of partial transformations with kernel and image restricted by an equivalence ⋮ On ﬡ_α‐complete filters ⋮ When are full representations of algebras of operators on Banach spaces automatically faithful? ⋮ Selective games on binary relations ⋮ Complete commutative basic algebras ⋮ Big lattices of hereditary and natural classes of linear modular lattices ⋮ Elections generate all binary relations on infinite sets ⋮ Applicable Mathematics in a Minimal Computational Theory of Sets ⋮ Conjugacy in inverse semigroups ⋮ Conjugation in semigroups. ⋮ On Bourbaki's axiomatic system for set theory ⋮ Dynamics of mental activity ⋮ Infinite reduction of divisors on metric graphs ⋮ Uniqueness results for inverse Robin problems with bounded coefficient ⋮ Kappa-slender modules ⋮ Selection in the monadic theory of a countable ordinal ⋮ Ground confluence of order-sorted conditional specifications modulo axioms ⋮ The autohomeomorphism group of connected homogeneous functionally Alexandroff spaces ⋮ Unnamed Item ⋮ Reverse formalism 16 ⋮ Universal Bayes consistency in metric spaces ⋮ Congruences on Nilpotent-generated Partial Transformation Semigroups ⋮ Acerca de la teoría de los números transfinitos de Cantor, de 1874 a 1940 ⋮ On Standard Completeness for Non-commutative Many-Valued Logics ⋮ Rough multisets and information multisystems ⋮ Categoricity results and large model constructions for second-order ZF in dependent type theory ⋮ Invariant linear functionals on \(L^\infty(\mathbb{R}_+)\) ⋮ Extremal structure in ultrapowers of Banach spaces ⋮ Congruences on semigroups generated by injective nilpotent transformations ⋮ Filter games and pathological subgroups of a countable product of lines ⋮ Generalized variational principle and vector optimization ⋮ Formalizing Scientifically Applicable Mathematics in a Definitional Framework ⋮ Free Banach lattices generated by a lattice and projectivity ⋮ Reverse mathematics of the uncountability of \(\mathbb{R}\) ⋮ Existence of a semicontinuous or continuous utility function: a unified approach and an elementary proof.

This page was built for publication: