OAI/ModelTheory/Choiceless/

Files

• Bounds.lean 47 declarations
• Counters.lean 59 declarations
• Counting.lean 85 declarations
• Definability.lean 32 declarations
• Evaluation.lean 17 declarations
• Flows.lean 81 declarations
• Forms.lean 59 declarations
• FullLanguage.lean 16 declarations
• GaussMachine.lean 66 declarations
• Gaussian.lean 85 declarations
• Grid.lean 135 declarations
• Hereditary.lean 72 declarations
• Interpretations.lean 112 declarations
• LowerBound.lean 17 declarations
• Matrix.lean 57 declarations
• Model.lean 85 declarations
• Observers.lean 22 declarations
• Operational.lean 97 declarations
• QueryMachine.lean 60 declarations
• Reachability.lean 73 declarations
• Separation.lean 1 declarations
• Simulation.lean 38 declarations
• Stack.lean 65 declarations
• Support.lean 125 declarations
• TableMachine.lean 35 declarations
• Traces.lean 31 declarations