24 found
Order:
Disambiguations
Stevo Todorcevic [30]Stevo B. Todorčević [1]
  1.  39
    Forcing by non-scattered sets.Miloš S. Kurilić & Stevo Todorčević - 2012 - Annals of Pure and Applied Logic 163 (9):1299-1308.
  2.  51
    Cofinal types of ultrafilters.Dilip Raghavan & Stevo Todorcevic - 2012 - Annals of Pure and Applied Logic 163 (3):185-199.
  3.  16
    Cofinal types on ω 2.Borisa Kuzeljevic & Stevo Todorcevic - 2023 - Mathematical Logic Quarterly 69 (1):92-103.
    In this paper we start the analysis of the class, the class of cofinal types of directed sets of cofinality at most ℵ2. We compare elements of using the notion of Tukey reducibility. We isolate some simple cofinal types in, and then proceed to find some of these types which have an immediate successor in the Tukey ordering of.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  27
    The poset of all copies of the random graph has the 2-localization property.Miloš S. Kurilić & Stevo Todorčević - 2016 - Annals of Pure and Applied Logic 167 (8):649-662.
  5.  49
    (1 other version)Conjectures of Rado and Chang and special Aronszajn trees.Stevo Todorčević & Víctor Torres Pérez - 2012 - Mathematical Logic Quarterly 58 (4-5):342-347.
    We show that both Rado's Conjecture and strong Chang's Conjecture imply that there are no special ℵ2-Aronszajn trees if the Continuum Hypothesis fails. We give similar result for trees of higher heights and we also investigate the influence of Rado's Conjecture on square sequences.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  6.  13
    Forcing with copies of the Rado and Henson graphs.Osvaldo Guzmán & Stevo Todorcevic - 2023 - Annals of Pure and Applied Logic 174 (8):103286.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  7.  61
    Combinatorial dichotomies in set theory.Stevo Todorcevic - 2011 - Bulletin of Symbolic Logic 17 (1):1-72.
    We give an overview of a research line concentrated on finding to which extent compactness fails at the level of first uncountable cardinal and to which extent it could be recovered on some other perhaps not so large cardinal. While this is of great interest to set theorists, one of the main motivations behind this line of research is in its applicability to other areas of mathematics. We give some details about this and we expose some possible directions for further (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  8.  71
    (1 other version)Trees and Ehrenfeucht–Fraı̈ssé games.Stevo Todorčević & Jouko Väänänen - 1999 - Annals of Pure and Applied Logic 100 (1-3):69-97.
    Trees are natural generalizations of ordinals and this is especially apparent when one tries to find an uncountable analogue of the concept of the Scott-rank of a countable structure. The purpose of this paper is to introduce new methods in the study of an ordering between trees whose analogue is the usual ordering between ordinals. For example, one of the methods is the tree-analogue of the successor operation on the ordinals.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  9.  22
    Collapsing $$omega _2$$ with semi-proper forcing.Stevo Todorcevic - 2018 - Archive for Mathematical Logic 57 (1-2):185-194.
    We examine the differences between three standard classes of forcing notions relative to the way they collapse the continuum. It turns out that proper and semi-proper posets behave differently in that respect from the class of posets that preserve stationary subsets of \.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  10.  15
    Can you take Komjath's inaccessible away?Hossein Lamei Ramandi & Stevo Todorcevic - 2024 - Annals of Pure and Applied Logic 175 (7):103452.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11.  31
    Prime ideals on P ω (λ) with the partition property.Pierre Matet, Cédric Péan & Stevo Todorcevic - 2002 - Archive for Mathematical Logic 41 (8):743-764.
    We use ideas of Fred Galvin to show that under Martin's axiom, there is a prime ideal on Pω (λ) with the partition property for every \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}\end{document}.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  12.  43
    Baumgartner’s isomorphism problem for $$\aleph _2$$ ℵ 2 -dense suborders of $$\mathbb {R}$$ R.Justin Tatch Moore & Stevo Todorcevic - 2017 - Archive for Mathematical Logic 56 (7-8):1105-1114.
    In this paper we will analyze Baumgartner’s problem asking whether it is consistent that \ and every pair of \-dense subsets of \ are isomorphic as linear orders. The main result is the isolation of a combinatorial principle \\) which is immune to c.c.c. forcing and which in the presence of \ implies that two \-dense sets of reals can be forced to be isomorphic via a c.c.c. poset. Also, it will be shown that it is relatively consistent with ZFC (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  13.  23
    Dense metrizability.Stevo Todorcevic - 2024 - Annals of Pure and Applied Logic 175 (1):103327.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  28
    Rado's Conjecture and Ascent Paths of Square Sequences.Stevo Todorčević & Víctor Torres Pérez - 2014 - Mathematical Logic Quarterly 60 (1-2):84-90.
    This is a continuation of our paper where we show that Rado's Conjecture can trivialize ‐sequences in some cases when ϑ is not necessarily a successor cardinal.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  15.  5
    Posets of copies of countable ultrahomogeneous tournaments.Miloš S. Kurilić & Stevo Todorčević - 2024 - Annals of Pure and Applied Logic 175 (10):103486.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16. University of Nevada, Las Vegas, Las Vegas, Nevada June 1–4, 2002.Scot Adams, Shaughan Lavine, Zlil Sela, Natarajan Shankar, Stephen Simpson, Stevo Todorcevic & Theodore A. Slaman - 2003 - Bulletin of Symbolic Logic 9 (1).
     
    Export citation  
     
    Bookmark  
  17. REVIEWS-Two papers.James Baumgartner & Stevo Todorcevic - 2000 - Bulletin of Symbolic Logic 6 (4):497-497.
  18.  33
    Moscone Center West, San Francisco, CA January 15–16, 2010.Fernando J. Ferreira, John Harrison, François Loeser, Chris Miller, Joseph S. Miller, Slawomir J. Solecki, Stevo Todorcevic & John Steel - 2010 - Bulletin of Symbolic Logic 16 (3).
    Direct download  
     
    Export citation  
     
    Bookmark  
  19.  42
    A hierarchy of tree-automatic structures.Olivier Finkel & Stevo Todorčević - 2012 - Journal of Symbolic Logic 77 (1):350-368.
    We consider ω n -automatic structures which are relational structures whose domain and relations are accepted by automata reading ordinal words of length ω n for some integer n ≥ 1. We show that all these structures are ω-tree-automatic structures presentable by Muller or Rabin tree automata. We prove that the isomorphism relation for ω 2 -automatic (resp. ω n -automatic for n > 2) boolean algebras (respectively, partial orders, rings, commutative rings, non commutative rings, non commutative groups) is not (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  20.  25
    Local sentences and Mahlo cardinals.Olivier Finkel & Stevo Todorcevic - 2007 - Mathematical Logic Quarterly 53 (6):558-563.
    Local sentences were introduced by Ressayre in [6] who proved certain remarkable stretching theorems establishing the equivalence between the existence of finite models for these sentences and the existence of some infinite well ordered models. Two of these stretching theorems were only proved under certain large cardinal axioms but the question of their exact strength was left open in [4]. Here we solve this problem, using a combinatorial result of J. H. Schmerl [7]. In fact, we show that the stretching (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21.  26
    Property {(hbar)} and cellularity of complete Boolean algebras.Miloš S. Kurilić & Stevo Todorčević - 2009 - Archive for Mathematical Logic 48 (8):705-718.
    A complete Boolean algebra ${\mathbb{B}}$ satisfies property ${(\hbar)}$ iff each sequence x in ${\mathbb{B}}$ has a subsequence y such that the equality lim sup z n = lim sup y n holds for each subsequence z of y. This property, providing an explicit definition of the a posteriori convergence in complete Boolean algebras with the sequential topology and a characterization of sequential compactness of such spaces, is closely related to the cellularity of Boolean algebras. Here we determine the position of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  22.  1
    Higher dimensional chain conditions.Stevo Todorcevic & Jing Zhang - forthcoming - Journal of Mathematical Logic.
    We investigate higher dimensional chain conditions, where the largeness notion is given by Fubini products of a given ideal. From strong saturation properties of an ideal, we derive abstractly versions of higher dimensional [Formula: see text]-system lemma, which imply many posets, including any finite support iteration of [Formula: see text]-centered posets and measure algebras, satisfy the higher dimensional chain conditions. We then show that if a poset satisfies a strengthening of the [Formula: see text]-finite chain condition by Horn and Tarski, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  23.  37
    Real functions on the family of all well-ordered subsets of a partially ordered set.Stevo Todorčević - 1983 - Journal of Symbolic Logic 48 (1):91-96.
  24.  40
    (1 other version)James E. Baumgartner. Bases for Aronszajn trees. Tsukuba journal of mathematics, vol. 9 , pp. 31–40. - James E. Baumgartner. Polarized partition relations and almost-disjoint functions. Logic, methodology and philosophy of science VIII, Proceedings of the Eighth International Congress of Logic, Methodology and Philosophy of Science, Moscow, 1987, edited by Jens Erik Fenstad, Ivan T. Frolov, and Risto Hilpinen, Studies in logic and the foundations of mathematics, vol. 126, North-Holland, Amsterdam etc. 1989, pp. 213–222. [REVIEW]Stevo Todorcevic - 2000 - Bulletin of Symbolic Logic 6 (4):497-498.