The following pages link to (Q3679172):
Displayed 50 items.
- 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)
- A flexible type system for the small Veblen ordinal (Q2312096) (← links)
- On Goodman realizability (Q2330510) (← links)
- A new model construction by making a detour via intuitionistic theories. II: Interpretability lower bound of Feferman's explicit mathematics \(T_0\) (Q2344720) (← links)
- Applicative theories for logarithmic complexity classes (Q2346995) (← links)
- Constructibility of the universal wave function (Q2360329) (← links)
- Metamathematical properties of a constructive multi-typed theory (Q2363505) (← links)
- A Burgessian critique of nominalistic tendencies in contemporary mathematics and its historiography (Q2391944) (← links)
- Equivalence of bar induction and bar recursion for continuous functions with continuous moduli (Q2417961) (← links)
- Representing definable functions of \(\mathrm{HA}^{\omega}\) by neighbourhood functions (Q2417962) (← links)
- Montague's paradox, informal provability, and explicit modal logic (Q2452676) (← 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)
- A feasible theory of truth over combinatory algebra (Q2637706) (← links)
- CZF does not have the existence property (Q2637709) (← links)
- Strongly Noetherian rings and constructive ideal theory (Q2643522) (← links)
- Radical theory of Scott-open filters (Q2682912) (← links)
- Realisability for infinitary intuitionistic set theory (Q2700803) (← links)
- Upper bounds for metapredicative Mahlo in explicit mathematics and admissible set theory (Q2747729) (← links)
- The Relevance of Computation Irreducibility as Computation Universality in Economics (Q2929344) (← links)
- Verified Methods for Computing Pareto Sets: General Algorithmic Analysis (Q2930551) (← links)
- On the Semantics of Intensionality (Q2988392) (← links)
- Realisability in weak systems of explicit mathematics (Q3107339) (← links)
- The principle of pointfree continuity (Q3121524) (← links)
- A proof–technique in uniform space theory (Q3160570) (← links)