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
Subject
- 1 Binding group | Lascar's rank | NENI type | Stable group | Superstable theory
- 1 Cantor-Bendixson rank | Definable type | Stationary type
- 1 Complete theory | Condensation | Linear ordering
- 1 Complete theory | Global type | Invariant type | Linear order | Morley sequence | Regular type
- 1 Countable model | Model theory | Ordered structure | RK-minimal type
- 1 Generically stable type | Invariant type | Morley sequence | Regular type | RK-minimal type | Rudin-Keisler order
- 1 Minimal field, minimal group | Podewski's conjecture | Valued group
- 1 Minimal structure | Model theory | Pregeometry | Semi-isolation
- 1 Model theory | Ordered structure | Semi-isolation | Small theory
- 1 Nonisolated type | Powerful type | Semi-isolation | Small theory
- next >
Type
Results 1-20 of 24 (Search time: 0.046 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 | Moconja, Slavko; Tanović, Predrag | Asymmetric regular types | 1-Jan-2015 | Annals of Pure and Applied Logic; 166(2); 93-120 | M22 |
4 | Sudoplatov, Sergey; Tanović, Predrag | Semi-isolation and the strict order property | 1-Jan-2015 | Notre Dame Journal of Formal Logic; 56(4); 555-572 | M22 |
5 | Ilić, Dejan; Moconja, Slavko; Tanović, Predrag | Groups with finitely many countable models | 1-Jan-2015 | Publications de l'Institut Mathematique; 97(111); 33-41 | M24 |
6 | Tanović, Predrag | Generically stable regular types | 1-Jan-2015 | Journal of Symbolic Logic; 80(1); 308-321 | M22 |
7 | Ilić, Dejan; Tanović, Predrag | A definable condensation of linear orderings | 1-Jan-2014 | Novi Sad Journal of Mathematics; 44(2); 225-234 | M51 |
8 | Ilić, Dejan; Tanović, Predrag | Razlaganje linearno uredjenih struktura | 2014 | Četvrta matematička konferencija Republike Srpske. Trebinje; 101-110 | M60 |
9 | Tanović, Predrag | O invarijantama u strukturama prvog reda | 2014 | Četvrta matematička konferencija Republike Srpske, Trebinje; 23-31 | M60 |
10 | Tanović, Predrag | Regular types and invariants they define | 2014 | Classification Theory, ICM satelite conference, Daejon, Juzna Koreja; 5-5 | M30 |
11 | Tanović, Predrag | Simple invariants in first order structures | 2014 | SETTOP 2014, Novi Sad; 5-5 | M30 |
12 | Tanović, Predrag | Simple groups and the number of countable models | 1-Nov-2013 | Archive for Mathematical Logic; 52(7-8); 779-791 | M23 |
13 | Krupiński, Krzysztof; Tanović, Predrag ; Wagner, Frank | Around podewski's conjecture | 2-Aug-2013 | Fundamenta Mathematicae; 222(2); 175-193 | M22 |
14 | Tanović, Predrag | On kueker's conjecture | 1-Dec-2012 | Journal of Symbolic Logic; 77(4); 1245-1256 | M21 |
15 | Tanović, Predrag | Vaught's conjecture for theories with Skolem functions | 2012 | Logic and Topology, Novi Sad; 3-3 | M60 |
16 | Tanović, Predrag | Kueker's conjecture | 2012 | 83. Arbeitstagung Allgemeine Algebra, Novi Sad; 5-5 | M30 |
17 | Tanović, Predrag | Kueker's conjecture | 2012 | Neostability, Banff, Kanada; 5-5 | M30 |
18 | Tanović, Predrag | Strongly regular types | 2012 | Model Theory, Wroclaw, Poljska; 5-5 | M30 |
19 | Tanović, Predrag | Minimal first-order structures | 1-Nov-2011 | Annals of Pure and Applied Logic; 162(11); 948-957 | M22 |
20 | Tanović, Predrag | On definability of types of finite Cantor-Bendixson rank | 1-Jun-2011 | Mathematical Logic Quarterly; 57(3); 256-260 | M22 |
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 |