OAI/Computability/DegreeRigidity/OrdinalCodes/OmegaModelSyntax.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.TuringRigidity.OmegaModelCore.OmegaData.push line 11
2. def OAI.TuringRigidity.OmegaModelCore.OmegaData.Eval line 15
3. theorem OAI.TuringRigidity.OmegaModelCore.OmegaData.collapse_eval line 22
4. def OAI.TuringRigidity.OmegaModelCore.OmegaData.PairingAxiom line 52
5. def OAI.TuringRigidity.OmegaModelCore.OmegaData.UnionAxiom line 54
6. def OAI.TuringRigidity.OmegaModelCore.OmegaData.SeparationAxiom line 56