The following pages link to (Q3679172):
Displayed 50 items.
- 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)
- Arithmetical conservation results (Q1688961) (← links)
- To be or not to be constructive, that is not the question (Q1688964) (← links)
- A note on non-classical nonstandard arithmetic (Q1715475) (← links)
- Consistency of the intensional level of the minimalist foundation with Church's thesis and axiom of choice (Q1756495) (← links)
- Axioms for strict and lazy functional programs (Q1772783) (← links)
- Intuitionistic sequential compactness? (Q1788329) (← 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)
- Reverse mathematics of topology: dimension, paracompactness, and splittings (Q1981984) (← links)
- Induction, constructivity, and grounding (Q1981997) (← links)
- Proofs and retributions, or: why Sarah can't take limits (Q2013325) (← links)
- Deflationism beyond arithmetic (Q2052155) (← links)
- The paradox of phase transitions in the light of constructive mathematics (Q2052650) (← links)
- Reverse formalism 16 (Q2054114) (← links)
- Predicativity and constructive mathematics (Q2080590) (← links)
- A categorical reading of the numerical existence property in constructive foundations (Q2080594) (← links)
- Algebras of complemented subsets (Q2104273) (← links)
- A new model construction by making a detour via intuitionistic theories. III: Ultrafinitistic proofs of conservations of \(\Sigma_1^1\) collection (Q2111109) (← links)
- Constructive mathematics, Church's thesis, and free choice sequences (Q2117809) (← links)
- Representations and the foundations of mathematics (Q2134273) (← links)
- Tableaux for free logics with descriptions (Q2142064) (← links)
- Justification logic and type theory as formalizations of intuitionistic propositional logic (Q2151394) (← links)
- Betwixt Turing and Kleene (Q2151412) (← links)
- Between Turing and Kleene (Q2151416) (← links)
- Satisfiability is false intuitionistically: a question from Dana Scott (Q2193975) (← links)
- Free logics are cut-free (Q2243550) (← links)
- Toward a clarity of the extreme value theorem (Q2254563) (← links)
- A Kuroda-style \(j\)-translation (Q2312092) (← links)