Index of /research/papers

• Parent Directory
• AxiomatizingConstructiveGeometry.pdf
• BishopForeword.pdf
• BoundaryRegularity.dvi
• BoundaryRegularity.pdf
• BrouwerEuclid.pdf
• Cambridge.pdf
• Circumscription.dvi
• ConstructiveGeometry.dvi
• ConstructiveGeometry.pdf
• ConstructiveGeometryAndTheParallelPostulate.pdf
• ConstructiveGeometryFinalPreprintVersion.dvi
• ConstructiveGeometryFinalPreprintVersion.pdf
• ConstructiveTarski.pdf
• ContinuityInIntuitionisticSetTheories.pdf
• Edinburgh.pdf
• English-ste.pdf
• EnneperNotes.pdf
• EqualFigures.pdf
• ExtensionalityAndChoice.pdf
• Gentzen.pdf
• GoodmansTheoremAndBeyond.pdf
• HISC.DVI
• HerbrandEuclid.pdf
• HigherVariations.pdf
• ImplicitAndExplicitTyping.dvi
• ImplicitAndExplicitTyping.pdf
• ImplicitTyping.dvi
• ImplicitTyping.pdf
• IntroMinimal.pdf
• IsoscelesTilings.pdf
• JSCVersion.dvi
• JSCVersion.pdf
• JSCVersion.ps
• KleeneForeword.pdf
• LambdaLogic.dvi
• LambdaLogic.pdf
• LambdaLogicExtras.dvi
• LambdaLogicExtras.pdf
• LambdaLogicOriginal.dvi
• LambdaLogicOriginal.pdf
• LimitTheory-Long.pdf
• LimitTheory.dvi
• LimitTheory.pdf
• LimitTheory.ps
• MinimalSurfaceExamples.pdf
• NoSevenTiling.pdf
• PSL_Inconsistencies.pdf
• PellSlidesWCNT2022.pdf
• ProofAndComputation.pdf
• ProofCheckingEuclid.pdf
• SSTForeword.pdf
• SevenTriangles.dvi
• SevenTriangles.pdf
• SolvingForFunctions.dvi
• SolvingForFunctions.pdf
• Tarski-JAR.pdf
• TarskiFormalization.pdf
• TarskiProvesHilbert.pdf
• Translations/
• Triangle.dvi
• TriangleTiling.pdf
• TriangleTiling1.pdf
• TriangleTiling2.pdf
• TriangleTiling3.pdf
• TriangleTiling4.pdf
• TriangleTiling5.pdf
• TriangleTilingEquilateral.pdf
• TriangleTilingSimilarCase.pdf
• TriangleTilingSimilarCase.tex
• Unify.dvi
• Unify.pdf
• WebGrades.pdf
• Ziegler.pdf
• aisc.pdf
• aisc.ps
• autopubs.html
• beeson.bib
• beeson1988b.pdf
• ccc.dvi
• ccc.pdf
• circumscription.pdf
• circumscription.ps
• const92.pdf
• const92.ps
• dn.dvi
• dn.pdf
• e.pdf
• e.ps
• esfor.dvi
• esfor.pdf
• euclid2020.pdf
• freek.bib
• freekpubs.php
• hisc.pdf
• hisc.ps
• induction.dvi
• induction.pdf
• inf-basics.pdf
• logcomp.html
• logic.html
• logpubs.html
• minsurf.html
• mpdescr.html
• mppubs.html
• nf.pdf
• nsappt.dvi
• nsappt.pdf
• nsappt.ps
• part3.pdf
• part3.tex
• programs/
• pubs.html
• pubs.php
• reality.dvi
• reality.pdf
• research.html
• sixpi.dvi
• sixpi.pdf
• sixpiReview.dvi
• sixpiReview.pdf
• surfpubs.html
• triangle.pdf
• turing2.dvi
• turing2.pdf
• unify.ps
• unifyAbstract.html
• weier.html
• woslong.dvi
• woslong.pdf