Auflistung Zarko Mijajlovic nach Titel

Anzeige der Dokumente 1-20 von 29

Algebra 1

Mijajlović, Žarko (Belgrade , 1993)

[more]

[less]

URI: http://hdl.handle.net/123456789/462

Dateien zu dieser Ressource: 1

ZarkoMijajlovicAlgebra.pdf ( 6.257Mb )
ASTROCLIMATIC CHARACTERISTICS OF VIDOJEVICA MOUNTAIN (Conf. VI)

Valjarević, Aleksandar; Pejović, Nadežda; Mijajlović, Žarko (Astr. Soc. "Rudjer Bošković" , 2009)

[more]

[less]

URI: http://hdl.handle.net/123456789/911

Dateien zu dieser Ressource: 1

22.pdf ( 65.41Kb )
ASTRONOMIJA U UDŽBENIKU OSNOVI MATEMATIČNE I FIZIČKE GEOGRAFIJE PAVLA VUJEVIĆA

Pejović, Nadežda; Mijajlović, Žarko (Astr. Soc. "Rudjer Bošković" , 2008)

[more]

[less]

URI: http://hdl.handle.net/123456789/1209

Dateien zu dieser Ressource: 1

29.pdf ( 795.1Kb )
ASTRONOMSKA STANICA NA VIDOJEVICI

Mijajlović, Žarko (Astr. Soc. "Rudjer Bošković" , 2006)

[more]

[less]

URI: http://hdl.handle.net/123456789/1141

Dateien zu dieser Ressource: 1

07Mijajlovic.pdf ( 543.7Kb )
Bogdan Gavrilović - Biography

Mijajlović, Žarko (SASA, Belgrade , 1997)

[more]

[less]

URI: http://hdl.handle.net/123456789/610

Dateien zu dieser Ressource: 1

BogdanGavrilovicBiography.pdf ( 154.2Kb )
BOOL - OVE ALGEBRE U LOGICI

Mijajlović, Žarko (Beograd , 1973)

[more]

[less]

URI: http://hdl.handle.net/123456789/3841

Dateien zu dieser Ressource: 1

Z_M_Magistarski.pdf ( 6.405Mb )
Collected Works of Dušan Adamović

Mijajlović, Žarko; Knjaževa, Svetlana (Belgrade , 2009)

[more]

[less]

URI: http://hdl.handle.net/123456789/426

Dateien zu dieser Ressource: 1

DusanAdamovicCollectedWorks.pdf ( 25.16Mb )
COMETARY TRAJECTORIES IN THE NONSTANDARD PLANE (Conf.VI)

Mijajlović, Žarko; Pejović, Nadežda; Damljanović, Goran; Ćirić, Dušan (Astr. Soc. "Rudjer Bošković" , 2009)

[more]

[less]

URI: http://hdl.handle.net/123456789/922

Dateien zu dieser Ressource: 1

33.pdf ( 213.4Kb )

A Contribution to Model Theory and Boolean Algebras

Mijajlović, Žarko (Belgrade , 1977)

[more]

Zusammenfassung:

Part1. Basic notions of model theory are given. Part2. Dual notions in categories of Boolean algebras and Stone spaces are studied in respect to natural contra-variant functor. The cellularity number of a Boolean algebra B, celB is studied, certain cardinal properties are proved, e.g. it is consistent with ZFC that celB is attained for every Boolean algebra B. Part3. Lindenbaum algebras of first-order theories are studied in details. It is proved that every Boolean algebra is isomorphic to the Lindenbaum algebra B1 of Σ1 formulas of certain first-order complete theory. Stability number ST(k) of a first-order theory T is studied, and it is shown that ST(k) = Ku(k), where Ku(k) is the Kurepa number (Kurepa introduced it in 1935) and T is the theory of dense linear ordering without end-points, while the cardinality of the Stone space of B1(A), A is a model of T, is equal to ded(A), the Dedekind number of the ordering A. Ku(k)= sup{ded(A): A is a model of T, |A|=k}. Part4. Σn Πn ramifications of various notions in model theory are defined and studied, e.g. elementary embeddings, completeness, chains, direct limits, diagram properties, etc. Preservation theorems for these types of formulas are proved. Examples for including ordered structures and algebraic fields are given. Part5. Model completions and elimination of quantifiers are studied. As an application, it is proved that by means of model theory that the classes of Boolean algebras and distributive lattices with the least and the greatest elements are Jonsson’s classes. Algebraic description of saturated models of submodel-complete theories are given, unifying results of Haussdorff (dense linear ordering), Erdös, Gillman (ordered fields) and Boolean algebras (Negrepontis) for homogeneous-universal models. Part6. Here is studied what model-theoretic properties are absolute in ZF in the sense introduced by Levy, i.e. in which cases strong hypothesis (AC, GCH, V=L) can be eliminated from the proof of these properties. It is shown that the following properties of first-order theories are absolute: the consistency, completeness, model-completeness and elimination of quantifiers. These gives new light on model-theoretic proofs of these properties.

