Keywords: primary; 03D30; secondary; 03D80; 05C69; 37B10; Good approximations; Enumeration degrees; Density; Cototal enumeration degrees;
مقالات ISI (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: primary; 03B30; 03F35; 05D10; secondary; 03H15; 03C62; 03D80; Reverse mathematics; Ramsey's theorem; Proof-theoretic strength;
Keywords: 03D32; 68Q30; 03D30; 03D80; Computability theory; Coarse computability; Gamma question;
Keywords: primary; 03B80; secondary; 05C63; 03D80; 03D35; Simplicial decomposition; Graph decomposition; Ordinal; Length;
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: 03D32; 03D30; 03F60; 03D80; Strong measure zero; Martingale; Muchnik degree; Algorithmic probability; Kolmogorov complexity; Computable traceability;
Keywords: 18B25; 03G30; 03D80; Effective topos; Local operators; Realizability; Sights;
Keywords: 03D75; 03D80; 03F60; 03F65Computability theory at higher types; Constructive mathematics; Density theorem; Limit spaces
Keywords: 03D70; 03D80; 03H15; 03D75Reverse mathematics; Recursion theory; Inductive inference; Learning from positive data
The Dyck and the Preiss separation uniformly
Keywords: 03E15; 03D60; 03D80; 28A05; Positive sets; Convex sets; Convexly generated; Dyck separation; Preiss separation; Uniformity function;
Generics for computable Mathias forcing
Keywords: 03D80; 03E40; 03D32; 03E75; Effective forcing; Mathias forcing; Computability theory;
Kolmogorov complexity and computably enumerable sets
Keywords: 03D30; 03D80; 03D32; Computably enumerable sets; Kolmogorov complexity; Relativization;
A Banach-Mazur computable but not Markov computable function on the computable real numbers
Keywords: 03F60; 26E40; 03D80; Computability theory; Computable analysis; Computable real numbers; Computable functions on real numbers;
Computing the solution of the Korteweg-de Vries equation with arbitrary precision on Turing machines
Keywords: 03D80; 03F60; Computability; Type 2 theory of effectivity; Initial value problem; KdV equation; Sobolev spaces;