OAI/SetTheory/PartitionPrinciple/Definability/SerializedChronologyFormulas.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.PartitionPilot.Forcing.ChronologyLayerLookup line 10
2. def OAI.PartitionPilot.Forcing.BoundedFormula.chronologyLayerLookupFormula line 18
3. theorem OAI.PartitionPilot.Forcing.BoundedFormula.truth_chronologyLayerLookupFormula line 25
4. def OAI.PartitionPilot.Forcing.SetFormula.chronologyLayerClause line 35
5. def OAI.PartitionPilot.Forcing.SetFormula.chronologyLayerEntriesFormula line 40
6. theorem OAI.PartitionPilot.Forcing.TransitiveGround.realize_chronologyLayerClause line 51
7. theorem OAI.PartitionPilot.Forcing.TransitiveGround.realize_chronologyLayerEntriesFormula line 73
8. def OAI.PartitionPilot.Forcing.SetFormula.chronologyLayerFunctionFormula line 122
9. def OAI.PartitionPilot.Forcing.SetFormula.serializedChronologyFormula line 126
10. theorem OAI.PartitionPilot.Forcing.TransitiveGround.realize_chronologyLayerFunctionFormula line 141
11. theorem OAI.PartitionPilot.Forcing.TransitiveGround.realize_serializedChronologyFormula line 161