Novi Sad group for
Set Theory, Model Theory and General Topology


Department of Mathematics and Informatics
Faculty of Sciences
University of Novi Sad
Trg Dositeja Obradovića 4,
Novi Sad, Serbia
E-mail : settop@dmi.uns.ac.rs

Supported by:

Ministry of Education,
Science and Technological Development
of the Republic of Serbia
Project number 174006

Science Fund of the Republic of Serbia


Program IDEAS: Natural Sciences and Mathematics


Set-theoretic, model-theoretic and Ramsey-theoretic phenomena in mathematical structures: similarity and diversity
Science Fund of the Republic of Serbia, Grant No. 7750027




SEMINAR "FUNDAMENTI MATEMATIKE"

Friday, April 5, 2024 - 13:00 CET
Boris Šobot (Univerzitet u Novom Sadu)
O modelima ZFC

Apstrakt: Jedan od razloga zbog kojeg su modeli ZFC teorije posebno značajni je to što svaki takav model služi kao univerzum, "okruženje" u okviru kojeg se posmatraju modeli drugih teorija prvog reda. Međutim, ZFC nije kompletna teorija: u nekim njenim modelima mogu biti tačne formule koje u drugima nisu. Forsing je metoda kojom se od jednog modela ZFC konstruiše novi, koji može imati drugačije osobine. Na taj način se izvode dokazi nezavisnosti raznih tvrđenja sa ZFC: konstrukcijom dva modela ZFC, jednog u kojem je tačna i aksioma A i drugog u kojem nije. Na ovom predavanju ćemo, pored uvoda o modelima ZFC, razmotriti i koje su to osobine koje se ne mogu menjati prelaskom iz jednog modela u drugi (tzv. apsolutne osobine). Takođe će biti objašnjeno, na intuitivnom nivou, kako se osobine koje nisu apsolutne mogu menjati.



NOVI SAD CONFERENCES in Set Theory and General Topology















PAST AND CURRENT RESEARCH TOPICS
POSETS OF SUBMODELS:

We investigate the collections of (elementary) submodels of first order structures ordered by the inclusion and some other natural orderings. These partial orders are observed from the aspect of set theory, their cardinal and order invariants are explored and they are examined as forcing notions as well.

SET-THEORETIC FORCING:

The conditions under which forcing violates certain structures of a given model of set theory, such as ultrafilters, maximal almost disjoint families and inseparable sequences, are investigated.

BI-CONDENSABILITY AND REVERSIBILITY:

We study the condensational preorder on the class of all relational structures, induced by bijective homomorphisms (condensations), and the corresponding equivalence relation of bi-condensability. Emphasis is put on investigating the class of structures that have the property Cantor-Schroeder-Bernstein with respect to that preorder, including the structures for which each bijective endomorphism is an automorphism (the so called reversible structures).

GAMES ON BOOLEAN ALGEBRAS:

The cut-and-choose games on Boolean algebras are examined, searching for equivalent conditions for the existence of winning strategies and for the examples of Boolean algebras on which the games have different outcomes.

CONVERGENCE STRUCTURES ON BOOLEAN ALGEBRAS:

The topologies on complete Boolean algebras generated by convergence structures are explored. The relations between the topological properties of the spaces obtained in this way and the algebraic and forcing properties of the corresponding Boolean algebras are examined.

TOPOLOGICAL SPACES OBTAINED BY IDEALS:

From a starting topology there are several ways to generate a new topology by an ideal on the ground set. We study differences and similarities between those new topologies, depending on properties of the starting topology and the ideal.