OAI/Computability/DegreeRigidity/Effective/
997 declarations, 0 contain sorry, 0 declared as axioms; 111 files
Files
- AntichainCoding.lean 6 declarations
- AntichainDecoding.lean 8 declarations
- AntichainParameters.lean 5 declarations
- CodingAgreement.lean 8 declarations
- CodingBounds.lean 6 declarations
- CodingColumns.lean 12 declarations
- CodingDiagonal.lean 5 declarations
- CodingExtraction.lean 4 declarations
- CodingForcing.lean 15 declarations
- CodingGeneric.lean 16 declarations
- CodingLocations.lean 6 declarations
- CodingOnePoint.lean 5 declarations
- CodingRequirements.lean 6 declarations
- CodingSplitSearch.lean 8 declarations
- CodingSplitting.lean 4 declarations
- EffectiveCohen.lean 17 declarations
- EffectiveFamilies.lean 11 declarations
- EffectivePresentation.lean 11 declarations
- EffectiveRelations.lean 7 declarations
- EffectiveSplit.lean 14 declarations
- EffectiveSplitConditions.lean 6 declarations
- EffectiveWitness.lean 10 declarations
- FiniteApproximation.lean 7 declarations
- FiniteBlockProducts.lean 5 declarations
- FiniteCodeBound.lean 7 declarations
- FiniteExtensionCode.lean 6 declarations
- FiniteInjury.lean 13 declarations
- FiniteInjuryLimits.lean 5 declarations
- FiniteInjurySchedule.lean 14 declarations
- FiniteJoinSections.lean 11 declarations
- FiniteNaturalGraph.lean 6 declarations
- FiniteOverwrite.lean 8 declarations
- FiniteOverwriteHull.lean 4 declarations
- FiniteRealPacking.lean 4 declarations
- FiniteShuffle.lean 29 declarations
- FiniteShuffleCertificate.lean 4 declarations
- FiniteShuffleComputation.lean 5 declarations
- FiniteSumDomains.lean 2 declarations
- FiniteSumGraph.lean 1 declarations
- FiniteSumPowerBound.lean 4 declarations
- FiniteSumStep.lean 1 declarations
- FiniteTranscript.lean 4 declarations
- FiniteTuple.lean 15 declarations
- GuardedCoding.lean 2 declarations
- GuardedComputability.lean 26 declarations
- GuardedExtraction.lean 8 declarations
- GuardedLimits.lean 9 declarations
- GuardedOutcomes.lean 9 declarations
- GuardedPair.lean 9 declarations
- GuardedScan.lean 15 declarations
- GuardedStage.lean 29 declarations
- IndependentFamily.lean 12 declarations
- LocalAgreement.lean 5 declarations
- LocalCoding.lean 2 declarations
- LocalColumnCertificates.lean 19 declarations
- LocalColumnIndices.lean 6 declarations
- LocalComputability.lean 26 declarations
- LocalDecisive.lean 1 declarations
- LocalExtraction.lean 8 declarations
- LocalInputs.lean 11 declarations
- LocalLimits.lean 9 declarations
- LocalOpen.lean 1 declarations
- LocalOutcomes.lean 9 declarations
- LocalPair.lean 9 declarations
- LocalPrograms.lean 3 declarations
- LocalScan.lean 15 declarations
- LocalSourceEquation.lean 7 declarations
- LocalStage.lean 29 declarations
- LocalUnary.lean 2 declarations
- OrderMatrixRecursive.lean 3 declarations
- OrderNormalForm.lean 4 declarations
- PartialComputability.lean 3 declarations
- PrefixComputability.lean 12 declarations
- PrefixSingletonRealization.lean 2 declarations
- PriorityStage.lean 29 declarations
- ProgramContinuity.lean 3 declarations
- ProgramSelection.lean 9 declarations
- ProgramTopology.lean 11 declarations
- RecursiveInfiniteSubset.lean 15 declarations
- SetCoding.lean 8 declarations
- StablePair.lean 8 declarations
- StageComputability.lean 26 declarations
- StageLimits.lean 9 declarations
- StageNormalization.lean 10 declarations
- StageRecords.lean 21 declarations
- StageScan.lean 15 declarations
- TableIndices.lean 11 declarations
- TriplePrefix.lean 4 declarations
- TupleFormula.lean 7 declarations
- TupleLookupAdequacy.lean 11 declarations
- TuplePrefixSyntax.lean 6 declarations
- TupleRelation.lean 7 declarations
- TupleSystemCertificate.lean 5 declarations
- UniformAgreement.lean 5 declarations
- UniformCohenDefinitionExtension.lean 1 declarations
- UniformCohenDefinitionSymmetry.lean 1 declarations
- UniformCohenIteration.lean 3 declarations
- UniformCohenJump.lean 5 declarations
- UniformCohenPrefix.lean 3 declarations
- UniformDegreeOrderName.lean 1 declarations
- UniformDegreeUniverseName.lean 1 declarations
- UniformJumpSimulation.lean 9 declarations
- UniformOracle.lean 17 declarations
- UniformOracleSimulation.lean 6 declarations
- UniformPair.lean 16 declarations
- UniformPartialGraph.lean 1 declarations
- UniformProgram.lean 13 declarations
- UniformPrograms.lean 17 declarations
- UniformRun.lean 13 declarations
- UniformSplit.lean 17 declarations
- UniformTableSimulation.lean 3 declarations