Publication:5598318
From MaRDI portal
zbMath0200.00066MaRDI QIDQ5598318
Publication date: 1969
03-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations
Related Items
Einige Kennzeichnungen der Potenz einer Quasitopologie, Stability of the asymptotic behavior of solutions of nonlinear differential inequalities relative to a lag in the argument, \(| End A | = | Con A | = | Sub A | = 2^{| A|}\) for any uncountable 1-unary algebra, Oscillation and asymptotic behavior of solutions of linear differential inequalities and equations with deviating arguments, Continuous incidence relations of topological planes, 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, A comparison of variant theories of intact biochemical systems. II: Flux- oriented and metabolic control theories, Sometime = always + recursion \(\equiv\) always. On the equivalence of the intermittent and invariant assertions methods for proving inevitability properties of programs, The number of endomorphisms of an infinite algebra, The interpreted type-free modal calculus \(MC^\infty\). III: Ordinals and cardinals im \(MC^\infty\), Mechanizing \(\omega\)-order type theory through unification, Radicals of semigroups, Orders, reduction graphs and spectra, Concerning Bourgain's \(\ell_1\)-index of a Banach space, Perfect sequences of chain-complete posets, Proximity to \(\ell_ 1\) and distortion in asymptotic \(\ell_ 1\) spaces, 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, Computer proofs about finite and regular sets: The unifying concept of subvariance., Right projective semigroups with 0, Some analytic features of algebraic data, The interpreted type-free modal calculus MC\(^\infty\). II: Foundations of MC\(^\infty\), On the bifurcations of nonautonomous systems with compound critical points, Continuous relations, Unique factorization of arithmetic functions, Hille-Wintner type comparison theorems for differential inequalities, Examples of star operations on integral domains, On the behavior of nonoscillatory solutions of differential equations with deviating argument, Initial morphisms in universal algebra, Cofinally and Summation Closed Sets of Filters, Unnamed Item, On the Homotopy Index for Infinite-Dimensional Semiflows, Point-Countability and Compactness
