scientific article; zbMATH DE number 3280051

zbMATH Open0175.27001MaRDI QIDQ5565097FDOQ5565097

Authors: N. Bourbaki 

Publication date: 1968

Title of this publication is not available (Why is that?)

zbMATH Keywords

set theory

Cited In (only showing first 100 items - show all)

• On solvability of an initial-boundary-value problem for equations of magnetohydrodynamics
• The outflow ranking method for weighted directed graphs
• Weak comparability of well orderings and reverse mathematics
• Fixed point theorems and semantics: A folk tale
• Cyclic-type cohomology of strict inductive limits of Fréchet algebras
• A note on defectless extensions of henselian valued fields
• Pro-torsion completions of abelian groups
• A language for generic programming in the large
• The logicist manifesto: At long last let logic-based artificial intelligence become a field unto itself
• On Bochner-Kolmogorov Theorem
• Balayage of measures with respect to (sub-)harmonic functions
• A scalable module system
• Ranking by outdegree for directed graphs
• Viewing \({\lambda}\)-terms through maps
• A secret sharing scheme with a short share realizing the \((t,n)\) threshold and the adversary structure
• Diagrams in mathematics
• Almost complete spaces, hypercomplete spaces and related mapping theorems
• New results on pole-shifting for parametrized families of systems
• Cohomology and self-dual normal bases for infinite Galois field extensions
• Properties that are productive, closed-hereditary and surjective
• Admissibility and assumption
• Generalized dynamic programming for multicriteria optimization
• Reinflating the semantic approach
• Axiomatization and models of scientific theories
• The asymptotic values of a polynomial function on the real plane
• Algorithmic Thomas decomposition of algebraic and differential systems
• Fuzzy sets and sheaves. I: Basic concepts
• Nilpotent-by-finite groups with the same finite images
• On the spectrum of the Burnside ring
• On the theory of realization of quasilinear systems described by differential equations in a Hilbert space
• Computer supported mathematics with \(\Omega\)MEGA
• On the semisimple tensor product of MV-algebras
• Solving the open bosonic string in perturbation theory
• Effective descent maps of topological spaces
• Theory of symbolic expressions. I
• Countability and sequentiality in fuzzy topological spaces
• Recursive characterization of computable real-valued functions and relations
• Formality of cochains on BG$BG$
• A fixpoint theory for non-monotonic parallelism
• External and internal syntax of the \(\lambda \)-calculus
• Generating conditions for preserving the properties of controlled discrete event systems
• Existence of compatible families of proper regular conditional probabilities
• Basic concepts of structuralism
• ON FINITE TAME EXTENSIONS OF VALUED FIELDS
• A representational approach to reduction in dynamical systems
• Scientific processes and social processes
• Innovations in computational type theory using Nuprl
• Definability and invariance
• Inverse semigroups with certain types of partial automorphism monoids
• On theoreticity
• Outer measures and outer topologies
• A model for science kinematics
• Banach spaces and totally convex spaces I
• Algebras with scalar involution revisited
• The existence of an inverse limit of an inverse system of measure spaces -- a purely measurable case
• The semantic view of theories and higher-order languages
• Banach spaces and totally convex spaces II
• Finarity substitute for continuous topology
• The Picard group of a reduced G-algebra
• Linear maps preserving \(r\)-potents of tensor products of matrices
• A discussion on quantum non-individuality
• Theory structuralism in a rigid framework
• Path-based mathematical morphology on tensor fields
• Bounded solutions of finite-difference equations
• Remarks on the theory of quasi-sets
• Theory and applications of generalized dynamic programming: An overview
• An axiomatic basis of space-time theory. I: Construction of a causal space with coordinates
• Projective limit techniques for the infinite dimensional moment problem
• Normal bases of a family of endomorphisms of a metrized vector bundle
• On the implication of properties of related systems: a method for obtaining implication conditions and application examples
• The blowup closure of a set of ideals with applications to \(TI\) closure.
• Asymptote of additive functionals of semi-Markov processes with arbitrary sets of states
• Fibre Tensor Product Bundles
• Mathematical structure of unit systems
• A combinatorial theory of minimal social situations
• Involutions on sheaves of endomorphisms of locally finitely presented \(\mathscr{O}_X\)-modules
• Formal Proof: Reconciling Correctness and Understanding
• Domains of Sciences, Universes of Discourse and Omega Arguments
• Desingularization of regular algebras
• Implementation of Bourbaki's \textit{Elements of mathematics} in Coq. II: From natural numbers to real numbers
• The parallel structure of mathematical reasoning
• Kinematic projective quantum states for loop quantum gravity coupled to tensor fields
• On the representation theory of the Bondi-Metzner-Sachs group and its variants in three space-time dimensions
• Local-global problem for Drinfeld modules.
• A theorem prover for a computational logic
• Transport of structure in higher homological algebra
• A separation axiom of F. Riesz
• Mathematics and philosophy (on the dialectical development of mathematics)
• A recursive approach to the solution of abstract linear equations and the tau method
• A CHARACTERIZATION OF KRASNER'S CONSTANT
• On the existence of equilibria in economies with infinitely many agents and commodities. The direct system of economies
• An approach to the analysis of the underlying structure of visual space using a generalized notion of visual pattern recognition
• ITBM-constructive completions of algebras
• A formal description of representation theorems for constitutive functions
• Well-posedness of the Kadomtsev-Petviashvili hierarchy, Mulase factorization, and Frölicher Lie groups
• Axiomatization of Jeffrey utilities
• On filtration of Clifford \(\mathcal{A}\)-algebras and localization of \(\mathcal{A}\)-modules
• Maximal feebly compact spaces
• Divisibility on countably dense ideals and countable orthocompleteness of modules
• The core of a coalition production economy

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5565097)