مقالات ISI (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: 19D55; 18B25; 03G30
Keywords: 18B25; 03G30; 03D80; Effective topos; Local operators; Realizability; Sights;
Keywords: 18B25; 18B35; 03G10; 03G30Priestley duality; Distributive lattice; Stone space; Free structure; Ordered structure; Grothendieck topos
Keywords: 03G30; 18B05; 18B25; 18C10Algebraic set theory; Toposes; Generalised realizability
Higher Galois theory
Keywords: 18B25; 54C56; 55P55;
Localic metric spaces and the localic Gelfand duality
Keywords: 18B25; 03G30; 06D22; 46L05; 47S30Locales; Metric locales; Banach locales; Gelfand duality
Constructivist and structuralist foundations: Bishop's and Lawvere's theories of sets
Keywords: 03B15; 03G30; 18B05; 18B25; Categories of sets; Categorical logic;
Lex colimits
Keywords: Primary; 18A35; 18E10; Secondary; 18B15; 18B25;
The fundamental progroupoid of a general topos
Keywords: 18B25; 18B40
Lax proper maps of locales
Keywords: 18B35; 18B25; 54C10
Cocomplete toposes whose exact completions are toposes
Keywords: 18A35; 18B25
Filtered colimits in the effective topos
Keywords: 18B25;