axiomatizable system

мат. аксиоматизированная система

аксиоматизируемый finitely axiomatizable class ≈ конечно аксиоматизируемый класс finitely axiomatizable quasivariety ≈ конечно аксиоматизируемое квазимногообразие finitely axiomatizable system ≈ конечно аксиоматизируемая система finitely axiomatizable theor ≈ конечно аксиоматизируемая теория finitely axiomatizable variety ≈ конечно аксиоматизируемое многообразие recursively axiomatizable theor ≈ рекурсивно аксиоматизируемая теория universally axiomatizable class ≈ универсально аксиоматизируемый класс universally axiomatizable subclass ≈ универсально аксиоматизируемый подкласс - axiomatizable class - axiomatizable system - axiomatizable theor - axiomatizable type

- absolutely consistent system - absolutely direct indecomposable system - absolutely free system - absolutely irreducible system - absolutely isolated system - allowable coordinate system - almost linear system - ample linear system - artificial feel system - automatic block system - automatic deicing system - binary relational system - binary-coded decimal system - block tooling system - Cartesian coordinate system - completely controllable system - completely ergodic system - completely hyperbolic system - completely identifiable system - completely integrable system - completely irreducible system - completely regular system - completely stable system - completely stratified system - complex number system - conical coordinate system - derivational formal system - differential equation system - differential selsyn system - digital counting system - digital transmission system - elliptic coordinate system - elliptic cylindrical coordinate system - externally inconsistent system - finite state system - finitely axiomatizable system - finitely presented system - fully characteristic quotient system - fundamental system of solutions - hydraulic lift system - integrated switching system - isomorphically embedded system - kernel normal system - linearly dependent system - linearly independent system - live hydraulic system - locking protection system - meteor-burst communication system - modular programming system - parabolic cylindrical coordinate system - permanent four-wheel drive system - pure independent system - radio telephone system - reactor protection system - real number system - receiver-amplifier crioelectric system - remote-cylinder hydraulic system - semantically consistent system - simply consistent system - simply incomplete system - simply ordered system - spherical coordinate system - strongly multiplicative system - structurally stable system - sufficiently general coordinate system - system of frequency curves - system of rational numbers - time multiplex system - time-division multiplex system - uniformly complete system - univalent system of notation - universal system of notation - weakly closed system - weighted number system

конечно-дифференцирующий almost finitely generated module ≈ почти конечно порожденный модуль almost finitely related module ≈ почти конечно связанный модуль finitely additive function ≈ конечно аддитивная функция finitely additive measure ≈ конечно аддитивная мера finitely approximable group ≈ конечно аппроксимируемая группа finitely approximable semigroup ≈ финитно аппроксимируемая полугруппа finitely approximated system ≈ конечно аппроксимированная система finitely axiomatizable class ≈ конечно аксиоматизируемый класс finitely axiomatizable quasivariety ≈ конечно аксиоматизируемое квазимногообразие finitely axiomatizable system ≈ конечно аксиоматизируемая система finitely axiomatizable theor ≈ конечно аксиоматизируемая теория finitely axiomatizable variety ≈ конечно аксиоматизируемое многообразие finitely basable manifold ≈ конечно базируемое многообразие finitely bounded germ ≈ конечно ограниченный росток finitely cogenerated group ≈ конечно копорожденная группа finitely compact manifold ≈ конечно компактное многообразие finitely compact set ≈ конечно компактное множество finitely compact space ≈ конечно компактное пространство finitely connected domain ≈ конечносвязная область finitely connected module ≈ конечно связный модуль finitely connected subset ≈ конечно связное подмножество finitely convergent element ≈ конечно сходящийся элемент finitely convergent semigroup ≈ конечно сходящаяся полугруппа finitely definable quasivariety ≈ конечно определимое квазимногообразие finitely definable variety ≈ конечно определимое многообразие finitely defined algebra ≈ конечно определенная алгебра finitely defined group ≈ конечно определенная группа finitely definite set ≈ конечно определенное множество finitely differentiable equation ≈ конечно-дифференцируемое уравнение finitely generated algebra ≈ конечно порожденная алгебра finitely generated extension ≈ конечно порожденное расширение finitely generated field ≈ конечно порожденное поле finitely generated group ≈ матем. группа с конечным числом образующих finitely generated model ≈ конечно порожденная модель finitely generated monoid ≈ конечно порожденный моноид finitely generated presentation ≈ конечно порожденное представление finitely generated representation ≈ конечно порожденное пространство finitely generated ring ≈ конечно порожденное кольцо finitely generated semigroup ≈ конечно порожденная полугруппа finitely generated sheaf ≈ пучок с конечным числом образующих finitely generated structure ≈ конечно порожденная структура finitely generated subgroup ≈ конечно порожденная подгруппа finitely generated submodule ≈ конечно порожденный подмодуль finitely generated subobject ≈ конечно порожденный подобъект finitely generating ideal ≈ конечно порожденный идеал finitely mean valent function ≈ конечнолистная в среднем функция finitely measurable function ≈ конечно измеримая функция finitely measurable set ≈ конечно измеримое множество finitely presented group ≈ конечно представимая группа finitely presented module ≈ конечно представимый модуль finitely presented semigroup ≈ конечно определенная полугруппа finitely presented system ≈ конечно представленная система finitely productive space ≈ конечно продуктивное пространство finitely related group ≈ группа с конечным числом отношений finitely related presentation ≈ представление с конечным числом соотношений finitely related representation ≈ представление с конечным числом определяющих соотошений finitely sheeted domain ≈ конечнолистная область finitely sheeted space ≈ конечнолистное пространство finitely spanned module ≈ матем. модуль конечнопорожденный finitely triangulated manifold ≈ конечно триангулированное многообразие finitely triangulated space ≈ конечно триангулированное пространство finitely triangulated triad ≈ конечно триангулированная триада finitely valued function ≈ конечнозначная функция finitely valued random variable ≈ конечнозначная случайная величина purely finitely additive ≈ вполне конечно аддитивный - at most finitely many - finitely additive - finitely approximable - finitely axiomatized - finitely branched - finitely cogenerated - finitely compact - finitely connected - finitely covered - finitely definable - finitely defined - finitely dependent - finitely differentiable - finitely distributive - finitely generated - finitely invariant - finitely measurable - finitely open - finitely presented - finitely productive - finitely related - finitely satisfiable - finitely sheeted - finitely subadditive - finitely valued Finitely

