essays in contextualising theories

The book is the first part of the monograph “Classification of countable models of complete theories” consisting of two parts. In the monograph, a classification of countable models of complete theories with respect to two basic characteristics (Rudin–Keisler preorders and distribution functions for numbers of limit models) is presented and applied to the most important classes of countable theories such as the class of Ehrenfeucht theories (i. e., complete first-order theories with finitely many but more than one pairwise non-isomorphic countable models), the class of small theories (i. e., complete first-order theories with countably many types), and the class of countable first-order theories with continuum many types. For realizations of basic characteristics of countable complete theories, syntactic generic constructions, generalizing the Jonsson–Fraïssé construction and the Hrushovski construction, are presented. Using these constructions a solution of the Goncharov–Millar problem (on the existence of Ehrenfeucht theories with countable models which are not almost homogeneous) is described. Modifying the Hrushovski–Herwig generic construction, a solution of the Lachlan problem on the existence of stable Ehrenfeucht theories is shown. In the first part, a characterization of Ehrenfeuchtness, properties of Ehrenfeucht theories, generic constructions, and algebras for distributions of binary semi-isolating formulas of a complete theory are considered. The book is intended for specialists interested in Mathematical Logic.



Что искали на сайте
кружка printio пионы | dsquared2 пляжные брюки и шорты | cs 12 24 in s hook s hook not include pot | 110cm wide wedding dress lace embroidery diy women clothes materials clothing fabric accessories ivory white church happy hour | printio soviet tank | faux pearl espadrille flatform sliders | linux® administrator street smarts | best deal quartz watch women fashion tower pattern diamond dial watches men faux leather watch women s dress clock montre relo | 14pcs set stainless steel dumplings wrappers cutter maker tools cake moulds mousse ring round stainless steel cookie molds set | брюки fiorella rubino fiorella rubino fi013ewbeeg7 | cute resin bride and bridegroom toy doll | резиновые сапоги playtoday playtoday mp002xg006pn | autumn summer new women shirt dress long sleeved female dresses slim fashion party office lady sundress plus size casual rob | 350a 500a gas welding gun shunt connecting rod insulation cover bent pipe nozzle gas welding gun accessories welder gun parts | creative fun cheese snacks pu pocketbook coin bag girls purse small canvas purse cat coin purse | len deighton spy line | лампа энергосберегающая tdm sq0323 0054 | motorcycle atv riding scooter driving flying protective frame clear lens portable vintage helmet goggles glasses for 2009 buell xb12r | skeleton skull head silicone chocolate muffin cupcake candy ice cube mold halloween | issey miyake l eau d issey pour homme summer edition eau de toilette | macarons ceiling lamps rose colors metal lamp body acrylic lamp shade colorful post modern ceiling light led lighting fixture | батарейка perfeo алкалиновая pf lr6 4sh | кеды y | deadly animals | the shining |