文档介绍：LECTURES IN LOGIC
AND SET THEORY
Volume 1: Mathematical Logic
E TOURLAKIS
York University
Cambridge, New York, Melbourne, Madrid, Cape Town, Singapore, São Paulo
Cambridge University Press
The Edinburgh Building, Cambridge , United Kingdom
Published in the United States by Cambridge University Press, New York
Information on this title: 0521753739
© e Tourlakis 2003
This book is in copyright. Subject to statutory exception and to the provision of
relevant collective licensing agreements, no reproduction of any part may take place
without the written permission of Cambridge University Press.
First published in print format 2003
ISBN-13 978-0-511-06658-0 eBook (NetLibrary)
ISBN-10 0-511-06658-9 eBook (NetLibrary)
ISBN-13 978-0-521-75373-9 hardback
ISBN-10 0-521-75373-2 hardback
Cambridge University Press has no responsibility for the persistence or accuracy of
s for external or third-party websites referred to in this book, and does not
guarantee that any content on such websites is, or will remain, accurate or appropriate.
Contents
Prefacepageix
IBasicLogic1
A Digression into the Metatheory:
InformalInductionandRecursion19
;pactness52
,Diagrams,andApplications75
Arithmetic, Definability, Undefinability,
pletableness155
pletenessTheorem205
-Function232
and256
;FixedPoints272
Bibliography319
ListofSymbols321
Index323
vii
Preface
Both volumes in this series are about what mathematicians, especially logicians,
call the “foundations”(of mathematics) – that is, the tools of the axiomatic
method, an assessment of their effectiveness, and two major ex