Keywords: primary; 03B30; 03F35; 05D10; secondary; 03H15; 03C62; 03D80; Reverse mathematics; Ramsey's theorem; Proof-theoretic strength;
مقالات ISI (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: 03D80; 03B30; 03D30; 05D10; Computability theory; Effective combinatorics; Weihrauch reducibility; Reverse mathematics;
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; 03F35Reverse mathematics; Ramsey's Theorem; Free set; Thin set; Rainbow Ramsey Theorem
Keywords: 03B30; 03D60; 03E30; 03F25; Operational set theory; Operational closure; Kripke-Platek set theory; Σ1 separation; Stability; Proof theory;
Keywords: 03B30; 03E30; 03F03; 03F55; Classical and intuitionistic mathematical logic; Set theory; Proof theory; Constructive mathematics;
Keywords: 03F60; 03B30; 91B02; 52C35Separating hyperplane theorem; The fundamental theorem of asset pricing; Markov's principle; Constructive mathematics; Reverse mathematics
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
Keywords: 03B30; 03E35; 03F30; 03F40Consistency; Optimal algorithms; First-order arithmetic; Gödelʼs Second Incompleteness Theorem
The omega-rule interpretation of transfinite provability logic
Keywords: 03F03; 03F45; 03B30; 03B45; Provability logic; Arithmetic interpretation; Iterated provability;
Addendum to: “The Bolzano-Weierstrass theorem is the jump of weak KÅnig's lemma” [Ann. Pure Appl. Logic 163 (6) (2012) 623-655]
Keywords: 03F60; 03D30; 03B30; 03E15;
Dominating the ErdÅs-Moser theorem in reverse mathematics
Keywords: 03B30; 03F35; ErdÅs-Moser theorem; Atomic model theorem; Cohesiveness; Reverse mathematics;
WKL0 and induction principles in model theory
Keywords: 03B30; 03C07; 03C57; 03D45; Reverse mathematics; Recursive model theory; Basic model theory;
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;
Expressive power of digraph solvability
Keywords: 03B30; 03D99; 03E25; 05C63Digraph; Kernel; Infinitary propositional logic; Reverse mathematics
The axiomatics of ordered geometry: I. Ordered incidence spaces
Keywords: 51G05; 03B30; 01A55; 01A60; 01A61; Ordered geometry; Axiom system; Half-ordered geometry;
Equivalents of the (Weak) Fan Theorem
Keywords: 03F55; 03B20; 03F35; 03B30; Reverse mathematics; Intuitionistic mathematics; Second-order arithmetic;