Browsing NDS by Issue Date

Now showing items 1-20 of 49

BOOL - OVE ALGEBRE U LOGICI

Mijajlović, Žarko (Beograd , 1973)

[more]

[less]

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

Files in this item: 1

Z_M_Magistarski.pdf ( 6.405Mb )

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 )

Programiranje numeričkih metoda na FORTRAN jeziku

Milovanović, Gradimir; Đorđević, Đorđe (University of Niš , 1979)

[more]

[less]

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

Files in this item: 1

ProgramiranjeNu ... ic_Dj_Djordjevic_19179.pdf ( 4.089Mb )
Numerička analiza I deo

Milovanovic, Gradimir (Univerzitet u Nišu , 1979)

[more]

[less]

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

Files in this item: 1

NumerickaAnaliz ... iga_G_Milovanovic_1979.pdf ( 10.19Mb )
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

Files in this item: 1

AllgConf.pdf ( 1.317Mb )
LOGIC COLLOQUIUM '80

Mijajlović, Žarko (Beograd , 1980)

[more]

[less]

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

Files in this item: 1

Binder1.pdf ( 450.7Kb )
Numerička Analiza - diferencijalne i integralne jednačine

Milovanović, Gradimir (Univerzitet u Nišu , 1981)

[more]

[less]

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

Files in this item: 1

NumerickaAnalizaCrnaKnjiga_G_MIilovanovic_1981.pdf ( 5.388Mb )
PROGRAMIRANJE NUMERIČKIH METODA NA FORTRAN JEZIKU

Milovanović, Gradimir; Đorđević, Đorđe (Univerzitet u Nišu , 1981)

[more]

[less]

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

Files in this item: 1

Programiranje_numerickih_metoda.pdf ( 5.176Mb )
NUMERICAL METHODS AND APPROXIMATION THEORY

Milovanović, Gradimir (Faculty of Electronic Engineering, University of Niš , 1984)

[more]

[less]

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

Files in this item: 1

Numerical methods and Approximation theory.pdf ( 6.360Mb )
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

Files in this item: 1

HilbertoviProblemiILogika.pdf ( 6.657Mb )
An Introduction to Model Theory

Mijajlović, Žarko (Novi Sad , 1987)

[more]

[less]

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

Files in this item: 1

bookZarkoMijajlovic.pdf ( 7.341Mb )
Numerička analiza III deo

Milovanovic, Gradimir (Naučna knjiga Beograd , 1988)

[more]

[less]

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

Files in this item: 1

NumerickaAnaliz ... iga_G_Milovanovic_1988.pdf ( 4.705Mb )
NUMERICKA ANALIZA II DEO

Milovanović, Gradimir (Naučna knjiga, Beograd , 1988)

[more]

[less]

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

Files in this item: 1

NumeriЪka analiza II.pdf ( 6.433Mb )
NUMERICAL METHODS AND APPROXIMATION THEORY Ill

Milovanović, Gradimir; Kocić, Lj (Faculty of Electronic Engineering, University of Niš , 1988)

[more]

[less]

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

Files in this item: 1

Numerical methodes III.pdf ( 21.11Mb )
NUMERIČKA ANALIZA I DEO

Milovanović, V. Gradimir (Beograd, Naučna Knjiga , 1988)

[more]

[less]

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

Files in this item: 1

anFF.pdf ( 13.56Mb )
Uvod u teoriju grupa

Mijajlović, Žarko, Božović, Nataša (Belgrade , 1990)

[more]

[less]

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

Files in this item: 1

UvodUTeorijuGrupaZMijajlovic.pdf ( 10.77Mb )
NUMERIČKA ANALIZA III DEO

Milovanović, V. Gradimir (Beograd, Naučna Knjiga , 1991)

[more]

[less]

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

Files in this item: 1

AIIIFF.pdf ( 6.377Mb )
NUMERIČKA ANALIZA II DEO

Milovanović, V. Gradimir (Beograd, Naučna Knjiga , 1991)

[more]

[less]

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

Files in this item: 1

aIIFF.pdf ( 7.828Mb )
Algebra 1

Mijajlović, Žarko (Belgrade , 1993)

[more]

[less]

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

Files in this item: 1

ZarkoMijajlovicAlgebra.pdf ( 6.257Mb )
Godel Theorems

Mijajlović, Žarko (Beograd , 1996)

[more]

[less]

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

Files in this item: 1

Binder z1 F.pdf ( 390.1Kb )

Now showing items 1-20 of 49

Browsing NDS by Issue Date

eLibrary

Browsing NDS by Issue Date

Search eLibrary

Browse

All of eLibrary

This Community

My Account

Relited sites

COPYRIGHT STATEMENT