MON1165: Research and teaching papers

'Logic at Monash' - 25 November 1991

Miscellaneous - of interest to Knight?

Math 661

Talk on alternatives [handwritten notes]

Recursive Presentations [photocopied notes]

Recursive Structures

Applications of α -systems

Bits on Recursive Structures

Survey of Recursive Structure Theory

Effectiveness in Algebra

J. Knight papers [handwritten notes]

Infinitary Properties of Orderings; Ranked predicate formulas etc

Work with Julia June-July 1990

Partial Differential Fields [handwritten notes]

Differential algebra (GBP); Heyting algebras (JBM) [lecture notes]

Goncharov: Notes on Constructive Models

Isomorphic recursive structures [1991 draft]

Notes [Ash & Knight]

Talks on ∆ْ۫α method

Topics in Foundations 9.53 MWF, 93 Bascom

[Note on inverse lims; Determinate sets etc]

Research (inc Love) [handwritten notes]

Odds & Ends [Forcing with complete types; Lemma; Claim (CH); short proof of Pythagoras Theorem]

MON1271: Correspondence