scientific article; zbMATH DE number 3280051
From MaRDI portal
Publication:5565097
zbMath0175.27001MaRDI QIDQ5565097
Publication date: 1968
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (only showing first 100 items - show all)
Effective descent maps of topological spaces ⋮ Perfect Category-Graded Algebras ⋮ Projective limit techniques for the infinite dimensional moment problem ⋮ Fibre Tensor Product Bundles ⋮ Admissibility and assumption ⋮ Balayage of measures with respect to (sub-)harmonic functions ⋮ Cyclic-type cohomology of strict inductive limits of Fréchet algebras ⋮ A fixpoint theory for non-monotonic parallelism ⋮ On the existence of equilibria in economies with infinitely many agents and commodities. The direct system of economies ⋮ Recursive characterization of computable real-valued functions and relations ⋮ Normal bases of a family of endomorphisms of a metrized vector bundle ⋮ Generating conditions for preserving the properties of controlled discrete event systems ⋮ The asymptotic values of a polynomial function on the real plane ⋮ Innovations in computational type theory using Nuprl ⋮ Computer supported mathematics with \(\Omega\)MEGA ⋮ Countability and sequentiality in fuzzy topological spaces ⋮ New results on pole-shifting for parametrized families of systems ⋮ Nilpotent-by-finite groups with the same finite images ⋮ A universal algebraic set theory built on mereology with applications ⋮ Theory and applications of generalized dynamic programming: An overview ⋮ On the spectrum of the Burnside ring ⋮ Ordered pair of normalized real numbers ⋮ Fuzzy sets and sheaves. I: Basic concepts ⋮ Theory structuralism in a rigid framework ⋮ Remarks on the theory of quasi-sets ⋮ A scalable module system ⋮ The Parallel Structure of Mathematical Reasoning ⋮ Well-posedness of the Kadomtsev-Petviashvili hierarchy, Mulase factorization, and Frölicher Lie groups ⋮ A formal description of representation theorems for constitutive functions ⋮ The existence of an inverse limit of an inverse system of measure spaces -- a purely measurable case ⋮ On theoreticity ⋮ Properties that are productive, closed-hereditary and surjective ⋮ Spectral multipliers on 2-step stratified groups. I. ⋮ Axiomatization of Jeffrey utilities ⋮ Ranking by outdegree for directed graphs ⋮ Axiomatization and models of scientific theories ⋮ Algorithmic Thomas decomposition of algebraic and differential systems ⋮ Basic concepts of structuralism ⋮ Scientific processes and social processes ⋮ Generalized dynamic programming for multicriteria optimization ⋮ The Picard group of a reduced G-algebra ⋮ The core of a coalition production economy ⋮ Divisibility on countably dense ideals and countable orthocompleteness of modules ⋮ A numerical treatment of the two-dimensional multi-term time-fractional mixed sub-diffusion and diffusion-wave equation ⋮ Weak comparability of well orderings and reverse mathematics ⋮ Kinematic projective quantum states for loop quantum gravity coupled to tensor fields ⋮ Fixed point theorems and semantics: A folk tale ⋮ Algebras with scalar involution revisited ⋮ Foundations of lexicographic utility ⋮ Reinflating the semantic approach ⋮ Local-global problem for Drinfeld modules. ⋮ Definability and invariance ⋮ On the arithmetic of modified idèle class groups ⋮ A representational approach to reduction in dynamical systems ⋮ Almost complete spaces, hypercomplete spaces and related mapping theorems ⋮ Fuzzy sets as named sets ⋮ Desingularization of regular algebras ⋮ Linear maps preserving \(r\)-potents of tensor products of matrices ⋮ On solvability of an initial-boundary-value problem for equations of magnetohydrodynamics ⋮ Nicolas Bourbaki and the concept of mathematical structure ⋮ Pro-torsion completions of abelian groups ⋮ On the implication of properties of related systems: a method for obtaining implication conditions and application examples ⋮ The outflow ranking method for weighted directed graphs ⋮ The logicist manifesto: At long last let logic-based artificial intelligence become a field unto itself ⋮ Transport of structure in higher homological algebra ⋮ A secret sharing scheme with a short share realizing the \((t,n)\) threshold and the adversary structure ⋮ Domains of Sciences, Universes of Discourse and Omega Arguments ⋮ A language for generic programming in the large ⋮ Mathematics and philosophy (on the dialectical development of mathematics) ⋮ External and internal syntax of the \(\lambda \)-calculus ⋮ An approach to the analysis of the underlying structure of visual space using a generalized notion of visual pattern recognition ⋮ On Bourbaki's axiomatic system for set theory ⋮ A recursive approach to the solution of abstract linear equations and the tau method ⋮ Reflective Lorentzian lattices of signature \((5,1)\) ⋮ Existence of a utility on a topological semigroup ⋮ Asymptote of additive functionals of semi-Markov processes with arbitrary sets of states ⋮ On the semisimple tensor product of MV-algebras ⋮ Diagrams in mathematics ⋮ Path-Based Mathematical Morphology on Tensor Fields ⋮ Viewing \({\lambda}\)-terms through maps ⋮ On the theory of realization of quasilinear systems described by differential equations in a Hilbert space ⋮ The semantic view of theories and higher-order languages ⋮ Atomatics as mathematical modelling and knowledge representation. Applications to systems analysis in computer and information sciences ⋮ An axiomatic basis of space-time theory. I: Construction of a causal space with coordinates ⋮ Bounded solutions of finite-difference equations ⋮ Incompleteness, Undecidability and Automated Proofs ⋮ Outer measures and outer topologies ⋮ Primäre abelsche Gruppen mit isomorphen Gruppen von Endomorphismen ⋮ Theory of symbolic expressions. I ⋮ Structural stability of market models ⋮ Maximal feebly compact spaces ⋮ Cohomology and self-dual normal bases for infinite Galois field extensions ⋮ The blowup closure of a set of ideals with applications to \(TI\) closure. ⋮ Analytic extension of locally defined Riemannian manifolds ⋮ On the algebraic and arithmetical structure of generalized polynomial algebras ⋮ Finarity substitute for continuous topology ⋮ A model for science kinematics ⋮ Bourbaki's structure theory in the problem of complex systems simulation models synthesis and model-oriented programming ⋮ Involutions on sheaves of endomorphisms of locally finitely presented \(\mathscr{O}_X\)-modules ⋮ Knot groups whose bases are abelian
This page was built for publication:
