Tanović, Predrag
Loading...
3
0
20
0
false
Full Name
Tanović, Predrag
Main Affiliation
ORCID
Scopus Author ID
Country
Serbia
Loading...
2
0
20
0
false
Results 1-14 of 14 (Search time: 0.004 seconds).
| Author(s) | Title | Issue Date | Appears in | Rank | |
|---|---|---|---|---|---|
| 1 | Tanović, Predrag | On Rubin's theories of linear order | 2018 | Set Theory, Model Theory and Applications, Eilat,Israel; 5-5 | M30 |
| 2 | Tanović, Predrag | Colored orders with equivalence relations | 2017 | Model Theory, Bedlevo, Poljska; 5-5 | M30 |
| 3 | Tanović, Predrag | Regular types and invariants they define | 2014 | Classification Theory, ICM satelite conference, Daejon, Juzna Koreja; 5-5 | M30 |
| 4 | Tanović, Predrag | Simple invariants in first order structures | 2014 | SETTOP 2014, Novi Sad; 5-5 | M30 |
| 5 | Tanović, Predrag | Kueker's conjecture | 2012 | 83. Arbeitstagung Allgemeine Algebra, Novi Sad; 5-5 | M30 |
| 6 | Tanović, Predrag | Kueker's conjecture | 2012 | Neostability, Banff, Kanada; 5-5 | M30 |
| 7 | Tanović, Predrag | Strongly regular types | 2012 | Model Theory, Wroclaw, Poljska; 5-5 | M30 |
| 8 | Tanović, Predrag | Minimal first-order structures | 2008 | Around Classification Theory, Leeds, UK; 5-5 | M30 |
| 9 | Tanović, Predrag | Strongly regular types | 2008 | Novi Sad Algebra Conference 08; 5-5 | M30 |
| 10 | Tanović, Predrag | Countable elementary extensions | 2005 | Novi Sad Algebra Conference 05; 5-5 | M30 |
| 11 | Tanović, Predrag | On stable theories with precisely three countable models | 2003 | Novi Sad Algebra Conference 03; 5-5 | M30 |
| 12 | Tanović, Predrag | Nonisolated regular types in superstable theories | 1997 | Logic Colloquium, Leeds, UK; 68-68 | M30 |
| 13 | Tanović, Predrag | On Lascar's rank and the number of countable models | 1997 | Geometric Model Theory, Toronto, Kanada; 5-5 | M30 |
| 14 | Tanović, Predrag | On the geometry of regular types | 1996 | Kurepa's Symposium, Beograd; 5-1 | M30 |
Projects
(Co-Investigators)
Results 1-3 of 3 (Search time: 0.0 seconds).
| Acronym | Title | Start date | Completion | P-Investigator |
|---|---|---|---|---|
| PROJECT 1630 | Representation of Proofs with Applications, Classification of Structures and Infinite Combinatorics | 01-01-2002 | 31-12-2005 | Došen, Kosta |
| PROJECT 174026 | Representations of logical structures and formal languages and their application in computing | 01-01-2011 | 31-12-2019 | Ghilezan, Silvia |
| PROJECT 144013 | Representations of logical structures and their application in computer science | 01-01-2006 | 31-12-2010 | Ognjanović, Zoran |