Keywords: 03B20; 03F25; 03F35; 11U10; Intuitionism; Bounded functional interpretation; Bounded modified realisability; Majorisability; Nonstandard arithmetic; Transfer principle;
مقالات ISI (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: primary; 03B30; 03F35; 05D10; secondary; 03H15; 03C62; 03D80; Reverse mathematics; Ramsey's theorem; Proof-theoretic strength;
Keywords: primary; 03B30; 03F35; 03D80; secondary; 05D10; Reverse mathematics; RCA0; Σ20-bounding; Ramsey's Theorem for Pairs; Stable Ramsey's Theorem for Pairs;
Keywords: 03B30; 03F35; 03D80; 03F60; Reverse mathematics; Ramsey's Theorem; Universal instance;
Keywords: 03B30; 03F35; 03D55; 05D10; Reverse mathematics; Ramseyʼs Theorem; Rainbow Ramsey Theorem; Cohesive set; Weak König Lemma;
Keywords: 03B30; 03F35; 03B70Reverse Mathematics; Ramsey's Theorem; Termination Theorem; Paris Harrington's Theorem
Keywords: 03B30; 03F35; 03B15; 03H15Reverse mathematics; Nonstandard models; Second-order logic; Peano system; Categorical sentences
Dominating the ErdÅs-Moser theorem in reverse mathematics
Keywords: 03B30; 03F35; ErdÅs-Moser theorem; Atomic model theorem; Cohesiveness; Reverse mathematics;
Nonstandard second-order arithmetic and Riemannʼs mapping theorem
Keywords: primary; 03B30; secondary; 26E35; 03F35; 03H05; Reverse mathematics; Second-order arithmetic; Nonstandard analysis; Riemannʼs mapping theorem;
Reverse mathematics and properties of finite character
Keywords: primary; 03B30; 03F35; secondary; 03E25; Reverse mathematics; Finite character; Axiom of choice; Closure operator;
The bounded functional interpretation of bar induction
Keywords: 03F03; 03F10; 03F35; 03F50; Functional interpretation; Bar induction; Dependent choices;
From the weak to the strong existence property
Keywords: 03F50; 03F35; Intuitionistic set theory; Collection axiom; Realizability with sets of witnesses; Weak existence property; Set recursive functions;
Determinacy in third order arithmetic
Keywords: 03F35; 03E60; 03E45; 03D60; Reverse mathematics; Admissibility; Higher order arithmetic; Determinacy;
Equivalents of the (Weak) Fan Theorem
Keywords: 03F55; 03B20; 03F35; 03B30; Reverse mathematics; Intuitionistic mathematics; Second-order arithmetic;
Replacement versus collection and related topics in constructive Zermelo-Fraenkel set theory
Keywords: 03F35; 03F50; Constructive set theory; Replacement; Strong collection; Proof-theoretic strength; Trichotomous ordinals;
Bounded functional interpretation
Keywords: 03F03; 03F10; 03F25; 03F30; 03F35; Functional interpretation; Majorizability; Intuitionism; Proof theory; Proof mining;