000			01517nam a22002417a 4500
003			NUCLARK
005			20250108091116.0
008			240227b ph ||||| |||| 00| 0 eng d
020			_a9781108423298
040			_cNUCLARK
050			_aQA 9.59 .M66 2021
100			_aMontalbán, Antonio _eauthor
245			_aComputable structure theory : _bwithin the arithmetic / _cAntonio Montalbán
260			_aUnited Kingdom : _bCambridge University Press, _cc2021
300			_axxii, 190 pages ; _c24 cm.
490			_aPerspective in Logic
504			_aIncludes bibliographical references and index.
505			_aPreface -- Notation and conventions -- Chapter 1. Structures -- Chapter 2. Relations -- Chapter 3. Existentially-atomic models -- Chapter 4. Generic presentations -- Chapter 5. Degree spectra -- Chapter 6. Comparing structures and classes of structures -- Chapter 7. Finite-injury constructions -- Chapter 8. Computable categoricity -- Chapter 9. The jump of a structure -- Chapter 10. ∑-small classes -- Bibliography -- Index.
520			_a"The objective of this book is to describe some of the main ideas and techniques used in the field. Most of these ideas are old, but for many of them, the style of the presentation is not. Over the last few years, the authors has developed new frameworks for dealing with these old ideas-for instance, r.i.c.e. relations, jump, Scott ranks, and back-and-forth types. " -- Preface
650			_aCOMPUTABLE FUNCTIONS
942			_2lcc _cBK _n0
999			_c3155 _d3155