Free access
Bases of ZF...-models.Michael v. Rimscha11PDF
Natural limitations of decisions procedures for arithmetic with bounded quantif...Daniele Mundici37PDF
A note on a proof of Sherpherdson.T.B. Flannagan55PDF
Variants of Robinson's essentially undecidable theory R.J.C. Shepherdson; J.P. Jones61PDF
A well-ordering proof for Feferman's theory To.Gerhard Jäger65PDF
R.E. degrees of continuous functionals.Dag Normann79PDF
Definable Ramsey and definable Erdös ordinals.Evangelos Kranakis115PDF
A Note on tight stable theories.Anand Pillay147PDF
On a weakening of Markov's principle.A. Scedrov; R. Vesley153PDF
A classification of an iterative hierarchy.Hans Kleine Büning175PDF