OAI/SetTheory/PartitionPrinciple/Definability/AssignmentQueryFormulas.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.PartitionPilot.Forcing.assignmentQueryRelation line 8
  2. theorem OAI.PartitionPilot.Forcing.assignmentQueryRelation_entry line 13
  3. def OAI.PartitionPilot.Forcing.realizedAssignmentQueries line 27
  4. theorem OAI.PartitionPilot.Forcing.mem_realizedAssignmentQueries line 30
  5. theorem OAI.PartitionPilot.Forcing.assignmentIndexOverlap_iff line 40
  6. def OAI.PartitionPilot.Forcing.BoundedFormula.assignmentQueryOverlapFormula line 60
  7. theorem OAI.PartitionPilot.Forcing.BoundedFormula.truth_assignmentQueryOverlapFormula line 64
  8. def OAI.PartitionPilot.Forcing.BoundedFormula.assignmentQueryMatchFormula line 72
  9. theorem OAI.PartitionPilot.Forcing.BoundedFormula.truth_assignmentQueryMatchFormula line 77
  10. def OAI.PartitionPilot.Forcing.BoundedFormula.assignmentQueryRelationFormula line 101
  11. theorem OAI.PartitionPilot.Forcing.BoundedFormula.truth_assignmentQueryRelationFormula line 106