Advanced search options

Advanced Search Options 🞨

Browse by author name (“Author name starts with…”).

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

You searched for id:"oai:CRISUNS:(BISIS)115475". One record found.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters

1. Uljarević Vlado. Poludistributivnost, Problem zadovoljenja uslova i jaki Maljcevljevi uslovi.

Degree: 2021, University of Novi Sad

U ovoj tezi opisujemo linearne, idempotentne, jake Maljcevljeve uslove za kongruencijsku ^-poludistributivnost u lokalno konačnim varijetetima. U [40] je predstavljen jedan takav jak Maljcevljev uslov i tehnika koju su autori koristili je uopštenje jednog od glavnih rezultata iz [46]. Glavna razlika je u tome što jednostavna primjena Dirihleovog principa u [46] postaje dosta komplikovaniji argument Remzijevskog tipa u [40]. Mi ovdje dodatno uopštavamo taj argument i prezentujemo dokaz pomenute karakterizacije. Svi ovi radovi koriste snažan rezultat [4] L. Barta o rješivosti Problema zadovoljenja uslova metodama provjere lokalne konzistencije uslova, pa je treća glava teze posvećena detaljnoj prezentaciji tog rada. Takođe, dokazujemo da neki jak Maljcevljev uslov karakteriše kongruencijsku ^-poludistributivnost u lokalno konačnim varijetetima ako i samo ako je realizovan u određenoj četvoroelementnoj algebri. Na kraju, bavimo se i problemom pronalaženja optimalnog jakog Maljcevljevog uslova koji karakteriše egzistenciju Tejlorovog terma u opštem slučaju. U [53] M. Olšak predstavio je iznenađujući rezultat da je egzistencija Tejlorovog terma jako Maljcevljevo svojstvo. Term iz prvobitne verzije [53] ima arnost 12, dok mi ovdje prezentujemo dokaz da se arnost može redukovati na 9.

  <p class="MsoNormal">In this thesis we describe linear, idempotent, strong Mal’cev conditions for congruence ^-semidistributivity in locally finite varieties. In [40] authors presented one such Mal’cev  condition and technique they used is generalization of one result from [46]. Main difference is that simple application of Pigeonhole prinicple from [46] becomes much more complicated Ramsey style argument in [40]. Here we dditionaly generalize that argument and we present the proof of above mentioned characterization. All these papers use deep result [4] by L. Barto on solvability of Constraint Satisfaction Problem by local consistency checking methods, so third chapter of this thesis is dedicated to detailed presentation of [4]. Also, we prove that some strong Mal’cev condition characterizes congruence ^-semidistributivity in locally finite varieties if and only if it is realized in certain four element algebra. Finally, we work on the problem of finding optimal strong Mal’cev condition for existence of Taylor term in general case. In [53] M.  Olsak presented suprising result that exisstence of Taylor term is strong Malcev property. The term from first version of [53] has arity 12, but here we prove that arity can  be reduced to 9. <! – [if gte mso 9]><xml> <w:WordDocument> <w:View>Normal</w:View> <w:Zoom>0</w:Zoom> <w:TrackMoves/> <w:TrackFormatting/> <w:PunctuationKerning/> <w:ValidateAgainstSchemas/> <w:SaveIfXMLInvalid>false</w:SaveIfXMLInvalid> <w:IgnoreMixedContent>false</w:IgnoreMixedContent> <w:AlwaysShowPlaceholderText>false</w:AlwaysShowPlaceholderText> <w:DoNotPromoteQF/>…

Advisors/Committee Members: Marković Petar, Madaras-Silađi Rozalija, Đapić Petar, Bašić Bojan, Moconja Slavko.

Subjects/Keywords: Maljcevljev uslov, kongruencijska poludistributivnost, varijetet, Problem zadovoljenja uslova, Remzijeva teorija; Mal’cev condition, congruence semidistributivity, variety, Constraint Satisfaction Problem, Ramsey theory

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Vlado, U. (2021). Poludistributivnost, Problem zadovoljenja uslova i jaki Maljcevljevi uslovi. (Thesis). University of Novi Sad. Retrieved from https://www.cris.uns.ac.rs/DownloadFileServlet/Disertacija160371836797894.pdf?controlNumber=(BISIS)115475&fileName=160371836797894.pdf&id=17018&source=OATD&language=en ; https://www.cris.uns.ac.rs/record.jsf?recordId=115475&source=OATD&language=en

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Vlado, Uljarević. “Poludistributivnost, Problem zadovoljenja uslova i jaki Maljcevljevi uslovi.” 2021. Thesis, University of Novi Sad. Accessed February 26, 2021. https://www.cris.uns.ac.rs/DownloadFileServlet/Disertacija160371836797894.pdf?controlNumber=(BISIS)115475&fileName=160371836797894.pdf&id=17018&source=OATD&language=en ; https://www.cris.uns.ac.rs/record.jsf?recordId=115475&source=OATD&language=en.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Vlado, Uljarević. “Poludistributivnost, Problem zadovoljenja uslova i jaki Maljcevljevi uslovi.” 2021. Web. 26 Feb 2021.

Vancouver:

Vlado U. Poludistributivnost, Problem zadovoljenja uslova i jaki Maljcevljevi uslovi. [Internet] [Thesis]. University of Novi Sad; 2021. [cited 2021 Feb 26]. Available from: https://www.cris.uns.ac.rs/DownloadFileServlet/Disertacija160371836797894.pdf?controlNumber=(BISIS)115475&fileName=160371836797894.pdf&id=17018&source=OATD&language=en ; https://www.cris.uns.ac.rs/record.jsf?recordId=115475&source=OATD&language=en.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Vlado U. Poludistributivnost, Problem zadovoljenja uslova i jaki Maljcevljevi uslovi. [Thesis]. University of Novi Sad; 2021. Available from: https://www.cris.uns.ac.rs/DownloadFileServlet/Disertacija160371836797894.pdf?controlNumber=(BISIS)115475&fileName=160371836797894.pdf&id=17018&source=OATD&language=en ; https://www.cris.uns.ac.rs/record.jsf?recordId=115475&source=OATD&language=en

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

.