Keywords: 18C35; 18E10; 03G30; 18C10;
مقالات ISI (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: 19D55; 18B25; 03G30
Keywords: 03B15; 03G30;
Keywords: 03E70; 03F50; 03G30; 18B05; Intuitionistic set theory; Elementary topos; Algebraic set theory;
Keywords: 18B25; 03G30; 03D80; Effective topos; Local operators; Realizability; Sights;
Keywords: 03B22; 03B70; 03G30; 06A15; 06F07; 18A15
Keywords: 03G30; 18B05; 18B25; 18C10Algebraic set theory; Toposes; Generalised realizability
Keywords: 03B15; 18G55; 03G30; 55U40Martin-Löf complex; Homotopy type theory; 1-Truncation; Quillen model structure; Groupoids
Keywords: 03B15; 03G30; 18A15; 18D30Realizability; Gluing; Logical relations; Homotopy type theory; Martin-Löf type theory; Groupoid semantics
Localic metric spaces and the localic Gelfand duality
Keywords: 18B25; 03G30; 06D22; 46L05; 47S30Locales; Metric locales; Banach locales; Gelfand duality
Triposes, q-toposes and toposes
Keywords: 03G30; 03B15; 18D05; Tripos-to-topos construction; Quasitopos; Proarrow equipment;
Constructivist and structuralist foundations: Bishop's and Lawvere's theories of sets
Keywords: 03B15; 03G30; 18B05; 18B25; Categories of sets; Categorical logic;
Constructive toposes with countable sums as models of constructive set theory
Keywords: 03E70; 03F50; 03G30; 18A35; Constructive set theory; Categorical logic; Sheaves;
An axiomatic account of weak triquotient assignments in locale theory
Keywords: 03G30; 06D; 54B30; 16B50; 03F55; 18B30
Order-enriched categorical models of the classical sequent calculus
Keywords: 03B05; 03F03; 03G30; 03F05; 03G05; 03F52
Locale morphisms with exact direct image functor in sheaves
Keywords: 06D22; 18F20; 18B35; 03G30;
Inductive types and exact completion
Keywords: 03B15; 03F50; 03G30; 18A15; 18C50; Exact completion; Realizability toposes; Martin-Löf Type Theory; Initial algebras; Pretoposes;