03241nam 2200601 450 99646664300331620220908112129.03-540-38393-X10.1007/BFb0090155(CKB)1000000000437969(SSID)ssj0000324889(PQKBManifestationID)12114711(PQKBTitleCode)TC0000324889(PQKBWorkID)10320334(PQKB)11447087(DE-He213)978-3-540-38393-2(MiAaPQ)EBC5590654(Au-PeEL)EBL5590654(OCoLC)1066191375(MiAaPQ)EBC6842283(Au-PeEL)EBL6842283(OCoLC)793078652(PPN)155220462(EXLCZ)99100000000043796920220908d1980 uy 0engurnn|008mamaatxtccrModel theory of algebra and arithmetic proceedings of the conference on Applications of logic to algebra and arithmetic, held at Karpacz, Poland, September 1-7, 1979 /edited by L. Pacholski, J. Wierzejewski, A. J. Wilkie1st ed. 1980.Berlin, Germany :Springer,[1980]©19801 online resource (VIII, 412 p.) Lecture Notes in Mathematics,0075-8434 ;834Bibliographic Level Mode of Issuance: Monograph3-540-10269-8 Further remarks on the elementary theory of formal power series rings -- Elimination of quantifiers for non semi-simple rings of characteristic p -- The quantifier elimination problem for rings without nilpotent elements and for semi-simple rings -- Existentially closed modules: Types and prime models -- Rings of continuous functions: Decision problems -- Weak partition relations, finite games, and independence results in Peano arithmetic -- Hensel fields in equal characteristic p>0 -- On polynomials over real closed rings -- Les corps faiblement algebriquement clos non separablement clos ont la propriete d’independance -- Horn-theories of abelian groups -- Two orderings of the class of all countable models of peano arithmetic -- Ramsey quantifiers in arithmetic -- Computational complexity of decision problems in elementary number theory -- Some diophantine nullstellensätze -- A tree analysis of unprovable combinatorial statements -- A hierarchy of cuts in models of arithmetic -- Cofinal extension preserves recursive saturation -- Some model theory and number theory for models of weak systems of arithmetic -- Applications of complexity theory to ?o-definability Problems in arithmetic -- Minimally saturated models -- Totally categorical theories: Structural properties and the non-finite axiomatizability.Lecture Notes in Mathematics,0075-8434 ;834Model theoryModel theory.511.34Wierzejewski J(Jędrzej),Pacholski LeszekWilkie A. J(Alec J.),MiAaPQMiAaPQMiAaPQBOOK996466643003316Model theory of algebra and arithmetic79941UNISA