мат. axiomatizable system

1) рекурсно
2) рекурсивно
3) рекуррентно ∙ completely recursively enumerable class ≈ вполне рекурсивно перечислимый класс general recursively inequal numbers ≈ общерекурсивно неравные числа general recursively irrational number ≈ общерекурсивно иррациональное число general recursively true ≈ общерекурсивно истинный general recursively true formula ≈ общерекурсивно истинная формула primitive recursively true ≈ примитивно-рекурсивно истинный recursively approximable set ≈ рекурсивно аппроксимируемое множество recursively axiomatizable theor ≈ рекурсивно аксиоматизируемая теория recursively axiomatized theor ≈ рекурсивно аксиоматизированная теория recursively bounded quantifier ≈ рекурсивно ограниченный квантор recursively calculable function ≈ рекурсивно вычислимая функция recursively complex number ≈ рекурсивно комплексное число recursively continuous function ≈ рекурсивно непрерывная функция recursively convergent function ≈ рекурсивно сходящаяся функция recursively convergent sequence ≈ рекурсивно сходящаяся последовательность recursively creative set ≈ рекурсивно креативное множество recursively defined function ≈ рекуррентно определенная функция recursively defined sequence ≈ рекурсивно определенная последовательность recursively differentiable function ≈ рекурсивно дифференцируемая функция recursively divergent function ≈ рекурсивно расходящаяся функция recursively divergent sequence ≈ рекурсивно расходящаяся последовательность recursively enumerable cylinder ≈ рекурсивно перечислимый цилиндр recursively enumerable degree ≈ рекурсивно перечислимая степень recursively enumerable index ≈ рекурсивно перечислимый индекс recursively enumerable ordinal ≈ рекурсивно перечислимое порядковое число recursively enumerable predicate ≈ рекурсивно перечислимый предикат recursively enumerable problem ≈ рекурсивно перечислимая проблема recursively enumerable relation ≈ рекурсивно перечислимое отношение recursively enumerable sequence ≈ рекурсивно перечислимая последовательность recursively enumerable set ≈ рекурсивное перечислимое множество recursively enumerable structure ≈ рекурсивно перечислимая структура recursively enumerable subclass ≈ рекурсивно перечислимый подкласс recursively enumerable subset ≈ рекурсивно перечислимое подмножество recursively enumerable theor ≈ рекурсивно перечислимая теория recursively equivalent sets ≈ рекурсивно эквивалентные множества recursively extensible function ≈ рекурсивно продолжаемая функция recursively incompletable theor ≈ рекурсивно непополнимая теория recursively indecomposable set ≈ рекурсивно неразложимое множество recursively inseparable sets ≈ рекурсивно неотделимые множества recursively invariant concept ≈ рекурсивно инвариантное понятие recursively invariant relation ≈ рекурсивно инвариантное отношение recursively isomorphic set ≈ рекурсивно изоморфное множество recursively presentable structure ≈ рекурсивно представимая структура recursively presented group ≈ рекурсивно определенная группа recursively productive set ≈ рекурсивно продуктивное множество recursively real number ≈ рекурсивно вещественное число recursively related system of notation ≈ рекурсивная по упорядочению система обозначений recursively representable operation ≈ рекурсивно представимая операция recursively representable relation ≈ рекурсивно представимое отношение recursively separable sets ≈ рекурсивно отделимые множества recursively solvable problem ≈ рекурсивно разрешимая проблема recursively undecidable theor ≈ рекурсивно неразрешимая теория recursively unequal numbers ≈ рекурсивно неравные числа - recursively axiomatized - recursively calculable - recursively closed - recursively computable - recursively conditional - recursively continuous - recursively convergent - recursively differentiable - recursively divergent - recursively enumerable - recursively equivalent - recursively expressible - recursively extensible - recursively inseparable - recursively isomorphic - recursively isotonic - recursively presentable - recursively projective - recursively realizable - recursively representable - recursively soluble - recursively true - recursively unsolvable Рекурсивно