Contents
Abstract ix
Acknowledgements xi
Overview xiii
Chapter I. Boolean, Relation-Induced, and Other Operations for Dealing
with First-Order Definability 1
Chapter II. Uniform Relations Between Sequences 25
Chapter III. Diagonal Relations 61
Chapter IV. Uniform Diagonal Relations and Some Kinds of Bisections or
Bisectable Relations 111
Chapter V. Presentation of Sg, Sp, and Related Structures 135
Chapter VI. Presentation of Spq, Spe and Related Structures 165
Chapter VII. Presentation of Spqe and Related Structures 209
Appendix. Presentation of $Sq and Related Structures 233
Bibliography 243
Index of Symbols 245
Index of Phrases and Subjects 256
List of Relations Involved in Presentations 260
Synopsis of Presentations 262
Previous Page Next Page