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

Refined By:
Date Issued:  [1990 TO 1999]

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

Author(s)TitleIssue DateAppears inRank
1Hart, Bradd; Sokolović, Željko; Tanović, Predrag A note on a-prime models1-Jan-1999Journal of Symbolic Logic; 64(4); 1557-1562M22
2Tanović, Predrag On stable theories with finitely many countable models1998LIRA' 98, Novi Sad; 3-3M60
3Tanović, Predrag Nonisolated regular types in superstable theories1997Logic Colloquium, Leeds, UK; 68-68M30
4Tanović, Predrag On Lascar's rank and the number of countable models1997Geometric Model Theory, Toronto, Kanada; 5-5M30
5Loveys, James; Tanović, Predrag Countable models of trivial theories which admit finite coding1-Jan-1996Journal of Symbolic Logic; 61(4); 1279-1286
6Chowdhury, Ambar; Loveys, James; Tanović, Predrag A definable continuous rank for nonmultidimensional superstable theories1-Jan-1996Journal of Symbolic Logic; 61(3); 967-984
7Tanović, Predrag On the geometry of regular types1996Kurepa's Symposium, Beograd; 5-1M30
8Tanović, Predrag There are infinitely many countable models of strictly stable theories with no dense forking chains1995Publications de l'Institut Mathématique; 57; 189-195M24
9Tanović, Predrag Fundamental Order and the Number of Countable models1994doctoral thesis: Department of Mathematics and Statistics, McGill University, Montreal KanadaM70
10Herwig, Bernhard; Loveys, James; Pillay, Anand; Tanović, Predrag ; Wagner, O.Stable theories without dense forking chains1-Sep-1992Archive for Mathematical Logic; 31(5); 297-303
11Rašković, Miodrag ; Tanović, Predrag Completeness theorem for a monadic logic with both first-order and probability quantifiers1990Publications de l'Institut Mathématique; 47(61); 1-14M24

Projects
(Co-Investigators)


Results 1-3 of 3 (Search time: 0.0 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