Browsing Mathematics by Issue Date

Now showing items 21-40 of 428

Neki problemi sinteze i minimalizacije u teoriji konačnih automata i logičkih mreža

Ušćumlić, Momčilo (Belgrade , 1965)

[more]

[less]

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

Files in this item: 1

phdMomciloUscumlic.pdf ( 2.757Mb )
Teorija stabilnosti familije dinamičkih sistema u metričkim prostorima

Đaja, Časlav (Belgrade , 1967)

[more]

[less]

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

Files in this item: 1

phdCaslavDjaja.pdf ( 2.928Mb )
Problemi upravljanja i optimizacije matematičke teorije masovnog opsluživanja

Stojanović, Stevan (Belgrade , 1969)

[more]

[less]

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

Files in this item: 1

phdStevanStojanovic.pdf ( 2.232Mb )
FUNKCIONALNI PROSTORI

Drešević, Milan (Beograd , 1973)

[more]

[less]

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

Files in this item: 1

Funkcionalni_prostori.PDF ( 2.559Mb )
Kvazikonformna preslikavanja i korespondencija granica u R^n

Mićić, Vladimir (Belgrade , 1973)

[more]

[less]

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

Files in this item: 1

phdVladimirMicic.pdf ( 2.242Mb )
Poopšteni retrakti

Živanović, Žarko (Belgrade , 1974)

[more]

[less]

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

Files in this item: 1

phdZarkoZivanovic.pdf ( 2.575Mb )
Lokalno konačni i njima bliski beskonačnodimenzionalni prostori

Baković, Vlado (Belgrade , 1976)

[more]

[less]

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

Files in this item: 1

phdVladoBakovic.pdf ( 4.047Mb )
Difrakciona teorija nekih klasičnih interferencionih šema

Bejtullahu, Rasim (Pristina , 1976)

[more]

[less]

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

Files in this item: 1

phdRasimBejtullahu.pdf ( 5.229Mb )

A Contribution to Model Theory and Boolean Algebras

Mijajlović, Žarko (Belgrade , 1977)

[more]

Abstract:

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

Files in this item: 1

phdZarkoMijajlovic.pdf ( 27.39Mb )

O nekim kriterijumima integrabiliteta jedne klase linearnih diferencijalnih jednačina

Cana, Mazllum (Pristina , 1977)

[more]

[less]

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

Files in this item: 1

phdMazllumCana.pdf ( 2.167Mb )

Interpolacija u Hilbertovim prostorima i Hardijevim klasama H^p u poluravni

Turku, Haljilj (Pristina , 1978)

[more]

[less]

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

Files in this item: 1

phdHaljiljTurku.pdf ( 1.866Mb )
Varijacioni metod i nelinearne funkcionalne jednačine

Šćepanović, Radoje (Belgrade , 1978)

[more]

[less]

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

Files in this item: 1

phdRadojeScepanovic.pdf ( 1.786Mb )
Prilog kon analitičnata reprezentacija na distribucii

Rečkovski, Nikola (Skopje , 1978)

[more]

[less]

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

Files in this item: 1

phdNikolaReckovski.pdf ( 31.64Mb )
Teoreme ulaganja i poklapanja za neke klase funkcija

Laković, Bosiljka (Titograd , 1979)

[more]

[less]

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

Files in this item: 1

Teoreme_ulaganja.PDF ( 1.249Mb )
Procena Fourier-ovih koeficijenata nekih klasa funkcija

Berisha, Muharrem (Pristina , 1979)

[more]

[less]

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

Files in this item: 1

phdMuharemBerisa.pdf ( 1.272Mb )
NEERGODIČKI IZVORI U TEORIJI INFORMACIJA

Janković, Slobodan (Beograd , 1979)

[more]

[less]

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

Files in this item: 1

Neergodički_izvori.PDF ( 3.422Mb )
Generalizacija Puiseux-ovih redova za funkcije više kompleksnih promenljivih

Udovičić, Enes (Belgrade , 1980)

[more]

[less]

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

Files in this item: 1

phdEnesUdovicic.pdf ( 1.465Mb )
Invarijantnost spektralnog tipa slučajnog procesa u odnosu na transformaciju vremena

Pažanin, Ratomir (Belgrade , 1980)

[more]

[less]

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

Files in this item: 1

phdRatomirPazanin.pdf ( 2.495Mb )
Stabilnost rešenja sistema nelinearnih diferencijalnih jednačina sa dvema linijama prekida u kritičkim slučajevima

Alidema, Rašit (Belgrade , 1980)

[more]

[less]

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

Files in this item: 1

phdRasitAlidema.pdf ( 2.021Mb )

Now showing items 21-40 of 428

Browsing Mathematics by Issue Date

eLibrary

Browsing Mathematics by Issue Date

Search eLibrary

Browse

All of eLibrary

This Collection

My Account

Relited sites

COPYRIGHT STATEMENT