Topological methods in second order arithmetic (1977)
The purpose of this thesis is to show the use of topology in mathematical logic. It is well known, through the work of H. Rasiowa and R. Sikorski, that Intuitionistic first order predicate calculus with equality has a very natural interpretation in terms of the lattice of open sets of a topological space. The problem was to show that the usual Intuitionistic second order arithmetic gives such a topological model. In the first two chapters we give the topology required for later work and a brief discussion on Intuitionistic mathematics. In the topology section the emphasis is on the Baire Space as this is the most natural space in which to interpret second order arithmetic. The discussion on Intuitionistic mathematics gives an Intuitionistic viewpoint but concentrates on giving, where possible, Classical justification for Intuitionistic assumptions and theorems. Chapter Three is a brief description of Ra owa's and Sikorski' s work 'showing that Intuitionistic first order predicate calculus with equality has topological models. Chapter Four gives a model for Intuitionistic second order arithmetic which is due to J.R. Moschovakis and is an adaption of topological models for Intuitionistic analysis given by D. Scott. Chapter Five shows a second use of topology in mathematical logic. It deals with the topological approach of forcing due to G. Takeuti and C. Ryll-Nardzewski. The central idea is that by using the Baire Category Theorem we can show the existence of generic models without giving a constructive proof. Chapter One (except 1.2.9 and 1.3.7) and the proof of 2.5.7 are taken from lectures given by R.A. Bull to a 1976 Honours III Logic class. The details of Chapter Five were worked out with the help of R.A. Bull.
RightsCopyright Alistair Gavin Gray
Showing items related by title, author, creator and subject.
Nguyen, Thanh (University of Canterbury. Deparment of Mechanical Engineering, 2011)Magnesium (Mg) and its alloys offer potential as a new class of degradable metallic orthopaedic biomaterials. In comparison with current metallic orthopaedic implant materials, Mg offers advantages such as, high specific ...
Dawber, J.; Horn, B.; Brown, J.A. (University of Canterbury. Mathematics and Statistics, 2009)Quantitative microbial risk analysis modelling is increasingly being used in food safety as a tool to evaluate health risks. Accurately forming such models can be very difficult due to the uncertainty in the available data. ...
Performance of various BFGS and DFP implementations with limited precision second order information. Byatt, David (University of Canterbury, 2003)This paper supports the claim that there is no discernible advantage in choosing factorised implementations (over non–factorised implementations) of BFGS methods when approximate Hessian information is available to full ...