scientific article
From MaRDI portal
Publication:3257866
zbMath0087.04403MaRDI QIDQ3257866
Publication date: 1960
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Integral representation of local functionals, On the expressiveness of choice quantification, Why mathematics needs engineering, Towards Formal Fault Tree Analysis Using Theorem Proving, Unnamed Item, Strictness analysis and denotational abstract interpretation, Pictures of complete positivity in arbitrary dimension, Operational approach to the topological structure of the physical space, Entry and structures of interest groups in assignment games, Set theory for verification. II: Induction and recursion, Global Dimension of Valuation Rings, How Many Units Can a Commutative Ring Have?, What does the proof of Birnbaum's theorem prove?, Absorbing set forn-person games, Transfinite Constructions in Classical Type Theory, In the Search of a Naive Type Theory, Set theory and the analyst, Can one recognize a function from its graph?, Soft set relations and functions, A mathematical theory of physical units, dimensions, and measures, A naïve way of looking at fuzzy sets, Sets with structure, mappings and fixed point property: fixed point structures, Meir–Keeler Sequential Contractions and Applications, ON THE EUCLIDEAN TRIANGLES WITH PRESCRIBED AREA AND PERIMETER, Efficient edit rule implication for nominal and ordinal data, Pointfree expression and calculation: From quantification to temporal logic, Remembering Mel Henriksen and (some of) his theorems, A set theoretic approach to the symmetry analysis of hexadecahedrane, Topology and Preference Relations, On certain infinite semigroups of order-decreasing transformations i, Well-Partial Orderings and their Maximal Order Types, Sets and plural comprehension, An automated prover for Zermelo-Fraenkel set theory in Theorema, Realizing infinite cardinal numbers via maximal chains of intermediate fields, Function Variational Principles and Normed Minimizers, Nadler-Liu Functional Contractions in Metric Spaces, ON TRIANGLES WITH THE SAME AREA, Commutative Rings with a Prescribed Number of Isomorphism Classes of Minimal Ring Extensions, Ekeland variational principles in 2-local branciari metric spaces, Adding the power-set to description logics, CANTORIAN SET THEORY, Ideals of Square Summable Power Series, Sets and supersets, Gazing: An approach to the problem of definition and lemma use, A General Setting for Dedekind's Axiomatization of the Positive Integers, ON THE LENGTHS OF MAXIMAL CHAINS OF INTERMEDIATE FIELDS IN A FIELD EXTENSION, Infinite Argumentation Frameworks, On relative ranks of full transformation semigroups, Social choice and electoral competition in the general spatial model, Points of view: a conceptual space approach, Unnamed Item, On a relation between algebraic programs and Turing machines, Themes in the evolution of number systems, Relations and functions in multiset context, Asymptotic optimality of Hodges-Lehmann inverse rank likelihood estimators, The challenge of many logics: a new approach to evaluating the role of ideology in Quinean commitment, Unnamed Item, The multiple priors of the open-minded decision maker, From Hilbert's program to a logic tool box, Splitting and reduction heuristics in automatic theorem proving, A NOTE ON INTEGRAL DOMAINS WITH Na-GENERATED QUOTIENT FIELDS, Perturbed geometric contractions in ordered metric spaces, Meir-Keeler sequential contractions and Pata fixed point results, COMPLETENESS OF ÅQVIST’S SYSTEMS E AND F, Some roughness features of fuzzy sets, Infinite generalized friendship graphs, Abstract state machines and computationally complete query languages, Subsets of fields whose nth-root functions are rational functions, What about fuzzy logic's linguistic soundness?, Infinite dimensionality of the post-processing order of measurements on a general state space
