Keywords: 03B15; 03F50; 03C90; 03D65Constructive mathematics; Uniform continuity; Fan functional; Sheaves; Kleene–Kreisel continuous functionals; Intuitionistic type theory
مقالات ISI (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: 03B50; 03C75; 03C90; 54E52Real-valued logic; Continuous logic; Infinitary logic; Metric structures; Omitting types; Baire category
Keywords: 03C95; 03C90; 03B52; 54E52Continuous model theory; Continuous logic; Łukasziewicz logic; Łukasziewicz–Pavelka logic; Omitting types theorem
Saturation and elementary equivalence of C*-algebras
Keywords: 03C65; 03C90; 03C50; 46L05; 46L10; 54C35Countable degree-1 saturation; Breuer ideal; Commutative C*-algebra; Elementary equivalence