The following pages link to (Q3069633):
Displayed 12 items.
- Primitive recursion and the chain antichain principle (Q435242) (← links)
- A new model construction by making a detour via intuitionistic theories. III: Ultrafinitistic proofs of conservations of \(\Sigma_1^1\) collection (Q2111109) (← links)
- Metamathematical properties of a constructive multi-typed theory (Q2363505) (← links)
- Grothendieck’s Unifying Vision of Geometry (Q3120447) (← links)
- Program Size Complexity of Correction Grammars in the Ershov Hierarchy (Q3188262) (← links)
- Changing a Semantics: Opportunism or Courage? (Q3454820) (← links)
- THE BOREL COMPLEXITY OF ISOMORPHISM FOR O-MINIMAL THEORIES (Q4977215) (← links)
- REVERSE MATHEMATICS, YOUNG DIAGRAMS, AND THE ASCENDING CHAIN CONDITION (Q4977220) (← links)
- Computation and Indispensability (Q5013616) (← links)
- Reverse mathematics of the finite downwards closed subsets of ordered by inclusion and adjacent Ramsey for fixed dimension (Q5109219) (← links)
- Direct construction of Scott ideals (Q6149027) (← links)
- What is worthy of investigation? Philosophical attitudes and their impact on mathematical development by the example of discovering 10-adic numbers (Q6169841) (← links)