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: 03F25; 03F30; 03C62; 03D20; Peano arithmetic; Slow reflection; Slow consistency; Iterated consistency; Consistency strength; Fast growing hierarchy;
Keywords: 03C62; 03C65; 03E70; 03E65Automorphisms; Set theory; ‘New Foundations’ with urelements
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â;