Keywords: primary; 03F30; 03C62; 03H15; secondary; 03C15; Peano Arithmetic; Nonstandard model; Self-embedding; Fixed point; Strong cut;
مقالات ISI (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: 03D20; 03D30; 03F30; 03G10; Sub-recursive hierarchies; Honest elementary degrees; Degrees of relative provability;
Keywords: 03F30; 03F20; 03D20; 03F40; Peano Arithmetic; Proof length; Paris-Harrington principle; Finite Ramsey theorem; Slow consistency; Fast growing hierarchy;
Keywords: 03F25; 03F30; 03C62; 03D20; Peano arithmetic; Slow reflection; Slow consistency; Iterated consistency; Consistency strength; Fast growing hierarchy;
Keywords: 03F03; 03F07; 03F30; 68Q42; Proof theory; Herbrand's theorem; Inductive theorem proving; Automated deduction;
Keywords: 03F03; 03F30; 03F40; 03F45Henkin sentences; Local reflection principles; Rosser provability predicates; Löb's theorem; Rosser sentences
Keywords: 03B25; 03F25; 03F30; 03F45Interpretability; Provability Logic; Second Incompleteness Theorem
Keywords: 03F30; 03D20First order arithmetic; Conservation results; Parameter free induction; Primitive recursive functions
Keywords: 03F45; 03B45; 03F30; 03D15Provability logic; Reflection principle; Positive modal logic
Keywords: 03F30; 03B42; 03F45; 03F40Knower Paradox; Explicit modal logic; Justification logic; Reflection principles; Provability logic
Keywords: 03B30; 03E35; 03F30; 03F40Consistency; Optimal algorithms; First-order arithmetic; Gödelʼs Second Incompleteness Theorem
On constructivity and the Rosser property: a closer look at some Gödelean proofs
Keywords: 03F40; 03F30; 03D32; 68Q30; Constructive proof; Rosser Property; Incompleteness; Kleene's proof; Chaitin's proof; Boolos' proof;
Realizability for Peano arithmetic with winning conditions in HON games
Keywords: 03B70; 03F30; 68Q55; 18D15; Classical realizability; Peano arithmetic; Hyland Ong game semantics;
Introduction to clarithmetic III
Keywords: 03F50; 03F30; 03D75; 68T30; Computability logic; Game semantics; Peano arithmetic; Constructive theories; Interactive computation;
Short propositional refutations for dense random 3CNF formulas
Keywords: 68Q25; 03F20; 03F30; 03D15; Propositional proof complexity; Random 3-SAT; Refutation algorithms; Threshold logic; Frege proofs;
Derived rules for predicative set theory: An application of sheaves
Keywords: 03E70; 03F50; 03F30; 18F20; Constructive set theory; Derived rules; Sheaves; Baire space;
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;
Upper and lower Ramsey bounds in bounded arithmetic
Keywords: 03F30; 05D10; 05D40; Bounded arithmetic; Ramsey theory; Probabilistic method;
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;
Faith & falsity
Keywords: 03B52; 03F25; 03F30; 03F45; 03H13; Rosser arguments; Faithful interpretations; Sequential theories; Σ-soundness;
Bounded functional interpretation
Keywords: 03F03; 03F10; 03F25; 03F30; 03F35; Functional interpretation; Majorizability; Intuitionism; Proof theory; Proof mining;