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

Results 41-52 of 52 (Search time: 0.002 seconds).

Author(s)TitleIssue DateAppears inRank
41Hart, Bradd; Sokolović, Željko; Tanović, Predrag A note on a-prime models1-Jan-1999Journal of Symbolic Logic; 64(4); 1557-1562M22
42Tanović, Predrag On stable theories with finitely many countable models1998LIRA' 98, Novi Sad; 3-3M60
43Tanović, Predrag Nonisolated regular types in superstable theories1997Logic Colloquium, Leeds, UK; 68-68M30
44Tanović, Predrag On Lascar's rank and the number of countable models1997Geometric Model Theory, Toronto, Kanada; 5-5M30
45Loveys, James; Tanović, Predrag Countable models of trivial theories which admit finite coding1-Jan-1996Journal of Symbolic Logic; 61(4); 1279-1286
46Chowdhury, Ambar; Loveys, James; Tanović, Predrag A definable continuous rank for nonmultidimensional superstable theories1-Jan-1996Journal of Symbolic Logic; 61(3); 967-984
47Tanović, Predrag On the geometry of regular types1996Kurepa's Symposium, Beograd; 5-1M30
48Tanović, Predrag There are infinitely many countable models of strictly stable theories with no dense forking chains1995Publications de l'Institut Mathématique; 57; 189-195M24
49Tanović, Predrag Fundamental Order and the Number of Countable models1994doctoral thesis: Department of Mathematics and Statistics, McGill University, Montreal KanadaM70
50Herwig, Bernhard; Loveys, James; Pillay, Anand; Tanović, Predrag ; Wagner, O.Stable theories without dense forking chains1-Sep-1992Archive for Mathematical Logic; 31(5); 297-303
51Raš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
52Tanović, Predrag Prilog teoriji probabilističkih logika1987master thesis: Matematički fakultet, Univerzitet u BeograduM71

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