The following pages link to Alberto Marcone (Q238867):
Displayed 50 items.
- Reverse mathematics, well-quasi-orders, and Noetherian spaces (Q283113) (← links)
- Reverse mathematics and initial intervals (Q386152) (← links)
- The Bolzano-Weierstrass theorem is the jump of weak Kőnig's lemma (Q408156) (← links)
- Computing maximal chains (Q453200) (← links)
- Addendum to: ``The Bolzano-Weierstrass theorem is the jump of weak Kőnig's lemma'' (Q529168) (← links)
- The maximal linear extension theorem in second order arithmetic (Q634769) (← links)
- Epimorphisms between linear orders. (Q890015) (← links)
- How incomputable is the separable Hahn-Banach theorem? (Q987935) (← links)
- A note on counterexamples to the Vaught conjecture (Q998137) (← links)
- On Fraïssé's conjecture for linear orders of finite Hausdorff rank (Q1032636) (← links)
- Borel quasi-orderings in subsystems of second-order arithmetic (Q1182484) (← links)
- Lebesgue numbers and Atsuji spaces in subsystems of second-order arithmetic (Q1267845) (← links)
- The restriction of a Borel equivalence relation to a sparse set (Q1407596) (← links)
- Extensions of functions which preserve the continuity on the original domain (Q1567309) (← links)
- Reverse mathematics and rank functions for directed graphs (Q1590191) (← links)
- On isometry and isometric embeddability between ultrametric Polish spaces (Q1744572) (← links)
- Definability in function spaces (Q1852368) (← links)
- Largest \(E\)-thin, \(E\)-invariant sets below \(\Delta_3^1\) (Q1882565) (← links)
- Density zero slaloms (Q1977484) (← links)
- Polish metric spaces with fixed distance set (Q2004957) (← links)
- Uniquely orderable interval graphs (Q2144484) (← links)
- Filters on computable posets (Q2372682) (← links)
- Interval orders and reverse mathematics (Q2469435) (← links)
- Universality of embeddability relations for coloured total orders (Q2492801) (← links)
- Reverse mathematics of separably closed sets (Q2580957) (← links)
- Invariantly universal analytic quasi-orders (Q2839384) (← links)
- The Veblen functions for computability theorists (Q3011121) (← links)
- Linear extensions of partial orders and reverse mathematics (Q3144869) (← links)
- The Reverse Mathematics of wqos and bqos (Q3295152) (← links)
- (Q3425061) (← links)
- (Q3837736) (← links)
- Finite families with few symmetric differences (Q4226295) (← links)
- Foundations of BQO Theory (Q4316958) (← links)
- (Q4365819) (← links)
- Projective sets and ordinary differential equations (Q4510022) (← links)
- (Q4828839) (← links)
- Complexity of curves (Q4829356) (← links)
- The Set of Better Quasi Orderings is ∏ (Q4844512) (← links)
- How Incomputable is the Separable Hahn-Banach Theorem? (Q4918007) (← links)
- THE OPEN AND CLOPEN RAMSEY THEOREMS IN THE WEIHRAUCH LATTICE (Q5000272) (← links)
- Effective aspects of Hausdorff and Fourier dimension (Q5061392) (← links)
- On the descriptive complexity of Salem sets (Q5066168) (← links)
- Projection operators in the Weihrauch lattice (Q5211067) (← links)
- Linear orders: When embeddability and epimorphism agree (Q5223122) (← links)
- Coloring linear orders with Rado's partial order (Q5293200) (← links)
- The complexity of continuous embeddability between dendrites (Q5311746) (← links)
- Reverse mathematics and the equivalence of definitions for well and better quasi-orders (Q5311748) (← links)
- (Q5320933) (← links)
- Classification problems in continuum theory (Q5461387) (← links)
- (Q5711893) (← links)