Приказ основних података о дисертацији

Asymmetric regular types

dc.contributor.advisorTanović, Predrag
dc.contributor.otherBožić, Milan
dc.contributor.otherIkodinović, Nebojša
dc.contributor.otherKrupinski, Krzysztof
dc.contributor.otherPetrović, Zoran
dc.creatorMoconja, Slavko M.
dc.date.accessioned2016-07-16T12:54:28Z
dc.date.available2016-07-16T12:54:28Z
dc.date.available2020-07-03T08:39:25Z
dc.date.issued2015-10-08
dc.identifier.urihttps://nardus.mpn.gov.rs/handle/123456789/5801
dc.identifier.urihttp://eteze.bg.ac.rs/application/showtheses?thesesId=3220
dc.identifier.urihttps://fedorabg.bg.ac.rs/fedora/get/o:11595/bdef:Content/download
dc.identifier.urihttp://vbs.rs/scripts/cobiss?command=DISPLAY&base=70036&RID=47517455
dc.description.abstractУ овом раду изучавамо асиметричне глобалне правилне типове. Ако је p правилан и асиметричан над А, тада постоји уређење такво да су Морлијеви низови у p над А строго растући. Испоставља се да за сваки мали модел...sr
dc.description.abstractIn this thesis we study asymmetric regular types. If p is regular and asymmetric over A, then there exists an order such that Morley sequences in p over A are strictly increasing. It turns out that for every small model M A, the order type of a maximal Morley sequence in p over A whose elements are from M does not depend on the choice of the sequence, i.e. it is an invariant of the model M denoted by Invp;A(M). In the countable case we can determine all possibilities for Invp;A(M): either Invp;A(M) is an arbitrary countable linear order or, provided that it contains at least two elements, it is a countable dense linear order (possibly with one or both endpoints). Also, we study the connection between Invp;A(M) and Invq;A(M), where p and q are two regular and asymmetric over A types such that pA 6?w qA. We distinguish two kinds of non-orthogonality: bounded and unbounded. Under the assumption that p and q are convex, in the bounded case we get that Invp;A(M) and Invq;A(M) are either isomorphic or anti-isomorphic, while under the assumption of strong regularity, in the unbounded case we get that Dedekind completions of Invp;A(M) and Invq;A(M) are either isomorphic or anti-isomorphic. In particular we study the following class of structures: expansions of linear orderings with countably many unary predicates and countably many equivalence relations with convex classes. We provide new examples of regular types. Namely, it turns out that every global invariant type in this context is regular, and every non-algebraic type over A has precisely two global extensions which are invariant over A. We also study the connection between the question of existence of a quasi- minimal model of a complete rst-order theory and the question of existence of a global strongly regular type. We also deal with the problem whether every quasi- minimal group must be abelian. It turns out that this question has the positive answer provided that the global extension of the generic type of a quasi-minimal group is asymmetric over...en
dc.formatapplication/pdf
dc.languagesr
dc.publisherУниверзитет у Београду, Математички факултетsr
dc.relationinfo:eu-repo/grantAgreement/MESTD/Basic Research (BR or ON)/174018/RS//
dc.rightsopenAccessen
dc.rights.urihttps://creativecommons.org/licenses/by-sa/4.0/
dc.sourceУниверзитет у Београдуsr
dc.subjectглобалан типsr
dc.subjectglobal typeen
dc.subjectinvariant typeen
dc.subjectregular typeen
dc.subjectMorley sequenceen
dc.subjectinvarianten
dc.subjectquasi-minimal structureen
dc.subjectlinear orderingen
dc.subjectalgebraic closure operatoren
dc.subjectинваријантан типsr
dc.subjectправилан типsr
dc.subjectМорлијев низsr
dc.subjectинваријантаsr
dc.subjectквазиминимална структураsr
dc.subjectлинеарно уређењеsr
dc.subjectоператор алге- барског затворењаsr
dc.titleАсиметрични правилни типовиsr
dc.titleAsymmetric regular typesen
dc.typedoctoralThesisen
dc.rights.licenseBY-SA
dcterms.abstractТановић, Предраг; Крупински, Крзyсзтоф; Петровић, Зоран; Икодиновић, Небојша; Божић, Милан; Моцоња, Славко М.; Asimetrični pravilni tipovi;
dc.identifier.fulltexthttps://nardus.mpn.gov.rs/bitstream/id/6799/Disertacija3775.pdf
dc.identifier.fulltexthttps://nardus.mpn.gov.rs/bitstream/id/6800/Moconja_Slavko_M.pdf
dc.identifier.fulltexthttp://nardus.mpn.gov.rs/bitstream/id/6799/Disertacija3775.pdf
dc.identifier.fulltexthttp://nardus.mpn.gov.rs/bitstream/id/6800/Moconja_Slavko_M.pdf
dc.identifier.rcubhttps://hdl.handle.net/21.15107/rcub_nardus_5801


Документи за докторску дисертацију

Thumbnail
Thumbnail

Ова дисертација се појављује у следећим колекцијама

Приказ основних података о дисертацији