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):
Displaying 11 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)
- From LCF to Isabelle/HOL (Q2280211) (← links)
- First steps towards a formalization of forcing (Q2333671) (← links)
- Mechanizing Nonstandard Real Analysis (Q4504968) (← links)
- Computational logic: its origins and applications (Q4559535) (← links)
- The Relative Consistency of the Axiom of Choice Mechanized Using Isabelle⁄zf (Q4827615) (← links)
- Formalization of Forcing in Isabelle/ZF (Q5049004) (← links)
- (Q5875427) (← links)
- The formal verification of the ctm approach to forcing (Q6151819) (← links)
