Pages that link to "Item:Q5961491"
From MaRDI portal
The following pages link to Mechanizing set theory. Cardinal arithmetic and the axiom of choice (Q5961491):
Displayed 5 items.
- Ordinal arithmetic: Algorithms and mechanization (Q851144) (← links)
- Explaining Gabriel-Zisman localization to the computer (Q861700) (← links)
- Computer proofs about finite and regular sets: The unifying concept of subvariance. (Q1404990) (← links)
- Mechanizing Nonstandard Real Analysis (Q4504968) (← links)
- The Relative Consistency of the Axiom of Choice Mechanized Using Isabelle⁄zf (Q4827615) (← links)