Tanović, Predrag

Network Lab View Statistics Email Alert

Profile

Loading... 3 0 20 0 false
Full Name
Tanović, Predrag
Main Affiliation
 
ORCID
Scopus Author ID
Country
Serbia
Loading... 2 0 20 0 false

Publications


Results 1-20 of 21 (Search time: 0.003 seconds).

Author(s)TitleIssue DateAppears inRank
1Tanović, Predrag On Rubin's theories of linear order2018Set Theory, Model Theory and Applications, Eilat,Israel; 5-5M30
2Tanović, Predrag Colored orders with equivalence relations2017Model Theory, Bedlevo, Poljska; 5-5M30
3Ilić, Dejan; Tanović, Predrag Razlaganje linearno uredjenih struktura2014Četvrta matematička konferencija Republike Srpske. Trebinje; 101-110M60
4Tanović, Predrag O invarijantama u strukturama prvog reda2014Četvrta matematička konferencija Republike Srpske, Trebinje; 23-31M60
5Tanović, Predrag Regular types and invariants they define2014Classification Theory, ICM satelite conference, Daejon, Juzna Koreja; 5-5M30
6Tanović, Predrag Simple invariants in first order structures2014SETTOP 2014, Novi Sad; 5-5M30
7Tanović, Predrag Vaught's conjecture for theories with Skolem functions2012Logic and Topology, Novi Sad; 3-3M60
8Tanović, Predrag Kueker's conjecture201283. Arbeitstagung Allgemeine Algebra, Novi Sad; 5-5M30
9Tanović, Predrag Kueker's conjecture2012Neostability, Banff, Kanada; 5-5M30
10Tanović, Predrag Strongly regular types2012Model Theory, Wroclaw, Poljska; 5-5M30
11Tanović, Predrag Teorija modela u Srbiji2010Istorijat logike u Srbiji, Beograd; 52-58M60
12Tanović, Predrag Minimal first-order structures2008Around Classification Theory, Leeds, UK; 5-5M30
13Tanović, Predrag Strongly regular types2008Novi Sad Algebra Conference 08; 5-5M30
14Tanović, Predrag On minimal ordered structures2005Relevantnost Logike, Beograd; 3-3M60
15Tanović, Predrag O jednom problemu teorije modela (ili Algebre?)2005Dani Logike, Novi Sad; 3-3M60
16Tanović, Predrag Countable elementary extensions2005Novi Sad Algebra Conference 05; 5-5M30
17Tanović, Predrag On stable theories with precisely three countable models2003Novi Sad Algebra Conference 03; 5-5M30
18Tanović, Predrag On stable theories with finitely many countable models1998LIRA' 98, Novi Sad; 3-3M60
19Tanović, Predrag Nonisolated regular types in superstable theories1997Logic Colloquium, Leeds, UK; 68-68M30
20Tanović, Predrag On Lascar's rank and the number of countable models1997Geometric Model Theory, Toronto, Kanada; 5-5M30

Projects
(Co-Investigators)


Results 1-3 of 3 (Search time: 0.001 seconds).

AcronymTitleStart dateCompletionP-Investigator
PROJECT 1630Representation of Proofs with Applications, Classification of Structures and Infinite Combinatorics01-01-200231-12-2005Došen, Kosta
PROJECT 174026Representations of logical structures and formal languages and their application in computing01-01-201131-12-2019Ghilezan, Silvia
PROJECT 144013Representations of logical structures and their application in computer science01-01-200631-12-2010Ognjanović, Zoran