SurjectiveCantor

HOMLinHOL

TestsHOML

ModalFilter

GoedelVariantHOML1

GoedelVariantHOML2

GoedelVariantHOML3

ThereIsNoEvil1

ThereIsNoEvil2

ScottVariantHOML

HOMLinHOLonlyK

ScottVariantHOMLinK

ScottVariantHOMLAndersonQuant

GoedelVariantHOML1poss

GoedelVariantHOML2poss

GoedelVariantHOML3poss

ScottVariantHOMLposs

EvilDerivable

GoedelVariantHOML1AndersonQuant

GoedelVariantHOML2AndersonQuant

GoedelVariantHOML3AndersonQuant

HOMLinHOLonlyS4

TestsHOMLinS4

GoedelVariantHOML1inS4

GoedelVariantHOML2inS4

GoedelVariantHOML2possInS4

GoedelVariantHOML3inS4

GoedelVariantHOML3possInS4

ScottVariantHOMLinS4

ScottVariantHOMLpossInS4