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 Cantor-Bendixson rank | Definable type | Stationary type
- 1 Complete theory | Global type | Invariant type | Linear order | Morley sequence | Regular type
- 1 Countable model | Model theory | Ordered structure | RK-minimal type
- 1 Fundamental order | Lascar's rank | Regular type | Small theory | Strongly non-isolated type | Superstable theory
- 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
Date issued
Type
- 15 Article
Results 1-15 of 15 (Search time: 0.005 seconds).
Author(s) | Title | Issue Date | Appears in | Rank | |
---|---|---|---|---|---|
1 | Tanović, Predrag ; Moconja, Slavko; Ilić, Dejan | AROUND RUBIN’S “THEORIES OF LINEAR ORDER” | 27-Oct-2020 | The Journal of Symbolic Logic; 85(4); 1403-1426 | M22 |
2 | Moconja, Slavko; Tanović, Predrag | Asymmetric regular types | 1-Jan-2015 | Annals of Pure and Applied Logic; 166(2); 93-120 | M22 |
3 | 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 |
4 | Tanović, Predrag | Generically stable regular types | 1-Jan-2015 | Journal of Symbolic Logic; 80(1); 308-321 | M22 |
5 | Krupiński, Krzysztof; Tanović, Predrag ; Wagner, Frank | Around podewski's conjecture | 2-Aug-2013 | Fundamenta Mathematicae; 222(2); 175-193 | M22 |
6 | Tanović, Predrag | Minimal first-order structures | 1-Nov-2011 | Annals of Pure and Applied Logic; 162(11); 948-957 | M22 |
7 | Tanović, Predrag | On definability of types of finite Cantor-Bendixson rank | 1-Jun-2011 | Mathematical Logic Quarterly; 57(3); 256-260 | M22 |
8 | Tanović, Predrag | Types directed by constants | 1-Apr-2010 | Annals of Pure and Applied Logic; 161(7); 944-955 | M22 |
9 | Tanović, Predrag | Asymmetric RK-minimal types | 25-Jan-2010 | Archive for Mathematical Logic; 49(3); 367-377 | M22 |
10 | Tanović, Predrag | Theories with constants and three countable models | 1-Jul-2007 | Archive for Mathematical Logic; 46(5-6); 517-527 | M22 |
11 | Tanović, Predrag | Non-isolated types in stable theories | 1-Jan-2007 | Annals of Pure and Applied Logic; 145(1); 1-15 | M22 |
12 | Tanović, Predrag | On constants and the strict order property | 1-Jan-2006 | Archive for Mathematical Logic; 45(4); 423-430 | M22 |
13 | Tanović, Predrag | A note on countable models of 1-based theories | 1-Jan-2002 | Archive for Mathematical Logic; 41(7); 669-671 | M22 |
14 | Tanović, Predrag | On the number of countable models of stable theories | 1-Jan-2001 | Fundamenta Mathematicae; 169(2); 139-144 | M22 |
15 | Hart, Bradd; Sokolović, Željko; Tanović, Predrag | A note on a-prime models | 1-Jan-1999 | Journal of Symbolic Logic; 64(4); 1557-1562 | M22 |
Projects
(Co-Investigators)
Results 1-3 of 3 (Search time: 0.001 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 |