The following pages link to (Q3679172):
Displayed 50 items.
- The constructive theory of preference relations on a locally compact space. II (Q1364438) (← links)
- Provability in principle and controversial constructivistic principles (Q1372941) (← links)
- Unique existence, approximate solutions, and countable choice. (Q1427789) (← links)
- A constructive theory of point-set nearness. (Q1427791) (← links)
- Theories with self-application and computational complexity. (Q1427856) (← links)
- Ishihara's proof technique in constructive analysis (Q1433041) (← links)
- Polynat in PER models (Q1434360) (← links)
- Functional interpretation of Aczel's constructive set theory (Q1577478) (← links)
- The unfolding of non-finitist arithmetic (Q1577479) (← links)
- The non-constructive \(\mu\) operator, fixed point theories with ordinals, and the bar rule (Q1577487) (← links)
- Category theory and the foundations of mathematics: philosophical excavations. (Q1578766) (← links)
- Wittgenstein and finitism (Q1583770) (← links)
- Computationalism (Q1583773) (← links)
- Rational presented metric spaces and complexity, the case of the space of real functions uniformly continuous on a compact interval (Q1589441) (← links)
- A new graph characteristic and its application to numerical computability (Q1603419) (← links)
- Kernels of seminorms in constructive analysis. (Q1607290) (← links)
- Specification of real-time and hybrid systems in rewriting logic (Q1608921) (← links)
- Inaccessible set axioms may have little consistency strength (Q1612481) (← links)
- Axioms for strict and lazy functional programs (Q1772783) (← links)
- A theory of rules for enumerated classes of functions (Q1805407) (← links)
- A semantical proof of De Jongh's theorem (Q1812961) (← links)
- Can constructive mathematics be applied in physics? (Q1818378) (← links)
- Towards a computation system based on set theory (Q1825191) (← links)
- Constructing extensions of ultraweakly continuous linear functionals (Q1840580) (← links)
- Realization of constructive set theory into explicit mathematics: A lower bound for impredicative Mahlo universe (Q1861330) (← links)
- Apartness spaces as a framework for constructive topology (Q1861535) (← links)
- Universes over Frege structures (Q1861539) (← links)
- Computational complexity of optimization and crude range testing: A new approach motivated by fuzzy optimization (Q1874064) (← links)
- Nominal logic, a first order theory of names and binding (Q1887151) (← links)
- A constructive approach to nonstandard analysis (Q1892939) (← links)
- Totality in applicative theories (Q1896484) (← links)
- Spectra of selfadjoint operators in constructive analysis (Q1914903) (← links)
- Systems of explicit mathematics with non-constructive \(\mu\)-operator. II (Q1919537) (← links)
- Paradox and potential infinity (Q1947035) (← links)
- On Feferman's operational set theory \textsf{OST} (Q2463480) (← links)
- Abstraction in algorithmic logic (Q2481241) (← links)
- CZF and second order arithmetic (Q2498896) (← links)
- Characterizing the interpretation of set theory in Martin-Löf type theory (Q2500469) (← links)
- On the relative power of polynomials with real, rational, and integer coefficients in proofs of termination of rewriting (Q2502172) (← links)
- The Skolemization of existential quantifiers in intuitionistic logic (Q2503404) (← links)
- Formalizing forcing arguments in subsystems of second-order arithmetic (Q2563983) (← links)
- Systems of explicit mathematics with non-constructive \(\mu\)-operator and join (Q2563984) (← links)
- Remarks on applicative theories (Q2566067) (← links)
- Reflections on reflections in explicit mathematics (Q2566068) (← links)
- Strong continuity implies uniform sequential continuity (Q2573727) (← links)
- Dynamical algebraic structures, pointfree topological spaces and Hilbert's program. (Structures algébriques dynamiques, espaces topologiques sans points et programme de Hilbert) (Q2575772) (← links)
- Strongly Noetherian rings and constructive ideal theory (Q2643522) (← links)
- Upper bounds for metapredicative Mahlo in explicit mathematics and admissible set theory (Q2747729) (← links)
- Realisability in weak systems of explicit mathematics (Q3107339) (← links)
- A proof–technique in uniform space theory (Q3160570) (← links)