Pages that link to "Item:Q5618369"
From MaRDI portal
The following pages link to Higher set theory and mathematical practice (Q5618369):
Displaying 47 items.
- A combinatorial property of Fréchet iterated filters (Q411828) (← links)
- The limits of determinacy in second order arithmetic: consistency and complexity strength (Q480816) (← links)
- Surrealist landscape with figures (a survey of recent results in set theory) (Q754865) (← links)
- Mathematics as a quasi-empirical science (Q850486) (← links)
- Too naturalist and not naturalist enough: Reply to Horsten (Q954789) (← links)
- \({\Pi^1_2}\)-comprehension and the property of Ramsey (Q1016505) (← links)
- How recent work in mathematical logic relates to the foundations of mathematics (Q1085151) (← links)
- Necessary uses of abstract set theory in finite mathematics (Q1088658) (← links)
- The axiom of determinacy and the modern development of descriptive set theory (Q1097880) (← links)
- On the necessary use of abstract set theory (Q1163016) (← links)
- On the independence of core-equivalence results from Zermelo-Fraenkel set theory (Q1263580) (← links)
- Borel equivalence relations induced by actions of the symmetric group (Q1295370) (← links)
- Turing determinacy and the continuum hypothesis (Q1824617) (← links)
- Long Borel games (Q2048863) (← links)
- A Lipschitz determinacy principle equivalent to weak König lemma (Q2111115) (← links)
- Determinacy separations for class games (Q2312093) (← links)
- Large cardinals, inner models, and determinacy: an introductory overview (Q2345399) (← links)
- ReGale: some memorable results (Q2389290) (← links)
- Determinacy in third order arithmetic (Q2404651) (← links)
- Another Use of Set Theory (Q3128480) (← links)
- A critical appraisal of second-order logic (Q3141185) (← links)
- Reverse Mathematics: The Playground of Logic (Q3163663) (← links)
- Determinacy of adversarial Gowers games (Q3188941) (← links)
- Weihrauch Degrees of Finding Equilibria in Sequential Games (Q3195703) (← links)
- On Σ<sub>1</sub><sup>1</sup> equivalence relations with Borel classes of bounded rank (Q3714073) (← links)
- Finite level Borel games and a problem concerning the jump hierarchy (Q3715102) (← links)
- The determinacy of Blackwell games (Q4254699) (← links)
- Fraïssé’s conjecture in Π11-comprehension (Q4596662) (← links)
- THE RAMIFIED ANALYTICAL HIERARCHY USING EXTENDED LOGICS (Q4961868) (← links)
- CALIBRATING DETERMINACY STRENGTH IN LEVELS OF THE BOREL HIERARCHY (Q4977218) (← links)
- GAMES AND INDUCTION ON REALS (Q5021933) (← links)
- THEOREMS OF HYPERARITHMETIC ANALYSIS AND ALMOST THEOREMS OF HYPERARITHMETIC ANALYSIS (Q5067874) (← links)
- VARIATIONS ON DETERMINACY AND <i>ℵ</i><sub><i>ω</i><sub>1</sub></sub> (Q5082061) (← links)
- THE CONSISTENCY STRENGTH OF LONG PROJECTIVE DETERMINACY (Q5107234) (← links)
- Ramsey theory without pigeonhole principle and the adversarial Ramsey principle (Q5114756) (← links)
- Uniformity, universality, and computability theory (Q5268400) (← links)
- THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC (Q5274882) (← links)
- Differential Game Logic (Q5277902) (← links)
- Δ<sub>3</sub><sup>O</sup>-determinacy, comprehension and induction (Q5294020) (← links)
- Open determinacy for class games (Q5351852) (← links)
- Induction, Bounding, Weak Combinatorial Principles, and the Homogeneous Model Theorem (Q5366979) (← links)
- In Praise of Replacement (Q5388757) (← links)
- Why Sets? (Q5452179) (← links)
- Determinateness and Continuity (Q5668486) (← links)
- Effective randomness for continuous measures (Q5862176) (← links)
- ALMOST THEOREMS OF HYPERARITHMETIC ANALYSIS (Q6103458) (← links)
- The Π21$\Pi ^1_2$ consequences of a theory (Q6176438) (← links)