scientific article; zbMATH DE number 3103212

From MaRDI portal
Publication:5841991

zbMath0063.00402MaRDI QIDQ5841991

Garrett. Birkhoff

Publication date: 1940


Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.



Related Items

Principles for the design of billiards with nonvanishing Lyapunov exponents, Characterizations of pseudocomplemented lattices by excluded 0-sublattices, The regular-injective envelope of \(S\)-posets, On the power-set \(Q\)-algebras, A construction of all normal subgroup lattices of 2-transitive automorphism groups of linearly ordered sets, On properties of infimal topology of a map space, Crypt-equivalent algebraic specifications, An algebraic synthesis of the foundations of logic and probability, Analysis of multiple partially ordered responses to belief items with don't know option, A result for \(O_{2}\)-convergence to be topological in posets, On order convergence of nets, The archimedean property for t-norms in interval-valued fuzzy set theory, Adams conditionals and non-monotonic probabilities, Reconfiguring system hierarchies with multi-valued logic, The equivalence between fuzzy Mealy and fuzzy Moore machines, Recursive decomposition and bounds of the lattice of Moore co-families., Normal subgroups and elementary theories of lattice-ordered groups, Editors' introduction: The third life of quantum logic: Quantum logic inspired by quantum computing, Pseudo equality algebras, Adjunctions on the lattices of partitions and of partial partitions, Function spaces and fixed point properties: A Galois connection, Prime elements of non-integral quantales and their applications., On the creative role of axiomatics. The discovery of lattices by Schröder, Dedekind, Birkhoff, and others, Rules for aggregating information, FF-Banachverbandsalgebren, Ordinal sums and idempotents of copulas, Extension of continuous measures, Intransitive indifference and incomparability, Idempotent block splitting on partial partitions. I: Isotone operators, Die Endlichkeit einiger modularer Gruppen, Boolean centre of a universal algebra, Order topology and bi-Scott topology on a poset, Representation of Nelson algebras by rough sets determined by quasiorders, Crawley completions of residuated lattices and algebraic completeness of substructural predicate logics, Preference intensity and cardinality, Nash equilibrium with strategic complementarities, On canonicity of poset expansions, Endolocality meets homomorphism-homogeneity: A new approach in the study of relational algebras, On partially ordered semigroups and an abstract set-difference, The optimization problem over a distributive lattice, Representation theorems for \(Q\)-algebras, The order completion method for systems of nonlinear PDEs: pseudo-topological perspectives, Anamorphoses and flat morphological operators on power lattices, Reconstructing masks from markers in non-distributive lattices, The conjunctive model of hierarchical classes, Algorithms for \(k\)-meet-semidistributive lattices, Les treillis pseudocomplémentés finis. (The finite pseudocomplemented lattices), Lattice flows in networks, Toggles of openings, and a new family of idempotent operators on partially ordered sets, Reverse mathematics and order theoretic fixed point theorems, The SIMCLAS model: simultaneous analysis of coupled binary data matrices with noise heterogeneity between and within data blocks, Intrinsic metrics preserving maps on Abelian lattice-ordered groups, Banaschewski's theorem for \(S\)-posets: regular injectivity and completeness., Logarithmic concavity for edge lattices of graphs, Storage and recall capabilities of fuzzy morphological associative memories with adjunction-based learning, Eine Axiomatik halbovoidaler Laguerre-Geometrien mit beliebigem Radikal, Are dualities appropriate for duality theories in optimization?, Una caratterizzazione dei reticoli modulari a catene limitate-finite, Segmented structures, Affine relationships among variables of a program, On the lattices of \(L\)-topologies, Membership values in arrow categories, Characteristic triangles of closure operators with applications in general algebra, Büschelsätze zur Charakterisierung projektiv darstellbarer Zykelebenen, The CHIC model: a global model for coupled binary data, A topological representation theory for lattices, Existence results for operator and differential equations and inclusions, An incremental algorithm to construct a lattice of set intersections, Charting the completeness frontier of inference systems for multivalued dependencies, A note on constructing finite sublattices of free lattices, Constructing finite sublattices of free lattices, On the Lebesgue decomposition for non-additive functions, Isometries in autometrized lattice ordered groups, Modular functions: uniform boundedness and compactness, Image analysis with partially ordered Markov models., Lattice of subalgebras of the ring of continuous functions and Hewitt spaces, Non-measurability properties of interpolation vector spaces, Mass problems associated with effectively closed sets, A generalization of Boolean rings, Sui gruppi finiti per cui il reticolo dei sottogruppi di composizione e distributivo, More triviality, Quivers of associative rings., \(n\)-normal residuated lattices, Subspaces in Hermitian spaces of countable dimension. II, Preference through indifference: A topological approach, Decidable and undecidable MV-algebras, Partial-state formalism and the object-subject split in quantum mechanics, Lattice problems originating in quadratic space theory, Tensor products for bounded posets revisited, Canonizing partition theorems: Diversification, products, and iterated versions, Complementing lattice-ordered groups: The projectable case, Projectable and strongly projectable lattice-ordered groups, Lattice of keychains, Finiteness based results in BL-algebras, Regular grammars with truth values in lattice-ordered monoid and their languages, Orthogonal Cayley-Klein groups, Schröder and group theory, Bimonotone linear inequalities and sublattices of \(\mathbb R^n\), Łukasiewicz-Moisil relation algebras, Using interval arithmetic to prove that a set is path-connected, Jónsson's contributions to lattice theory, Extending the algebras of design, Logic of temporal attribute implications, Robinson lattices and their spectra, Nuclear ranges in implicative semilattices, Implicative commutative semigroups are equivalent to a class of BCK algebras, Covering symmetric sets of the Boolean cube by affine hyperplanes, \(L\)-fuzzy sets and isomorphic lattices: are all the ``new results really new?, Kalmbach outer measures and valuations, On extremal domains and codomains for convolution of distributions and fractional calculus, Equational compactness of bi-frames and projection algebras, On the lattice formed by all normal subloops of a finite loop, Attribute-incremental construction of the canonical implication basis, Dedekind-MacNeille completion of \(n\)-ordered sets, Hahn-Banach theorems for MV-algebras, Liapunov theorem for modular functions, Minimal orthomodular lattices, Valuations on complemented lattices, Seminear-rings characterized by their \({\mathcal S}\)-ideals. I, Archimedeaness and additive utility on totally ordered semigroups, Duality for algebras of relevant logics, Lattice operators underlying dynamic systems, Ideals in ortholattices, Bell inequalities, and simultaneously definite properties, An investigation on ordered algebraic hyperstructures, Lattice polyhedra and submodular flows, The Kosko subsethood fuzzy associative memory (KS-FAM): mathematical background and applications in computer vision, Digital imaging: a unified topological framework, Sparsely connected autoassociative lattice memories with an application for the reconstruction of color images, Interval-valued rank in finite ordered sets, Semantic analysis of orthologic, Deriving weights from a pairwise comparison matrix over an alo-group, State-dependent implication and equivalence in quantum logic, Representation theory of Goguen categories., Coding tree languages based on lattice-valued logic, Orders for simplifying partial partitions, On meet and join matrices associated with incidence functions., The presence of lattice theory in discrete problems of mathematical social sciences. Why., Near approximations in \(G_m\)-closure spaces, Duality and separation theorems in idempotent semimodules., Decomposition of measures and modular functions, On \(\alpha\)-multiplier on almost distributive lattices, Rowmotion and increasing labeling promotion, \(\mathcal{MN}\)-convergence and \(\lim\)-\(\inf_{\mathcal{M}}\)-convergence in partially ordered sets, A semantic hierarchy for intuitionistic logic, Conjunctive join-semilattices, On derivations of lattices, The cone metric of a Busemann space, On certain distributive lattices of subgroups of finite soluble groups., Time horizons, lattice structures, and welfare in multi-period matching markets, Games with ordered outcomes, Structure and representation of semimodules over inclines, On polymorphism-homogeneous relational structures and their clones., Tucker3 hierarchical classes analysis, Semimodularity and the Jordan-Hölder theorem in posets, with applications to partial partitions, Some remarks on pseudotrees, Powers of ordered sets, \(\mathcal{G}\)-distance and \(\mathcal{G}\)-decomposition for improving \(\mathcal{G}\)-consistency of a pairwise comparison matrix, Standard completeness theorem for \(\Pi\)MTL, The relationships among several types of fuzzy automata, Definable operators on stable set lattices, Schedulers and finishers: on generating and filtering the behaviours of an event structure, On the dualization in distributive lattices and related problems, Relational division in rank-aware databases, Translating between the representations of a ranked convex geometry, Galois connections for bilattices, Semitopological groups, semiclosure semigroups and quantales, Generalized absolute values, ideals and homomorphisms in mixed lattice groups, Thermodynamic formalism for random weighted covering systems, The core of games on convex geometries, Equivalence: an attempt at a history of the idea, Summation of quasi-vectors on Boolean tribes and its application to quantum theories. I: Mathematically precise theory of P.A.M. Dirac's delta function, Metric semilattices, Functionally complete algebras generating distributive and permutable classes, A Cauchy completion for function rings, Simplicial elimination schemes, extremal lattices and maximal antichain lattices, Tight \(t\)-designs on one shell of Johnson association schemes, Generalized persistence diagrams for persistence modules over posets, New results on perturbation-based copulas, Ordering the local subsemigroups of a semigroup, Completions for partially ordered semigroups, A framework for the systematic determination of the posets on \(n\) points with at least \(\tau \cdot 2^n\) downsets, Rank axiom of modular supermatroids: a connection with directional DR submodular functions, On the word problem for the modular lattice with four free generators, Bishop-Phelps-Bollobás property for positive operators when the domain is \(C_0(L)\), Encoding and ordering \(X\)-cactuses, Interpolation by lattice polynomial functions: a polynomial time algorithm, Fast simulation of particulate suspensions enabled by graph neural network, Complementing lattice-ordered groups: The finite-valued case, Incidence and lattice calculus with applications to stochastic geometry and image analysis, \(n\)-derivations and \((n,m)\)-derivations of lattices, Rickart residuated lattices, Down and up operators associated to fuzzy relations and t-norms: A definition of fuzzy semi-ideals, Distributive laws for concept lattices, Probabilistic topologies induced by \(L\)-fuzzy uniformities, Morphological analysis of discrete random shapes, Upper-continuous and compactly generated properties of lattice of \(L\)- fuzzy modules, Fully idempotent semirings, Inf-structuring functions: a unifying theory of connections and connected operators, Frameworks for abstract interpretation, Subrecursive equivalence relations and (non-)closure under lattice operations, Equivalent conditions for modularity, ORTHOGONALITIES IN THE MULTIPLICATIVE GROUP Q+, Some Properties of Residuated Lattices, Analysis of Complex and Heterogeneous Data Using FCA and Monadic Predicates, Leon Henkin the Reviewer, Unnamed Item, On joint distribution in quantum logics. I. Compatible observables, Strongly hollow elements in the lattices, Cardinal sums of linearly ordered groups, Über die Grenzwerte in Verbänden, Über einen Satz der Theorie der Baireschen Funktionen und Borelschen Mengen, Notes on Banach space. X. Vitali-Hahn-Saks' theorem and k-spaces, Notes on Banach space. XI. Banach lattices with positive bases, Unnamed Item, The Radon-Nikodym theorem of traces for a certain operator algebra, Normal states of commutative operator algebras, Sur les idéaux irréductibles d'un demi-groupe, Sugli elementi modulari in un \(p\)-gruppo, Unnamed Item, Unnamed Item, Unnamed Item, Lattice structures of automata, A new type assignment for λ-terms, Three roads to complete lattices: orders, compatibility, polarity, The B-topology on \(S^{\ast}\)-doubly quasicontinuous posets, A novel framework for lim-inf convergence in posets, Sur des groupes isomorphes au groupe de multiplication d'une boucle., A non-distributive logic for semiconcepts and its modal extension with semantics based on Kripke contexts, Hidden symmetries and large \(N\) factorisation for permutation invariant matrix observables, Deep graphs—A general framework to represent and analyze heterogeneous complex systems across scales, Irregularity index for vector-valued morphological operators, Unnamed Item, Partial separability/entanglement violates distributive rules, Professor Ján Jakubík sexagenarian, Embedding of semilattices into distributive lattices, B-frame duality, On a Category of Extensional Fuzzy Rough Approximation L-valued Spaces, Some Results on Extension of Lattice-Valued XOR, XOR-Implications and E-Implications, Elliptic problems with lack of compactness via a new fixed point theorem, Unnamed Item, Unnamed Item, Modal Semirings Revisited, Lattice uniformities inducing unbounded convergence, Hilbert algebras with Hilbert-Galois connections, Many-Valued Preorders I: The Basis of Many-Valued Mathematics, Unnamed Item, A note on subdirect decompositions of idempotent semigroups, Comparability between Ramified sets, The knaster-tarski fixed-point theorem is not uniformly constructive, A probabilistic solution of problem 111. of G. Birkhoff, The order topology on duals of $C^\ast $-algebras and von Neumann algebras, Unnamed Item, Normal Subgroups of Doubly Transitive Automorphism Groups of Chains, A Primal-Dual Algorithm for Weighted Abstract Cut Packing, Decomposition of ℓ-group-valued measures, Topological structures in rough set theory: A survey, Bishop-Phelps-Bollobás property for positive operators when the domain is L∞, Unnamed Item, Pre-Hausdorff and Hausdorff objects in the category of quantale-valued closure spaces, Unnamed Item, Unnamed Item, Galois Connections in Categorial Type Logic, Unnamed Item, Sur la théorie générale des ensembles partiellement ordonnés, I, Some applications of topology to program semantics, Unnamed Item, Doubly stochastic measures with prescribed support, Compressed pseudo-lattices, Unnamed Item, Unnamed Item, Unnamed Item, Algebraic and Categorical Aspects of Quantales, Unnamed Item, Exploiting structure in piecewise-linear homotopy algorithms for solving equations, Unnamed Item, Denjoy integral and Henstock-Kurzweil integral in vector lattices, I, Denjoy integral and Henstock-Kurzweil integral in vector lattices, II, Some Notes on Meet-Irreducible Subgroups of Finite Groups, MacNeille Completion and Buchholz' Omega Rule for Parameter-Free Second Order Logics, Approximation operators in optimization theory, On Ordered Semigroups Containing Covered Ideals, Analysis of Early Aspects in Requirements Goal Models: A Concept-Driven Approach, Non Contradiction, Excluded Middle, and Fuzzy Sets, A foundation for probabilistic beliefs with or without atoms, Fixed points with respect to the L-slice homomorphism $\sigma _{a} $, Rechtskomplementäre Halbgruppen, Axiome, Polynome, Kongruenzen, Rechtskomplementäre Halbgruppen. Axiome, Polynome, Kongruenzen. (Right- complementary semigroups. Axioms, polynomials, congruences), Vertauschbarkeit von Partitionen. (Commutability of positions.), Embedding the dual of \(\Pi^\infty\) in the lattice of equational classes of semigroups., Information Measures of Frequency Distributions with an Application to Labeled Graphs, Varieties of algebras, Alignments closed under a binary product, Computing the Degree of Determinants via Discrete Convex Optimization on Euclidean Buildings, RALL: Machine-supported proofs for relation algebra, Uniformität des Verbandes der Partitionen, Partial algebras for Łukasiewicz logics and its extensions, Solution to open problems on fuzzy filters in logical algebras and secure communication encoding scheme on filters, Latent Complete-Lattice Structure of Hilbert-Space Projectors, Unnamed Item, Two extension theorems. Modular functions on complemented lattices, Unnamed Item, On uniform convergence of measures, Rings of Continuous Integer-Valued Functions and Nonstandard Arithmetic, Unnamed Item, Approximate positional analysis of fuzzy social networks, Weakly weighted generalised quasi-metric spaces and semilattices, Constructing \(Q\)-algebras from \(Q\)-modules, Unnamed Item, On distributive sublattices of a lattice, On bases of closure operators on complete lattices, On the number of distinct \(k\)-decks: enumeration and bounds, A triadic generalisation of the Boolean concept lattice, A Comparison of Sets of Recognizable Weighted Tree Languages Over Specific Sets of Bounded Lattices, Reflections on a scientific career and its possible legacy, Rings with transitive chaining of idempotents, Uniqueness and stability of equilibrium states for random non-uniformly expanding maps, A generalisation of flat morphology. II: Main properties, duality and hybrid operators, On a statement of O. Frink about free pseudo-complemented meet-semilattices, Selection of appropriate bonds between \(\mathcal{L}\)-fuzzy formal contexts for recommendation tasks, Unnamed Item, Unnamed Item, Unnamed Item, A unified theory of minimal prime ideals, Matching Theory for Combinatorial Geometries, Unnamed Item, [https://portal.mardi4nfdi.de/wiki/Publication:5731810 On the foundations of combinatorial theory I. Theory of M�bius Functions], Interface of global and local semantics in a self-navigating system based on the concept lattice, Big mathematical systems, Discrete convexity and polynomial solvability in minimum 0-extension problems, Operators on partial inner product spaces: towards a spectral analysis, On the representation of 𝜎-complete Boolean algebras, A proof of the Hahn-Birkhoff theorem. Notes on Banach space, X, On a non-Abelian theory of algebraic functions, On representation of partially ordered sets, Sur quelques ensembles ordonnés linéairement, Kippenhahn's Theorem for Joint Numerical Ranges and Quantum States, Generalized inverses of Boolean tensors via the Einstein product, Quantum monadic algebras, ALGEBRAIC EXPANSIONS OF LOGICS