scientific article; zbMATH DE number 3318613
From MaRDI portal
Publication:5598318
zbMath0200.00066MaRDI QIDQ5598318
Publication date: 1969
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Some analytic features of algebraic data, The number of endomorphisms of an infinite algebra, Nonconvex Integro-Differential Sweeping Process with Applications, The HOL-Omega Logic, Perfect sequences of chain-complete posets, On the bifurcations of nonautonomous systems with compound critical points, Pseudocomplementation and minimal prime ideals in semirings, Szlenk and \(w^\ast\)-dentability indices of \(C(K)\), Proximity to \(\ell_ 1\) and distortion in asymptotic \(\ell_ 1\) spaces, \(| End A | = | Con A | = | Sub A | = 2^{| A|}\) for any uncountable 1-unary algebra, Examples of star operations on integral domains, On the behavior of nonoscillatory solutions of differential equations with deviating argument, Unnamed Item, Generalized groups that distribute over stars, On the Homotopy Index for Infinite-Dimensional Semiflows, Isomorphisms of \(\mathcal{C}(K, E)\) spaces and height of \(K\), The interpreted type-free modal calculus MC\(^\infty\). I: The type free extensional calculus EC\(^\infty\) involving individuals, and the interpreted language ML\(^\infty\) on which MC\(\infty\) is based, Proximity to \(\ell_p\) and \(c_0\) in Banach spaces, On 2-absorbing ideals of commutative semirings, Computer proofs about finite and regular sets: The unifying concept of subvariance., A comparison of variant theories of intact biochemical systems. II: Flux- oriented and metabolic control theories, \(\xi\)-asymptotically uniformly smooth, \(\xi\)-asymptotically uniformly convex, and (\(\beta\)) operators, Cofinally and Summation Closed Sets of Filters, The Szlenk index of injective tensor products and convex hulls, Stability of the asymptotic behavior of solutions of nonlinear differential inequalities relative to a lag in the argument, Hille-Wintner type comparison theorems for differential inequalities, The interpreted type-free modal calculus \(MC^\infty\). III: Ordinals and cardinals im \(MC^\infty\), Einige Kennzeichnungen der Potenz einer Quasitopologie, Initial morphisms in universal algebra, Mechanizing \(\omega\)-order type theory through unification, Radicals of semigroups, Classes of operators determined by ordinal indices, Taxicab geometry in table of higher-order elements, Oscillation and asymptotic behavior of solutions of linear differential inequalities and equations with deviating arguments, Orders, reduction graphs and spectra, Continuous relations, RATIONALLY ℵα-COMPLETE COMMUTATIVE RINGS OF QUOTIENTS, Unique factorization of arithmetic functions, Concerning Bourgain's \(\ell_1\)-index of a Banach space, Point-Countability and Compactness, Continuous incidence relations of topological planes, The interpreted type-free modal calculus MC\(^\infty\). II: Foundations of MC\(^\infty\), On the set of ranges of a transformation semigroup, Maintenance of oscillatory and asymptotic behaviour of solutions of differential inequalities under the effect of advanced and mixed argument, Right projective semigroups with 0, Sometime = always + recursion \(\equiv\) always. On the equivalence of the intermittent and invariant assertions methods for proving inevitability properties of programs