The following pages link to (Q4163527):
Displaying 42 items.
- The structure of disjoint groups of continuous functions (Q437626) (← links)
- Representation and duality of the untyped \(\lambda\)-calculus in nominal lattice and topological semantics, with a proof of topological completeness (Q730088) (← links)
- A note on weakly Dedekind finite sets (Q740210) (← links)
- Intensionality in mathematics (Q762052) (← links)
- Rough multisets and information multisystems (Q764788) (← links)
- On the axiom of union (Q964450) (← links)
- Characteristics of discrete transfinite time Turing machine models: Halting times, stabilization times, and normal form theorems (Q1004086) (← links)
- On three arguments against categorical structuralism (Q1036073) (← links)
- Function of region (Q1089447) (← links)
- A useful fixpoint theorem (Q1275737) (← links)
- Fuzzy shadows (Q1302243) (← links)
- Recursion induction for real-time processes (Q1329195) (← links)
- Set theory with indeterminacy of identity (Q1347604) (← links)
- The co-invariant generator: An aid in deriving loop bodies (Q1911318) (← links)
- Transfinite induction within Peano arithmetic (Q1919522) (← links)
- Structural results on lifting, orthogonality and finiteness of idempotents (Q2063007) (← links)
- Equidecomposable magmas (Q2217775) (← links)
- The fixed-point theory of strictly causal functions (Q2257306) (← links)
- The converse of the intermediate value theorem: from Conway to Cantor to cosets and beyond (Q2261887) (← links)
- Decomposition and convergence for tree martingales (Q2270888) (← links)
- Slim models of Zermelo set theory (Q2747699) (← links)
- Equivariant class group. II. Enriched descent theorem (Q2984978) (← links)
- A FINITE-TO-ONE MAP FROM THE PERMUTATIONS ON A SET (Q2986592) (← links)
- An ω-hierarchy of axiom systemZF (Q3197817) (← links)
- (Q3384849) (← links)
- THOUGHTS ON THE CANTOR-BERNSTEIN THEOREM (Q3741774) (← links)
- A hierarchy of axiom systemZF (Q3803102) (← links)
- Continuous Functions on Countable Compact Ordered Sets as Sums of Their Increments (Q3854165) (← links)
- CANTORIAN SET THEORY (Q4647016) (← links)
- A Generalised character theory for modules (Q4942359) (← links)
- (Q4991956) (← links)
- (Q5004665) (← links)
- Preferred First-Order Answer Set Programs (Q5169967) (← links)
- Coherent rings and absolutely pure precovers (Q5231259) (← links)
- A Quantitative-Informational Approach to Logical Consequence (Q5350327) (← links)
- Set-theoretic foundations (Q5351860) (← links)
- Why Sets? (Q5452179) (← links)
- Coherent rings and absolutely pure covers (Q5745112) (← links)
- Upper topology and its relation with the projective modules (Q6134439) (← links)
- Enculturation and the historical origins of number words and concepts (Q6147194) (← links)
- An in-reachability based classification of invariant synchrony patterns in weighted coupled cell networks (Q6181841) (← links)
- Design optimization using multiple dominance relations (Q6496285) (← links)
