Keywords: 03B20; 03F25; 03F35; 11U10; Intuitionism; Bounded functional interpretation; Bounded modified realisability; Majorisability; Nonstandard arithmetic; Transfer principle;
مقالات ISI (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
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: 03D65; 03F03; 03F10; 03F25; Bar recursion; Dialectica interpretation; Program extraction; Countable choice;
Keywords: 03B30; 03D60; 03E30; 03F25; Operational set theory; Operational closure; Kripke-Platek set theory; Σ1 separation; Stability; Proof theory;
Keywords: 03B25; 03F25; 03F30; 03F45Interpretability; Provability Logic; Second Incompleteness Theorem
Keywords: 03F03; 03F05; 03F25; 03F55; 03A99Aczel slash relation; Intuitionistic logic; Ordinal analysis; Proof-theoretic strength; Theories of truth
A new model construction by making a detour via intuitionistic theories I: Operational set theory without choice is Î 1-equivalent to KP
Keywords: primary; 03F25; secondary; 03C65; 03D60; 03E70; Applicative set theory; Feferman's OST; Intuitionistic forcing; Realisability; Inductive definition;
Constructive Zermelo-Fraenkel set theory and the limited principle of omniscience
Keywords: primary; 03F50; 03F25; secondary; 03D65; 03B15; Constructive set theory; Limited principle of omniscience; Bar induction; Proof-theoretic strength;
CZF does not have the existence property
Keywords: 03F50; 03F55; 03F25; 03B40; CZF; Existence property; Realizability;
Generalizing realizability and Heyting models for constructive set theory
Keywords: 03F25; 03F50; 03E35Constructive set theory; CZF; Realizability; Heyting models; Formal topology; Pca’s
Alternating minima and maxima, Nash equilibria and Bounded Arithmetic
Keywords: 68Q17; 03D15; 03F25; 03F30Proof complexity; Bounded arithmetic; Search problems; Finite games; Computational complexity; Equilibria
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;