OAI/SetTheory/PartitionConsistency/Forcing/
558 declarations, 0 contain sorry, 0 declared as axioms; 16 files
Files
- AtomicForcing.lean 42 declarations
- ChoiceFailure.lean 18 declarations
- CohenForcing.lean 42 declarations
- Diagrams.lean 33 declarations
- EquivariantMixing.lean 14 declarations
- ForcingNames.lean 82 declarations
- ForcingQuotient.lean 39 declarations
- ForcingTruth.lean 24 declarations
- NameActions.lean 41 declarations
- ProductForcing.lean 16 declarations
- ProductNames.lean 46 declarations
- RelationCalculus.lean 34 declarations
- SupportFilter.lean 13 declarations
- SymmetricChoice.lean 21 declarations
- SymmetricNames.lean 54 declarations
- SymmetricSets.lean 39 declarations