The following pages link to (Q4189277):
Displaying 50 items.
- Permutable pairs of quasi-uniformities (Q536046) (← links)
- Fixing Zeno gaps (Q549197) (← links)
- What languages have Tarski truth definitions? (Q598271) (← links)
- Exact complexity bounds for ordinal addition (Q671516) (← links)
- Some remarks on Doitchinov completeness (Q675103) (← links)
- Cardinal invariants of infinite groups (Q753807) (← links)
- Note on a central lemma for learning theory (Q794446) (← links)
- Über die Verallgemeinerung eines Satzes von Blumberg (Q797863) (← links)
- The categories of \(A_{\infty}\) and \(E_{\infty}\)-monoids and ring spaces as closed simplicial and topological model categories (Q809407) (← links)
- Second-order characterizable cardinals and ordinals (Q861573) (← links)
- Periodicity and reflexivity in revision sequences (Q897483) (← links)
- Note on the generality of fuzzy sets (Q918977) (← links)
- Rigid E-unification: NP-completeness and applications to equational matings (Q921913) (← links)
- On extremal solutions of inclusion problems with applications to game theory (Q949735) (← links)
- From Hilbert's program to a logic tool box (Q1028646) (← links)
- On three arguments against categorical structuralism (Q1036073) (← links)
- Complete existentially closed locally finite groups (Q1057365) (← links)
- The products of conjugacy classes in some infinite simple groups (Q1060280) (← links)
- Measurable products of modules (Q1066280) (← links)
- Relations of imbeddability and epimorphism on congruence-distributive varieties (Q1089371) (← links)
- A note on Dilworth's theorem in the infinite case (Q1093655) (← links)
- Infinite Goldie dimensions (Q1101532) (← links)
- Cardinality logics. I: Inclusions between languages based on ``exactly'' (Q1107521) (← links)
- A notation for lambda terms. A generalization of environments (Q1129257) (← links)
- Eine axiomatische Mengenlehre mit größtem Universum und Hyperklassen (Q1151891) (← links)
- HSP K is equational class, without the axiom of choice (Q1167715) (← links)
- The extended calculus of constructions (ECC) with inductive types (Q1193601) (← links)
- Products of spaces of ordinal numbers (Q1198634) (← links)
- Dedekind multisets and function shells (Q1210541) (← links)
- Complete sets of transformations for general E-unification (Q1262754) (← links)
- Investigations on measure-one identification of classes of languages (Q1271312) (← links)
- Fuzzy shadows (Q1302243) (← links)
- An application of infinitary universal algebra to set theory (Q1337156) (← links)
- Self-adjunctions and matrices. (Q1408350) (← links)
- Complete positive group presentations. (Q1409747) (← links)
- Finite mathematics. (Q1578768) (← links)
- Separation axioms in \(L\)-fuzzy topological spaces. I: \(T_0\) and \(T_1\) (Q1595233) (← links)
- Real-valued multisets and fuzzy sets (Q1825866) (← links)
- Three-variable statements of set-pairing (Q1885036) (← links)
- Compatible connectedness in graphs and topological spaces (Q1917671) (← links)
- Counting extensional acyclic digraphs (Q1944136) (← links)
- Classification theory through stationary logic (Q1964144) (← links)
- \((1+1+2)\)-generated equivalence lattices (Q1965251) (← links)
- Notes on Leitgeb's Ruitenburg (Q2027211) (← links)
- Towards a theory of singular thought about abstract mathematical objects (Q2052619) (← links)
- Generalizing Montague's theorem on recursive definitions (Q2075276) (← links)
- Algorithms for Garside calculus (Q2252115) (← links)
- Set graphs. II. Complexity of set graph recognition and similar problems (Q2253199) (← links)
- Representation of Artinian partially ordered sets over semiartinian von Neuman regular algebras. (Q2270125) (← links)
- Classical and effective descriptive complexities of \(\omega \)-powers (Q2271988) (← links)