Keywords: ریاضیات معکوس; primary; 03B30; 03F35; 05D10; secondary; 03H15; 03C62; 03D80; Reverse mathematics; Ramsey's theorem; Proof-theoretic strength;
مقالات ISI ریاضیات معکوس (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: ریاضیات معکوس; Ramsey's theorem; Computable combinatorics; Reverse mathematics;
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: ریاضیات معکوس; Constructive (effective) algebra; Reverse mathematics; Integral domain theory;
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: ریاضیات معکوس; primary, 03D15; secondary, 03D55Computability theory; Vector space; Reverse mathematics; Π10-classes; Low basis theorem
Keywords: ریاضیات معکوس; 03F60; 03B30; 91B02; 52C35Separating hyperplane theorem; The fundamental theorem of asset pricing; Markov's principle; Constructive mathematics; Reverse mathematics
Keywords: ریاضیات معکوس; Computable analysis; Weihrauch lattice; Computability theory; Reverse mathematics; Randomized algorithms
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
Î 11-conservation of combinatorial principles weaker than Ramsey's theorem for pairs
Keywords: ریاضیات معکوس; Reverse mathematics; Î 11-conservation; RCA0; Σ20-bounding; Combinatorial principles; Ascending/descending sequence; Chain/antichain; Cohesiveness;
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;