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 Binary reduct | Definable linear orders | Linearly ordered structures | Weak quasi-o-minimality
- 1 Binding group | Lascar's rank | NENI type | Stable group | Superstable theory
- 1 Cantor-Bendixson rank | Definable type | Stationary type
- 1 Coloured order | dp-Minimality | Shuffling relation | Stationarily ordered type | Vaught's conjecture | Weakly quasi-o-minimal theory
- 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 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
- next >
Date issued
Type
Results 21-40 of 52 (Search time: 0.03 seconds).
| Author(s) | Title | Issue Date | Appears in | Rank | |
|---|---|---|---|---|---|
| 21 | Tanović, Predrag | Strongly regular types | 2012 | Model Theory, Wroclaw, Poljska; 5-5 | M30 |
| 22 | Tanović, Predrag | Minimal first-order structures | 1-Nov-2011 | Annals of Pure and Applied Logic; 162(11); 948-957 | M22 |
| 23 | Tanović, Predrag | On definability of types of finite Cantor-Bendixson rank | 1-Jun-2011 | Mathematical Logic Quarterly; 57(3); 256-260 | M22 |
| 24 | Pillay, Anand; Tanović, Predrag | Generic stability, regularity and quasiminimality | 2011 | Models, Logic and Higher-Dimensional Categories: A Tribute to the work of Mihaly Makkai; 53 | M14 |
| 25 | Tanović, Predrag | Types directed by constants | 1-Apr-2010 | Annals of Pure and Applied Logic; 161(7); 944-955 | M22 |
| 26 | Tanović, Predrag | Asymmetric RK-minimal types | 25-Jan-2010 | Archive for Mathematical Logic; 49(3); 367-377 | M22 |
| 27 | Tanović, Predrag | Teorija modela u Srbiji | 2010 | Istorijat logike u Srbiji, Beograd; 52-58 | M60 |
| 28 | Tanović, Predrag | Minimal first-order structures | 2008 | Around Classification Theory, Leeds, UK; 5-5 | M30 |
| 29 | Tanović, Predrag | Strongly regular types | 2008 | Novi Sad Algebra Conference 08; 5-5 | M30 |
| 30 | Tanović, Predrag | Some questions concerning minimal structures | 1-Dec-2007 | Publications de l'Institut Mathematique; 96; 79-83 | |
| 31 | Tanović, Predrag | Theories with constants and three countable models | 1-Jul-2007 | Archive for Mathematical Logic; 46(5-6); 517-527 | M22 |
| 32 | Tanović, Predrag | Non-isolated types in stable theories | 1-Jan-2007 | Annals of Pure and Applied Logic; 145(1); 1-15 | M22 |
| 33 | Tanović, Predrag | On constants and the strict order property | 1-Jan-2006 | Archive for Mathematical Logic; 45(4); 423-430 | M22 |
| 34 | Tanović, Predrag | On minimal ordered structures | 2005 | Relevantnost Logike, Beograd; 3-3 | M60 |
| 35 | Tanović, Predrag | O jednom problemu teorije modela (ili Algebre?) | 2005 | Dani Logike, Novi Sad; 3-3 | M60 |
| 36 | Tanović, Predrag | On minimal ordered structures | 2005 | Publications de l'Institut Mathématique; 78(92); 65-72 | M24 |
| 37 | Tanović, Predrag | Countable elementary extensions | 2005 | Novi Sad Algebra Conference 05; 5-5 | M30 |
| 38 | Tanović, Predrag | On stable theories with precisely three countable models | 2003 | Novi Sad Algebra Conference 03; 5-5 | M30 |
| 39 | Tanović, Predrag | A note on countable models of 1-based theories | 1-Jan-2002 | Archive for Mathematical Logic; 41(7); 669-671 | M22 |
| 40 | Tanović, Predrag | On the number of countable models of stable theories | 1-Jan-2001 | Fundamenta Mathematicae; 169(2); 139-144 | 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 |