The following pages link to (Q3754620):
Displaying 50 items.
- Undecidability of Uzawa equivalence theorem and LLPO (Lesser limited principle of omniscience) (Q945261) (← links)
- Apartness, compactness and nearness (Q949606) (← links)
- The Zariski spectrum as a formal geometry (Q949619) (← links)
- Kronecker's density theorem and irrational numbers in constructive reverse mathematics (Q969624) (← links)
- Glueing continuous functions constructively (Q982187) (← links)
- The Gibbard-Satterthwaite theorem of social choice theory in an infinite society and LPO (limited principle of omniscience) (Q990626) (← links)
- Sequences of real functions on [0,1] in constructive reverse mathematics (Q1001912) (← links)
- A constructive theory of continuous domains suitable for implementation (Q1023289) (← links)
- Problems, solutions, and completions (Q1044674) (← links)
- Constructive compact operators on a Hilbert space (Q1177034) (← links)
- The constructive inequivalence of various notions of preference ordering (Q1177104) (← links)
- Standard bases for general coefficient rings and a new constructive proof of Hilbert's basis theorem (Q1186713) (← links)
- Extensions and fixed points of contractive maps in \(\mathbb{R}^ n\) (Q1191646) (← links)
- A transfer theorem in constructive \(p\)-adic algebra (Q1194243) (← links)
- The construction of a continuous demand function for uniformly rotund preferences (Q1198381) (← links)
- Constructing best approximations on a Jordan curve (Q1270276) (← links)
- Constructive mathematics: a foundation for computable analysis (Q1292399) (← links)
- The constructive theory of preference relations on a locally compact space. II (Q1364438) (← links)
- Locating the range of an operator with an adjoint (Q1397696) (← links)
- Unique existence, approximate solutions, and countable choice. (Q1427789) (← links)
- A constructive theory of point-set nearness. (Q1427791) (← links)
- Ishihara's proof technique in constructive analysis (Q1433041) (← links)
- Five observations concerning the intended meaning of the intuitionistic logical constants (Q1582231) (← links)
- Rational presented metric spaces and complexity, the case of the space of real functions uniformly continuous on a compact interval (Q1589441) (← links)
- Kernels of seminorms in constructive analysis. (Q1607290) (← links)
- A footnote to ``The crisis in contemporary mathematics'' (Q1635798) (← links)
- A topological view on algebraic computation models (Q1679677) (← links)
- To be or not to be constructive, that is not the question (Q1688964) (← links)
- A constructive version of the Sylvester-Gallai theorem (Q1701339) (← links)
- Applying mathematics to empirical sciences: flashback to a puzzling disciplinary interaction (Q1709139) (← links)
- Convexity and unique minimum points (Q1712926) (← links)
- The binary expansion and the intermediate value theorem in constructive reverse mathematics (Q1712938) (← links)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017 (Q1731963) (← links)
- Intuitionistic sequential compactness? (Q1788329) (← links)
- On Brouwer's continuity principle (Q1788331) (← links)
- Constructing extensions of ultraweakly continuous linear functionals (Q1840580) (← links)
- Apartness spaces as a framework for constructive topology (Q1861535) (← links)
- Spectra of selfadjoint operators in constructive analysis (Q1914903) (← links)
- Reclassifying the antithesis of Specker's theorem (Q1938392) (← links)
- McShane-Whitney pairs (Q2011674) (← links)
- Reverse formalism 16 (Q2054114) (← links)
- Intuitionism: an inspiration? (Q2065727) (← links)
- The Hahn-Banach theorem by disjunction elimination (Q2074035) (← links)
- Predicativity and constructive mathematics (Q2080590) (← links)
- Closed subsets in Bishop topological groups (Q2084948) (← links)
- Algebras of complemented subsets (Q2104273) (← links)
- Functions of Baire class one over a Bishop topology (Q2106607) (← links)
- Formally computing with the non-computable (Q2117773) (← links)
- Constructive mathematics, Church's thesis, and free choice sequences (Q2117809) (← links)
- The effects of effects on constructivism (Q2133168) (← links)
