OAI/SetTheory/PartitionPrinciple/Definability/GroundSemanticPreparedWitnessSelections.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.PartitionPilot.Forcing.TransitiveGround.semanticStructuralPreparationWitness_bounds line 72
2. theorem OAI.PartitionPilot.Forcing.TransitiveGround.semanticStructuralPreparationWitness_mem line 156
3. theorem OAI.PartitionPilot.Forcing.TransitiveGround.semanticStructuralPrefix_storedPreparationFamily_act_support line 262
4. theorem OAI.PartitionPilot.Forcing.TransitiveGround.semanticStructuralSupportPreparedCondition_act line 439
5. theorem OAI.PartitionPilot.Forcing.TransitiveGround.semanticStructuralTrace_storedPreparation_request_bounds line 595
6. theorem OAI.PartitionPilot.Forcing.TransitiveGround.semanticStructuralTrace_preparedWitnessSelection line 642