OAI/SetTheory/PartitionPrinciple/Definability/MainTransitionValidityCodes.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. structure OAI.PartitionPilot.Forcing.MainTransitionLaws line 12
2. def OAI.PartitionPilot.Forcing.BoundedFormula.transitionOrderFormula line 30
3. def OAI.PartitionPilot.Forcing.BoundedFormula.transitionEquivarianceFormula line 37
4. def OAI.PartitionPilot.Forcing.BoundedFormula.transitionHeightFormula line 47
5. def OAI.PartitionPilot.Forcing.BoundedFormula.transitionAgreementFormula line 51
6. def OAI.PartitionPilot.Forcing.BoundedFormula.mainTransitionLawsFormula line 61
7. theorem OAI.PartitionPilot.Forcing.BoundedFormula.truth_mainTransitionLawsFormula line 72
8. theorem OAI.PartitionPilot.Forcing.BoundedFormula.realize_mainTransitionLawsFormula line 113