OAI/SetTheory/PartitionPrinciple/Definability/GroundSemanticAlignedLargerCutTests.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.PartitionPilot.Forcing.TransitiveGround.semanticStructuralTrace_tests_at_valid_larger_cut line 39
2. theorem OAI.PartitionPilot.Forcing.TransitiveGround.semanticStructuralPrefix_stageCode line 138
3. theorem OAI.PartitionPilot.Forcing.TransitiveGround.semanticStructuralPrefix_refinementData_entry line 230
4. theorem OAI.PartitionPilot.Forcing.TransitiveGround.semanticStructuralPrefix_indexField_entry line 278
5. theorem OAI.PartitionPilot.Forcing.TransitiveGround.semanticStructuralPrefix_index_mem_history line 301
6. theorem OAI.PartitionPilot.Forcing.TransitiveGround.semanticStructuralPrefix_aligned_cut_tests line 402
7. theorem OAI.PartitionPilot.Forcing.TransitiveGround.semanticStructuralPrefix_aligned_cut_tests_at_larger_cut line 573