Keywords: 03F30; 03F20; 03D20; 03F40; Peano Arithmetic; Proof length; Paris-Harrington principle; Finite Ramsey theorem; Slow consistency; Fast growing hierarchy;
مقالات ISI (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: 03F03; 03F30; 03F40; 03F45Henkin sentences; Local reflection principles; Rosser provability predicates; Löb's theorem; Rosser sentences
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;
Independence results in formal topology
Keywords: 03F40; 03F50; 03F65Constructive mathematics; Formal topology; Independence results