OAI/SetTheory/PartitionPrinciple/Transfinite/GroundCountableLayerCodes.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. structure OAI.PartitionPilot.Forcing.CountableLayerCode line 11
2. def OAI.PartitionPilot.Forcing.BoundedFormula.countableLayerFormula line 17
3. theorem OAI.PartitionPilot.Forcing.BoundedFormula.truth_countableLayerFormula line 21
4. theorem OAI.PartitionPilot.Forcing.BoundedFormula.realize_countableLayerFormula line 29
5. def OAI.PartitionPilot.Forcing.CountableLayerCode.toLayer line 40
6. theorem OAI.PartitionPilot.Forcing.CountableLayerCode.exists_witness line 47