Pages that link to "Item:Q5618369"

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 Σ₁¹ 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>_<i>ω</i>₁ (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)
• Δ₃^O-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)