URI:

http://hdl.handle.net/123456789/196

Dateien zu dieser Ressource: 1

phdZarkoMijajlovic.pdf ( 27.39Mb )

Dela Rudjera Boškovića u Virtuelnoj biblioteci Matematičkog fakulteta

Mijajlović, Žarko; Pejović, Nadežda (Matematički fakultet, Beograd , 2011)

[more]

[less]

URI: http://hdl.handle.net/123456789/2284

Dateien zu dieser Ressource: 1

Boskovic_VB_v2.pdf ( 772.0Kb )
DEVELOPMENT OF ASTRONOMY IN TOPLICA REGION (Conf.VI)

Pejović, Nadežda; Valjarević, Aleksandar; Mijajlović, Žarko; Ćirić, Dušan (Astr. Soc. "Rudjer Bošković" , 2009)

[more]

[less]

URI: http://hdl.handle.net/123456789/926

Dateien zu dieser Ressource: 1

37.pdf ( 909.8Kb )
Digitalizacija nacionalne baštine

Mijajlović, Žarko (Beograd , 2007)

[more]

[less]

URI: http://hdl.handle.net/123456789/2303

Dateien zu dieser Ressource: 1

Binder1 R.pdf ( 479.7Kb )
Digitization of cultural and scientific heritage

Mijajlović, Žarko (Beograd , 2008)

[more]

[less]

URI: http://hdl.handle.net/123456789/2260

Dateien zu dieser Ressource: 1

fourt seedi R.pdf ( 2.038Mb )
Digitization of nationall heritage 2004

Mijajlović, Žarko (Belgrade , 2004)

[more]

[less]

URI: http://hdl.handle.net/123456789/2302

Dateien zu dieser Ressource: 1

Binder1 R.pdf ( 418.9Kb )
Đuro Kurepa 1907-1993

Mijajlović, Žarko ()

[more]

[less]

URI: http://hdl.handle.net/123456789/578

Dateien zu dieser Ressource: 1

DjuroKurepaBiografija.pdf ( 796.6Kb )
Godel Theorems

Mijajlović, Žarko (Beograd , 1996)

[more]

[less]

URI: http://hdl.handle.net/123456789/2266

Dateien zu dieser Ressource: 1

Binder z1 F.pdf ( 390.1Kb )
Hilbertovi problemi i logika

Mijajlović, Žarko; Marković, Zoran; Došen, Kosta (Zavod za udžbenike i nastavna sredstva, Beograd , 1986)

[more]

[less]

URI: http://hdl.handle.net/123456789/593

Dateien zu dieser Ressource: 1

HilbertoviProblemiILogika.pdf ( 6.657Mb )
I Conference ALGEBRAIC and LOGIC SKOPJE 1980

Prešić, S.; Alimpić, B.; Prešić, M.; Mijajlović, Ž.; Božić, M.; Kapetanović, M.; Krapež, A.; Krstić, S.; Blagojević, D.; Krgović, D.; Gilezan, K.; Ušan, J.; Stojaković, Z.; Crvenković, S.; Bogdanović, S.; Milić, S.; Karčicka, D.; Trpenovski, B.; Stojmenovski, K.; Kržovski, P.; Markovski, S.; Čupona, G.; Celakoski, N. (MATEMATIČKI FAKULTET - SKOPJE , 1980)

[more]

[less]

URI: http://hdl.handle.net/123456789/1645

Dateien zu dieser Ressource: 1

AllgConf.pdf ( 1.317Mb )
An Introduction to Model Theory

Mijajlović, Žarko (Novi Sad , 1987)

[more]

[less]

URI: http://hdl.handle.net/123456789/459

Dateien zu dieser Ressource: 1

bookZarkoMijajlovic.pdf ( 7.341Mb )
ISTORIJA ASTRONOMIJE U PROKUPLJU

Pejović, Nadežda; Valjarević, Aleksandar; Simonović, Aleksandar; Mijajlović, Žarko (Astr. Soc. "Rudjer Bošković" , 2008)

[more]

[less]

URI: http://hdl.handle.net/123456789/1200

Dateien zu dieser Ressource: 1

20.pdf ( 580.8Kb )

Anzeige der Dokumente 1-20 von 29

Nächste Seite

Auflistung Zarko Mijajlovic nach Titel

eBibliothek Repositorium

Auflistung Zarko Mijajlovic nach Titel

eBibliothek Suche

Stöbern

Gesamter Bestand

Diese Sammlung

Mein Benutzerkonto

Relited sites

COPYRIGHT STATEMENT