The following pages link to (Q4272993):
Displaying 33 items.
- Abduction in economics: a conceptual framework and its model (Q484912) (← links)
- Coalgebras in functional programming and type theory (Q639643) (← links)
- The graph conception of set (Q742483) (← links)
- Fixed points of covering upper and lower approximation operators (Q780139) (← links)
- Between atomism and superatomism (Q830399) (← links)
- Ordinal arithmetic: Algorithms and mechanization (Q851144) (← links)
- Notes on leximorphic spaces (Q990319) (← links)
- From Hilbert's program to a logic tool box (Q1028646) (← links)
- Existence and definability of states of the world (Q1779722) (← links)
- Hierarchies of knowledge: an unbounded stairway (Q1806303) (← links)
- Coherent beliefs are not always types. (Q1966229) (← links)
- On injectivity in category of rough sets (Q2001114) (← links)
- Abduction: a categorical characterization (Q2018608) (← links)
- An indeterminate universe of sets (Q2054115) (← links)
- Finitely generated submoduloids and prime submoduloids on a nexus (Q2072008) (← links)
- The inclosure scheme and the solution to the paradoxes of self-reference (Q2475296) (← links)
- Controlling formal fibers of principal prime ideals (Q2478059) (← links)
- Finitely additive beliefs and universal type spaces (Q2493183) (← links)
- Undirecting membership in models of anti-foundation (Q2662895) (← links)
- (Q3317078) (← links)
- Infinite Ordinals and Finite Improvement (Q3457724) (← links)
- Factorization in generalized power series (Q4699622) (← links)
- FUZZY NEXUS OVER AN ORDINAL (Q4956360) (← links)
- Quantum Programs as Kleisli Maps (Q5014792) (← links)
- Nonsets (Q5258980) (← links)
- Intensional Couplings in Variable-Structure Models (Q5270660) (← links)
- Diskrete Mathematik (Q5896115) (← links)
- Distinguished \(C_p(X)\) spaces and the strongest locally convex topology (Q6085342) (← links)
- THE DISCONTINUITY PROBLEM (Q6095979) (← links)
- Concentration of invariant means and dynamics of chain stabilizers in continuous geometries (Q6139388) (← links)
- A method for identifying parameterizations of the compensation election and quadratic voting that admit pure-strategy equilibria (Q6163301) (← links)
- What is worthy of investigation? Philosophical attitudes and their impact on mathematical development by the example of discovering 10-adic numbers (Q6169841) (← links)
- Beliefs about the nature of numbers (Q6599260) (← links)
