LEADER 02653nam 2200577 450 001 996466620603316 005 20220304003742.0 010 $a3-540-39414-1 024 7 $a10.1007/BFb0075303 035 $a(CKB)1000000000437675 035 $a(SSID)ssj0000324806 035 $a(PQKBManifestationID)12079265 035 $a(PQKBTitleCode)TC0000324806 035 $a(PQKBWorkID)10321903 035 $a(PQKB)10318094 035 $a(DE-He213)978-3-540-39414-3 035 $a(MiAaPQ)EBC5592774 035 $a(Au-PeEL)EBL5592774 035 $a(OCoLC)1066192028 035 $a(MiAaPQ)EBC6842757 035 $a(Au-PeEL)EBL6842757 035 $a(OCoLC)793078896 035 $a(PPN)155171852 035 $a(EXLCZ)991000000000437675 100 $a20220304d1985 uy 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 00$aMethods in mathematical logic $eproceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 1-6, 1983 /$fedited by Carlos A. Di Prisco 205 $a1st ed. 1985. 210 1$aBerlin, Germany ;$aNew York, New York :$cSpringer-Verlag,$d[1985] 210 4$dİ1985 215 $a1 online resource (X, 410 p.) 225 1 $aLecture Notes in Mathematics,$x0075-8434 ;$v1130 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-15236-9 327 $aFailure of interpolation for quantifiers of monadic type -- Approximation to truth and theory of errors -- Partition relations in arithmetic -- On the axiomatizability of sets in a class theory -- Applications of model theory to real algebraic geometry -- On the space (?)? -- The model extension theorems for ?3-theories -- Completeness theorems for the general theory of stochastic processes -- A barren extension -- Proof functional connectives -- Ultraproducts and categorical logic -- Problems in taxonomy, a floating log -- Counting problems in bounded arithmetic -- Definable ultrafilters and elementary end extensions -- On the axiomatization of PRC-fields -- Formalizations of certain intermediate logics Part I -- Types in class set theories -- Generic extensions which do not ADD random reals. 410 0$aLecture Notes in Mathematics,$x0075-8434 ;$v1130 606 $aLogic, Symbolic and mathematical$vCongresses 615 0$aLogic, Symbolic and mathematical 676 $a511.3 702 $aDi Prisco$b C. A. 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996466620603316 996 $aMethods in mathematical logic$9262613 997 $aUNISA