02653nam 2200577 450 99646662060331620220304003742.03-540-39414-110.1007/BFb0075303(CKB)1000000000437675(SSID)ssj0000324806(PQKBManifestationID)12079265(PQKBTitleCode)TC0000324806(PQKBWorkID)10321903(PQKB)10318094(DE-He213)978-3-540-39414-3(MiAaPQ)EBC5592774(Au-PeEL)EBL5592774(OCoLC)1066192028(MiAaPQ)EBC6842757(Au-PeEL)EBL6842757(OCoLC)793078896(PPN)155171852(EXLCZ)99100000000043767520220304d1985 uy 0engurnn|008mamaatxtccrMethods in mathematical logic proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 1-6, 1983 /edited by Carlos A. Di Prisco1st ed. 1985.Berlin, Germany ;New York, New York :Springer-Verlag,[1985]©19851 online resource (X, 410 p.) Lecture Notes in Mathematics,0075-8434 ;1130Bibliographic Level Mode of Issuance: Monograph3-540-15236-9 Failure 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.Lecture Notes in Mathematics,0075-8434 ;1130Logic, Symbolic and mathematicalCongressesLogic, Symbolic and mathematical511.3Di Prisco C. A.MiAaPQMiAaPQMiAaPQBOOK996466620603316Methods in mathematical logic262613UNISA