The following pages link to (Q3257866):
Displaying 50 items.
- Pictures of complete positivity in arbitrary dimension (Q320199) (← links)
- What does the proof of Birnbaum's theorem prove? (Q375222) (← links)
- Sets and plural comprehension (Q484118) (← links)
- Realizing infinite cardinal numbers via maximal chains of intermediate fields (Q485875) (← links)
- Sets and supersets (Q513990) (← links)
- Soft set relations and functions (Q623105) (← links)
- Pointfree expression and calculation: From quantification to temporal logic (Q633283) (← links)
- Remembering Mel Henriksen and (some of) his theorems (Q639693) (← links)
- Infinite generalized friendship graphs (Q793756) (← links)
- What about fuzzy logic's linguistic soundness? (Q812582) (← links)
- A set theoretic approach to the symmetry analysis of hexadecahedrane (Q923006) (← links)
- Relations and functions in multiset context (Q1007881) (← links)
- From Hilbert's program to a logic tool box (Q1028646) (← links)
- Strictness analysis and denotational abstract interpretation (Q1098274) (← links)
- Entry and structures of interest groups in assignment games (Q1106743) (← links)
- A mathematical theory of physical units, dimensions, and measures (Q1144958) (← links)
- Gazing: An approach to the problem of definition and lemma use (Q1197385) (← links)
- On a relation between algebraic programs and Turing machines (Q1242675) (← links)
- Integral representation of local functionals (Q1327138) (← links)
- A naïve way of looking at fuzzy sets (Q1697360) (← links)
- Abstract state machines and computationally complete query languages (Q1854519) (← links)
- On the expressiveness of choice quantification (Q1874242) (← links)
- Set theory for verification. II: Induction and recursion (Q1904402) (← links)
- Ekeland variational principles in 2-local branciari metric spaces (Q1982235) (← links)
- Adding the power-set to description logics (Q1989328) (← links)
- Points of view: a conceptual space approach (Q2013404) (← links)
- The challenge of many logics: a new approach to evaluating the role of ideology in Quinean commitment (Q2053348) (← links)
- The multiple priors of the open-minded decision maker (Q2061124) (← links)
- Perturbed geometric contractions in ordered metric spaces (Q2080509) (← links)
- Meir-Keeler sequential contractions and Pata fixed point results (Q2080636) (← links)
- Some roughness features of fuzzy sets (Q2093986) (← links)
- Operational approach to the topological structure of the physical space (Q2151527) (← links)
- Why mathematics needs engineering (Q2374304) (← links)
- Set theory and the analyst (Q2419681) (← links)
- An automated prover for Zermelo-Fraenkel set theory in Theorema (Q2457343) (← links)
- Social choice and electoral competition in the general spatial model (Q2490129) (← links)
- Splitting and reduction heuristics in automatic theorem proving (Q2547495) (← links)
- ON THE LENGTHS OF MAXIMAL CHAINS OF INTERMEDIATE FIELDS IN A FIELD EXTENSION (Q2758256) (← links)
- Transfinite Constructions in Classical Type Theory (Q2945651) (← links)
- Well-Partial Orderings and their Maximal Order Types (Q3295157) (← links)
- Function Variational Principles and Normed Minimizers (Q3300529) (← links)
- Nadler-Liu Functional Contractions in Metric Spaces (Q3300530) (← links)
- Towards Formal Fault Tree Analysis Using Theorem Proving (Q3453105) (← links)
- In the Search of a Naive Type Theory (Q3499754) (← links)
- Absorbing set forn-person games (Q3758590) (← links)
- (Q3834575) (← links)
- Ideals of Square Summable Power Series (Q3843886) (← links)
- On certain infinite semigroups of order-decreasing transformations i (Q4351710) (← links)
- On relative ranks of full transformation semigroups (Q4395710) (← links)
- How Many Units Can a Commutative Ring Have? (Q4575443) (← links)
