LEADER 02388nam 2200601 450 001 996466863703316 005 20220304100440.0 010 $a3-540-37485-X 024 7 $a10.1007/BFb0064082 035 $a(CKB)1000000000438350 035 $a(SSID)ssj0000323203 035 $a(PQKBManifestationID)12064855 035 $a(PQKBTitleCode)TC0000323203 035 $a(PQKBWorkID)10296829 035 $a(PQKB)10714007 035 $a(DE-He213)978-3-540-37485-5 035 $a(MiAaPQ)EBC5585319 035 $a(Au-PeEL)EBL5585319 035 $a(OCoLC)1066178636 035 $a(MiAaPQ)EBC6842656 035 $a(Au-PeEL)EBL6842656 035 $a(PPN)155220802 035 $a(EXLCZ)991000000000438350 100 $a20220304d1975 uy 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aForcing, arithmetic, division rings /$fJ. Hirschfeld, W. H. Wheeler 205 $a1st ed. 1975. 210 1$aBerlin :$cSpringer,$d[1975] 210 4$dİ1975 215 $a1 online resource (VII, 266 p.) 225 1 $aLecture Notes in Mathematics,$x0075-8434 ;$v454 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-07157-1 327 $aExistentially complete structures and existentially universal structures -- Model-completions and model-companions -- Infinite forcing in model theory -- Approximating chains for -- Finite forcing in model theory -- Axiomatizations -- Forcing and recursion theory -- Existentially complete models -- Simple models and R.E. ultrapowers -- Regular models -- Regular models and second order models for arithmetic -- Generic models and the analytic hierarchy -- Applications to complete extensions of peano's arithmetic -- Existentially complete division rings -- Nullstellensatz -- Classes of existentially complete division algebras. 410 0$aLecture Notes in Mathematics,$x0075-8434 ;$v454 606 $aArithmetic$xStudy and teaching 606 $aModel theory 615 0$aArithmetic$xStudy and teaching. 615 0$aModel theory. 676 $a372.7 700 $aHirschfeld$b J.$01220939 702 $aWheeler$b W. H. 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996466863703316 996 $aForcing, arithmetic, division rings$92830437 997 $aUNISA