Documentation

InfinitaryLogic.Basic

Imports

Init
InfinitaryLogic.Admissible.Compactness
InfinitaryLogic.Admissible.ConsistencyBridge
InfinitaryLogic.Admissible.Fragment
InfinitaryLogic.Admissible.NadelBound
InfinitaryLogic.Admissible.ProofSystem
InfinitaryLogic.Admissible.Soundness
InfinitaryLogic.Descriptive.BFEquivBorel
InfinitaryLogic.Descriptive.CountingDichotomy
InfinitaryLogic.Descriptive.FiniteCarrier
InfinitaryLogic.Descriptive.GandyHarrington
InfinitaryLogic.Descriptive.IsomorphismBorel
InfinitaryLogic.Descriptive.Measurable
InfinitaryLogic.Descriptive.ModelClassStandardBorel
InfinitaryLogic.Descriptive.Polish
InfinitaryLogic.Descriptive.SatisfactionBorel
InfinitaryLogic.Descriptive.SatisfactionBorelOn
InfinitaryLogic.Descriptive.SilverBurgess
InfinitaryLogic.Descriptive.StructureSpace
InfinitaryLogic.Descriptive.Topology
InfinitaryLogic.Karp.CountableCorollary
InfinitaryLogic.Karp.PotentialIso
InfinitaryLogic.Karp.Theorem
InfinitaryLogic.Linf.Countability
InfinitaryLogic.Linf.Operations
InfinitaryLogic.Linf.QuantifierRank
InfinitaryLogic.Linf.Semantics
InfinitaryLogic.Linf.Syntax
InfinitaryLogic.Linf.Theory
InfinitaryLogic.Lomega1omega.Embedding
InfinitaryLogic.Lomega1omega.Operations
InfinitaryLogic.Lomega1omega.QuantifierRank
InfinitaryLogic.Lomega1omega.Semantics
InfinitaryLogic.Lomega1omega.Syntax
InfinitaryLogic.Lomega1omega.Theory
InfinitaryLogic.ModelExistence.Completeness
InfinitaryLogic.ModelExistence.ConsistencyProperty
InfinitaryLogic.ModelExistence.HenkinConstruction
InfinitaryLogic.ModelExistence.SatisfiableConsistencyProperty
InfinitaryLogic.ModelExistence.Theorem
InfinitaryLogic.ModelTheory.CountingCountable
InfinitaryLogic.ModelTheory.CountingModels
InfinitaryLogic.ModelTheory.Hanf
InfinitaryLogic.ModelTheory.LowenheimSkolem
InfinitaryLogic.ModelTheory.MorleyCounting
InfinitaryLogic.Scott.AtomicDiagram
InfinitaryLogic.Scott.BackAndForth
InfinitaryLogic.Scott.Formula
InfinitaryLogic.Scott.Height
InfinitaryLogic.Scott.QuantifierRank
InfinitaryLogic.Scott.Rank
InfinitaryLogic.Scott.RefinementCount
InfinitaryLogic.Scott.Sentence

Imported by

See the top-level InfinitaryLogic module for the full project overview.