Keywords: 03F03; 03F50; 03D15; 68Q15; Polytime computability; Applicative theories; Truth theories;
مقالات ISI (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: 03E70; 03F50; 03G30; 18B05; Intuitionistic set theory; Elementary topos; Algebraic set theory;
Keywords: 03B15; 03F50; 03C90; 03D65Martin-Löf type theory; Universe; Topology; Rice's Theorem
Keywords: 03B15; 03F50; 03C90; 03D65Constructive mathematics; Uniform continuity; Fan functional; Sheaves; Kleene–Kreisel continuous functionals; Intuitionistic type theory
Keywords: 03F50; 03B20; 03B45Self-referentiality; BHK semantics; Realization
The Σ1-provability logic of HA
Keywords: 03F45; 03B45; 03F50; 03F55; Heyting Arithmetic; Intuitionistic logic; Modal Logic; Provability Logic;
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;
Introduction to clarithmetic III
Keywords: 03F50; 03F30; 03D75; 68T30; Computability logic; Game semantics; Peano arithmetic; Constructive theories; Interactive computation;
CZF does not have the existence property
Keywords: 03F50; 03F55; 03F25; 03B40; CZF; Existence property; Realizability;
Independence results in formal topology
Keywords: 03F40; 03F50; 03F65Constructive mathematics; Formal topology; Independence results
Generalizing realizability and Heyting models for constructive set theory
Keywords: 03F25; 03F50; 03E35Constructive set theory; CZF; Realizability; Heyting models; Formal topology; Pca’s
The bounded functional interpretation of bar induction
Keywords: 03F03; 03F10; 03F35; 03F50; Functional interpretation; Bar induction; Dependent choices;
Derived rules for predicative set theory: An application of sheaves
Keywords: 03E70; 03F50; 03F30; 18F20; Constructive set theory; Derived rules; Sheaves; Baire space;
Constructive toposes with countable sums as models of constructive set theory
Keywords: 03E70; 03F50; 03G30; 18A35; Constructive set theory; Categorical logic; Sheaves;
From the weak to the strong existence property
Keywords: 03F50; 03F35; Intuitionistic set theory; Collection axiom; Realizability with sets of witnesses; Weak existence property; Set recursive functions;
Replacement versus collection and related topics in constructive Zermelo-Fraenkel set theory
Keywords: 03F35; 03F50; Constructive set theory; Replacement; Strong collection; Proof-theoretic strength; Trichotomous ordinals;
Inductive types and exact completion
Keywords: 03B15; 03F50; 03G30; 18A15; 18C50; Exact completion; Realizability toposes; Martin-Löf Type Theory; Initial algebras; Pretoposes;