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 (27)
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
This page was built for publication:
