scientific article; zbMATH DE number 3210031
From MaRDI portal
Publication:5337203
zbMath0129.00601MaRDI QIDQ5337203
Publication date: 1963
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Using relation-algebraic means and tool support for investigating and computing bipartitions, TRANSFINITE CARDINALS IN PARACONSISTENT SET THEORY, Galois structures, The strength of prime separation, sobriety, and compactness theorems, An Extension of a Permutative Model of Set Theory, Constructive complete distributivity. I, The algebra of functions. III, On the Warsaw interactions of logic and mathematics in the years 1919--1939, Size-based termination of higher-order rewriting, Polynomial-time axioms of choice and polynomial-time cardinality, The finite intersection principle and genericity, Small sets with large power sets, Platonism and the Proto-ontology of Mathematics: Learning from the Axiom of Choice, Unnamed Item, Existence of maximal points with respect to ordered bipreference relations, A semantic hierarchy for intuitionistic logic, Einige gruppentheoretische Äquivalente zum Auswahlaxiom, Amorphe Potenzen kompakter Räume, Unnamed Item, Die Existenz wohlgeordneter, konfinaler Teilmengen in Ketten und das Auswahlaxiom, Birkhoff's representation theorem is equivalent to the axiom of choice, Non-constructive properties of cardinal numbers, Unnamed Item, On the axiomatic theory of fuzzy sets, Cardinality without enumeration, Links between physics and set theory., THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC
