The following pages link to (Q5337203):
Displaying 26 items.
- On the Warsaw interactions of logic and mathematics in the years 1919--1939 (Q598318) (← links)
- Cardinality without enumeration (Q813080) (← links)
- Links between physics and set theory. (Q815623) (← links)
- Galois structures (Q1100464) (← links)
- Existence of maximal points with respect to ordered bipreference relations (Q1176846) (← links)
- On the axiomatic theory of fuzzy sets (Q1319439) (← links)
- The strength of prime separation, sobriety, and compactness theorems (Q1646557) (← links)
- A semantic hierarchy for intuitionistic logic (Q1740610) (← links)
- Birkhoff's representation theorem is equivalent to the axiom of choice (Q1820782) (← links)
- Using relation-algebraic means and tool support for investigating and computing bipartitions (Q2360655) (← links)
- The algebra of functions. III (Q2395961) (← links)
- Die Existenz wohlgeordneter, konfinaler Teilmengen in Ketten und das Auswahlaxiom (Q2535007) (← links)
- Non-constructive properties of cardinal numbers (Q2552500) (← links)
- TRANSFINITE CARDINALS IN PARACONSISTENT SET THEORY (Q2890698) (← links)
- An Extension of a Permutative Model of Set Theory (Q2919602) (← links)
- Amorphe Potenzen kompakter Räume (Q3346924) (← links)
- Constructive complete distributivity. I (Q3469144) (← links)
- (Q4012686) (← links)
- (Q4078008) (← links)
- Einige gruppentheoretische Äquivalente zum Auswahlaxiom (Q4109678) (← links)
- Size-based termination of higher-order rewriting (Q4577817) (← links)
- THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC (Q5274882) (← links)
- The finite intersection principle and genericity (Q5360372) (← links)
- (Q5554961) (← links)
- Small sets with large power sets (Q5661497) (← links)
- Polynomial-time axioms of choice and polynomial-time cardinality (Q6109071) (← links)
