OAI/SetTheory/PartitionPrinciple/Definability/GroundSemanticStructuralPrefixPreparationInputs.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.PartitionPilot.Forcing.TransitiveGround.semanticStructuralTrace_internally_closed line 39
2. theorem OAI.PartitionPilot.Forcing.TransitiveGround.semanticStructuralTrace_jointZF line 134
3. theorem OAI.PartitionPilot.Forcing.TransitiveGround.semanticStructuralTrace_sequenceReflection line 262
4. theorem OAI.PartitionPilot.Forcing.TransitiveGround.semanticStructuralTrace_jointZF_sequenceReflection line 296
5. theorem OAI.PartitionPilot.Forcing.TransitiveGround.semanticStructuralPrefix_preparation_inputs line 409