Pages that link to "Item:Q4894722"
From MaRDI portal
The following pages link to On power set in explicit mathematics (Q4894722):
Displaying 12 items.
- Explicit mathematics: power types and overloading (Q556826) (← links)
- What is so special with the powerset operation? (Q1882625) (← links)
- The powerset operator on abstract interpretations (Q1960538) (← links)
- Truth and the philosophy of mathematics (Q2080591) (← links)
- Systems of explicit mathematics with non-constructive \(\mu\)-operator and join (Q2563984) (← links)
- 2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000. La Sorbonne, Paris, France, July 23-31, 2000 (Q2732529) (← links)
- THE UNIVERSAL SET AND DIAGONALIZATION IN FREGE STRUCTURES (Q3094184) (← links)
- About Truth and Types (Q3305551) (← links)
- (Q3362863) (← links)
- Power-like models of set theory (Q4328832) (← links)
- Power types in explicit mathematics? (Q4382463) (← links)
- (Q5617529) (← links)