The following pages link to (Q3256314):
Displaying 25 items.
- Comparing Peano arithmetic, Basic Law V, and Hume's Principle (Q450961) (← links)
- The Whitney embedding theorem for tropical torsion modules. Classification of tropical modules (Q550681) (← links)
- A neural compiler (Q673775) (← links)
- The operation \(\uparrow\) on formal power series (Q688677) (← links)
- The zig-zag power series: A two-way version of the \({}^*\) operator. (Q753497) (← links)
- Weighted asynchronous cellular automata (Q1022595) (← links)
- Characteristics of graph languages generated by edge replacement (Q1098320) (← links)
- A dichotomy result for a pointwise summable sequence of operators (Q2271987) (← links)
- Rethinking revision (Q2420716) (← links)
- On the reducibility of \(\Pi_ 1^ 1\) sets (Q2547889) (← links)
- The unique existential quantifier (Q3214882) (← links)
- On a problem of Kleene’s (Q3276698) (← links)
- Hyperarithmetical Sets (Q3305318) (← links)
- Kleene’s Amazing Second Recursion Theorem (Q3644738) (← links)
- Minimal Covers and Hyperdegrees (Q4075452) (← links)
- LUZIN’S (N) AND RANDOMNESS REFLECTION (Q5082065) (← links)
- COMPLEXITY OF INDEX SETS OF DESCRIPTIVE SET-THEORETIC NOTIONS (Q5100042) (← links)
- Choice free fixed point property in separable Banach spaces (Q5179396) (← links)
- Predicativity and Feferman (Q5214793) (← links)
- THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC (Q5274882) (← links)
- La prédicativité (Q5339291) (← links)
- Hyperanalytic Predicates (Q5542099) (← links)
- A Recursion-Theoretic Characterization of the Ramified Analytical Hierarchy (Q5607224) (← links)
- Measure-Theoretic Uniformity in Recursion Theory and Set Theory (Q5609369) (← links)
- SEARCHING FOR AN ANALOGUE OF ATR<sub>0</sub> IN THE WEIHRAUCH LATTICE (Q5855746) (← links)
