scientific article; zbMATH DE number 473381
From MaRDI portal
Publication:4272993
zbMath0792.04001MaRDI QIDQ4272993
Publication date: 6 December 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Set theory (03Exx)
Related Items
Between atomism and superatomism, Infinite Ordinals and Finite Improvement, Ordinal arithmetic: Algorithms and mechanization, Undirecting membership in models of anti-foundation, Quantum Programs as Kleisli Maps, Distinguished \(C_p(X)\) spaces and the strongest locally convex topology, THE DISCONTINUITY PROBLEM, Concentration of invariant means and dynamics of chain stabilizers in continuous geometries, A method for identifying parameterizations of the compensation election and quadratic voting that admit pure-strategy equilibria, What is worthy of investigation? Philosophical attitudes and their impact on mathematical development by the example of discovering 10-adic numbers, Coalgebras in functional programming and type theory, Coherent beliefs are not always types., Abduction in economics: a conceptual framework and its model, The inclosure scheme and the solution to the paradoxes of self-reference, Controlling formal fibers of principal prime ideals, On injectivity in category of rough sets, Finitely additive beliefs and universal type spaces, Abduction: a categorical characterization, Existence and definability of states of the world, Notes on leximorphic spaces, Factorization in generalized power series, The graph conception of set, Hierarchies of knowledge: an unbounded stairway, An indeterminate universe of sets, From Hilbert's program to a logic tool box, Finitely generated submoduloids and prime submoduloids on a nexus, Fixed points of covering upper and lower approximation operators, Nonsets, FUZZY NEXUS OVER AN ORDINAL, Intensional Couplings in Variable-Structure Models
