Keywords: primary; 03F30; 03C62; 03H15; secondary; 03C15; Peano Arithmetic; Nonstandard model; Self-embedding; Fixed point; Strong cut;
مقالات ISI (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: primary; 03B30; 03F35; 05D10; secondary; 03H15; 03C62; 03D80; Reverse mathematics; Ramsey's theorem; Proof-theoretic strength;
Keywords: 03F25; 03C62; 03H15; 05D10; Ramsey theorem; First-order fragment; Indicators; Density;
Keywords: primary; 03D32; secondary; 03D28; 68Q30; 03H15; Kolmogorov complexity; Partial randomness; Effective Hausdorff dimension; Martin-Löf randomness; Models of arithmetic;
Keywords: 03D70; 03D80; 03H15; 03D75Reverse mathematics; Recursion theory; Inductive inference; Learning from positive data
Unifying the model theory of first-order and second-order arithmetic via WKL0â
Keywords: 03C62; 03H15; 03C30; 03C50; Nonstandard model of arithmetic; End extension; Initial segment; Arithmetized Completeness Theorem; BΣ1; WKL0â;
Independence results for variants of sharply bounded induction
Keywords: 03F30; 03H15; Bounded arithmetic; Very weak arithmetic; Independence results; Sharply bounded formulas; Sharply bounded induction; Open induction;
The provably terminating operations of the subsystem PETJ of explicit mathematics
Keywords: 03D15; 03D75; 03H15; Explicit mathematics; Polytime functions; Non-standard models;
The minimal e-degree problem in fragments of Peano arithmetic
Keywords: 03D20; 03F30; 03H15;
Structures interpretable in models of bounded arithmetic
Keywords: 03H15; 68Q17; 03F30; Bounded arithmetic; Arithmetic with a top; Weak pigeonhole principle;