OAI/Computability/StarHeight/ObservedLanguages.lean

GitHub source file

32 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.GeneralizedStarHeight.PeriodicTemplates.segment_power line 18
  2. lemma OAI.GeneralizedStarHeight.PeriodicTemplates.decompose_middle line 28
  3. def OAI.GeneralizedStarHeight.PeriodicTemplates.boundedTemplates line 65
  4. lemma OAI.GeneralizedStarHeight.PeriodicTemplates.mem_boundedTemplates line 71
  5. lemma OAI.GeneralizedStarHeight.PeriodicTemplates.finite_cover_of_middle line 75
  6. lemma OAI.GeneralizedStarHeight.PeriodicTemplates.regular_middle_height line 92
  7. def OAI.GeneralizedStarHeight.ExceptionalOrigins.Parameters.InnerVisible line 109
  8. lemma OAI.GeneralizedStarHeight.ExceptionalOrigins.Parameters.inner_congr line 112
  9. lemma OAI.GeneralizedStarHeight.ExceptionalOrigins.Parameters.inner_bounds line 121
  10. lemma OAI.GeneralizedStarHeight.ExceptionalOrigins.Parameters.inner_position_bounds line 125
  11. structure OAI.GeneralizedStarHeight.ObservedMain.PrefixRead line 146
  12. structure OAI.GeneralizedStarHeight.ObservedMain.SuffixRead line 151
  13. lemma OAI.GeneralizedStarHeight.ObservedMain.PrefixRead.transfer line 156
  14. lemma OAI.GeneralizedStarHeight.ObservedMain.SuffixRead.transfer line 187
  15. structure OAI.GeneralizedStarHeight.OuterStream.Cuts line 224
  16. abbrev OAI.GeneralizedStarHeight.OuterStream.Cuts.Role line 236
  17. def OAI.GeneralizedStarHeight.OuterStream.Cuts.base line 238
  18. def OAI.GeneralizedStarHeight.OuterStream.Cuts.count line 242
  19. def OAI.GeneralizedStarHeight.OuterStream.Cuts.offsets line 246
  20. lemma OAI.GeneralizedStarHeight.OuterStream.Cuts.offset_mem line 250
  21. def OAI.GeneralizedStarHeight.OuterStream.Cuts.tagRole line 255
  22. def OAI.GeneralizedStarHeight.OuterStream.Cuts.origins line 259
  23. lemma OAI.GeneralizedStarHeight.OuterStream.Cuts.true_origin line 261
  24. def OAI.GeneralizedStarHeight.OuterStream.search line 278
  25. def OAI.GeneralizedStarHeight.OuterStream.snapshot line 281
  26. def OAI.GeneralizedStarHeight.OuterStream.update line 284
  27. structure OAI.GeneralizedStarHeight.OuterStream.PrefixMain line 288
  28. structure OAI.GeneralizedStarHeight.OuterStream.PrefixPeriodic line 292
  29. structure OAI.GeneralizedStarHeight.OuterStream.Prefix line 298
  30. structure OAI.GeneralizedStarHeight.OuterStream.SuffixMain line 306
  31. def OAI.GeneralizedStarHeight.OuterStream.suffixAnchor line 313
  32. structure OAI.GeneralizedStarHeight.OuterStream.Suffix line 316