The following pages link to (Q4256417):
Displaying 50 items.
- Predicativity, the Russell-Myhill paradox, and Church's intensional logic (Q300834) (← links)
- And so on \dots : reasoning with infinite diagrams (Q375286) (← links)
- The calculation of the \(L^2\)-norm of the index of a plane curve and related formulas (Q393417) (← links)
- An infinity which depends on the axiom of choice (Q440692) (← links)
- Extreme points of the set of density measures (Q472320) (← links)
- Selective games on binary relations (Q491801) (← links)
- Elections generate all binary relations on infinite sets (Q502374) (← links)
- Transitive closures and orderings on soft sets (Q660868) (← links)
- Rough multisets and information multisystems (Q764788) (← links)
- Unwinding modal paradoxes on digraphs (Q830367) (← links)
- Mathematical foundations of consciousness (Q846525) (← links)
- Alternative proof of standard completeness theorem for MTL (Q855228) (← links)
- Dynamics of mental activity (Q975882) (← links)
- Infinite Goldie dimensions (Q1101532) (← links)
- Computer proofs about finite and regular sets: The unifying concept of subvariance. (Q1404990) (← links)
- On spaces of \(\sigma\)-additive probability measures (Q1408721) (← links)
- Generalized variational principle and vector optimization (Q1586824) (← links)
- On existence of the support of a Borel measure (Q1639653) (← links)
- A graded approach to cardinal theory of finite fuzzy sets. I: Graded equipollence (Q1677941) (← links)
- Categoricity results for second-order ZF in dependent type theory (Q1687749) (← links)
- The never-ending recursion (Q1688713) (← links)
- Existence of a semicontinuous or continuous utility function: a unified approach and an elementary proof. (Q1867774) (← links)
- On cardinal invariants and metrizability of topological inverse Clifford semigroups (Q1873289) (← links)
- Conjugacy in inverse semigroups (Q1999785) (← links)
- Kappa-slender modules (Q2038469) (← links)
- Reverse formalism 16 (Q2054114) (← links)
- Universal Bayes consistency in metric spaces (Q2054482) (← links)
- Extremal structure in ultrapowers of Banach spaces (Q2081210) (← links)
- Reverse mathematics of the uncountability of \(\mathbb{R}\) (Q2104277) (← links)
- Uniformly bounded fibred coarse embeddability and uniformly bounded a-T-menability (Q2124700) (← links)
- Betwixt Turing and Kleene (Q2151412) (← links)
- The paradox of classical reasoning (Q2172063) (← links)
- Non-Archimedean preferences over countable lotteries (Q2178599) (← links)
- Semigroups of partial transformations with kernel and image restricted by an equivalence (Q2227617) (← links)
- Big lattices of hereditary and natural classes of linear modular lattices (Q2238020) (← links)
- Conjugation in semigroups. (Q2253007) (← links)
- On Bourbaki's axiomatic system for set theory (Q2263057) (← links)
- Ground confluence of order-sorted conditional specifications modulo axioms (Q2291829) (← links)
- Categoricity results and large model constructions for second-order ZF in dependent type theory (Q2319994) (← links)
- Invariant linear functionals on \(L^\infty(\mathbb{R}_+)\) (Q2325983) (← links)
- Lévy group and density measures (Q2378224) (← links)
- A microscopic approach to Souslin-tree constructions. I. (Q2404650) (← links)
- On modules of linear transformations (Q2442285) (← links)
- Complete commutative basic algebras (Q2464641) (← links)
- Infinite reduction of divisors on metric graphs (Q2509736) (← links)
- A microscopic approach to Souslin-tree construction. II (Q2660151) (← links)
- On the additive property of finitely additive measures (Q2677006) (← links)
- On Standard Completeness for Non-commutative Many-Valued Logics (Q2829669) (← links)
- Range of density measures (Q3108789) (← links)
- RELATIVE CATEGORICITY AND ABSTRACTION PRINCIPLES (Q3195592) (← links)
