26 found
Order:
  1.  15
    On ◁∗-Maximality.Mirna Džamonja & Saharon Shelah - 2004 - Annals of Pure and Applied Logic 125 (1-3):119-158.
    This paper investigates a connection between the semantic notion provided by the ordering * among theories in model theory and the syntactic SOPn hierarchy of Shelah. It introduces two properties which are natural extensions of this hierarchy, called SOP2 and SOP1. It is shown here that SOP3 implies SOP2 implies SOP1. In Shelah's article 229) it was shown that SOP3 implies *-maximality and we prove here that *-maximality in a model of GCH implies a property called SOP2″. It has been (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  2. Universal Graphs at the Successor of a Singular Cardinal.Mirna Džamonja & Saharon Shelah - 2003 - Journal of Symbolic Logic 68 (2):366-388.
    The paper is concerned with the existence of a universal graph at the successor of a strong limit singular μ of cofinality ℵ0. Starting from the assumption of the existence of a supercompact cardinal, a model is built in which for some such μ there are $\mu^{++}$ graphs on μ+ that taken jointly are universal for the graphs on μ+, while $2^{\mu^+} \gg \mu^{++}$ . The paper also addresses the general problem of obtaining a framework for consistency results at the (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  3.  49
    Diamond (on the Regulars) Can Fail at Any Strongly Unfoldable Cardinal.Mirna Džamonja & Joel David Hamkins - 2006 - Annals of Pure and Applied Logic 144 (1):83-95.
    If κ is any strongly unfoldable cardinal, then this is preserved in a forcing extension in which κ fails. This result continues the progression of the corresponding results for weakly compact cardinals, due to Woodin, and for indescribable cardinals, due to Hauser.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  4.  43
    Forcing with Finite Conditions.Gregor Dolinar & Mirna Džamonja - 2013 - Annals of Pure and Applied Logic 164 (1):49-64.
    We give a construction of the square principle by means of forcing with finite conditions.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  5. Wild Edge Colourings of Graphs.Mirna Džamonja, Péter Komjáth & Charles Morgan - 2004 - Journal of Symbolic Logic 69 (1):255 - 264.
    We prove consistent, assuming there is a supercompact cardinal, that there is a singular strong limit cardinal $\mu$ , of cofinality $\omega$ , such that every $\mu^{+}$ -chromatic graph X on $\mu^{+}$ has an edge colouring c of X into $\mu$ colours for which every vertex colouring g of X into at most $\mu$ many colours has a g-colour class on which c takes every value. The paper also contains some generalisations of the above statement in which $\mu^{+}$ is replaced (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  6.  6
    Small Universal Families of Graphs on ℵω+ 1.James Cummings, Mirna Džamonja & Charles Morgan - 2016 - Journal of Symbolic Logic 81 (2):541-569.
  7.  18
    On the Existence of Universal Models.Mirna Džamonja & Saharon Shelah - 2004 - Archive for Mathematical Logic 43 (7):901-936.
    Suppose that λ=λ <λ ≥ℵ0, and we are considering a theory T. We give a criterion on T which is sufficient for the consistent existence of λ++ universal models of T of size λ+ for models of T of size ≤λ+, and is meaningful when 2λ +>λ++. In fact, we work more generally with abstract elementary classes. The criterion for the consistent existence of universals applies to various well known theories, such as triangle-free graphs and simple theories. Having in mind (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  8.  7
    Saturated Filters at Successors of Singulars, Weak Reflection and yet Another Weak Club Principle.Mirna Džamonja & Saharon Shelah - 1996 - Annals of Pure and Applied Logic 79 (3):289-316.
    Suppose that λ is the successor of a singular cardinal μ whose cofinality is an uncountable cardinal κ. We give a sufficient condition that the club filter of λ concentrating on the points of cofinality κ is not λ+-saturated.1 The condition is phrased in terms of a notion that we call weak reflection. We discuss various properties of weak reflection. We introduce a weak version of the ♣-principle, which we call ♣*−, and show that if it holds on a stationary (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  9.  35
    Similar but Not the Same: Various Versions of ♣ Do Not Coincide.Mirna Džamonja & Saharon Shelah - 1999 - Journal of Symbolic Logic 64 (1):180 - 198.
    We consider various versions of the ♣ principle. This principle is a known consequence of $\lozenge$ . It is well known that $\lozenge$ is not sensitive to minor changes in its definition, e.g., changing the guessing requirement form "guessing exactly" to "guessing modulo a finite set". We show however, that this is not true for ♣. We consider some other variants of ♣ as well.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  10.  25
    Vassar College, 124 Raymond Avenue, Poughkeepsie, Ny 12604, Usa. In a Review, a Reference “Jsl Xliii 148,” for Example, Refers Either to the Publication Reviewed on Page 148 of Volume 43 of the Journal, or to the Review Itself (Which Contains Full Bibliographical Information for the Reviewed Publication). Analogously, a Reference “Bsl VII 376” Refers to the Review Beginning on Page 376 in Volume 7 of This Bulletin, Or. [REVIEW]Mark Colyvan Burgess, Anuj Dawar, Mirna Dzamonja, Marcelo Fiore & Hannes Leitgeb - 2009 - Bulletin of Symbolic Logic 15 (4).
    Direct download  
     
    Export citation  
     
    Bookmark  
  11.  26
    Saharon Shelah, Cardinal Arithmetic.Mirna DŽamonja - 1998 - Studia Logica 60 (3):443-448.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12.  8
    Finitely Additive Measures on Topological Spaces and Boolean Algebras, University of East Anglia, UK, 2015. Supervised by Mirna Džamonja.Zanyar A. Ameen & Mirna Džamonja - 2018 - Bulletin of Symbolic Logic 24 (2):199-200.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13.  22
    Forcing Axioms, Finite Conditions and Some More.Mirna Džamonja - 2013 - In Kamal Lodaya (ed.), Logic and its Applications. Springer. pp. 17--26.
  14.  21
    On Properties of Theories Which Preclude the Existence of Universal Models.Mirna Džamonja & Saharon Shelah - 2006 - Annals of Pure and Applied Logic 139 (1):280-302.
    We introduce the oak property of first order theories, which is a syntactical condition that we show to be sufficient for a theory not to have universal models in cardinality λ when certain cardinal arithmetic assumptions about λ implying the failure of GCH hold. We give two examples of theories that have the oak property and show that none of these examples satisfy SOP4, not even SOP3. This is related to the question of the connection of the property SOP4 to (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  15.  17
    Some Remarks on a Question of D. H. Fremlin Regarding Ε-Density.Arthur W. Apter & Mirna Džamonja - 2001 - Archive for Mathematical Logic 40 (7):531-540.
    We show the relative consistency of ℵ1 satisfying a combinatorial property considered by David Fremlin (in the question DU from his list) in certain choiceless inner models. This is demonstrated by first proving the property is true for Ramsey cardinals. In contrast, we show that in ZFC, no cardinal of uncountable cofinality can satisfy a similar, stronger property. The questions considered by D. H. Fremlin are if families of finite subsets of ω1 satisfying a certain density condition necessarily contain all (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  16. Books to Asl, Box 742, Vassar College, 124 Raymond Avenue, Poughkeepsie, Ny 12604, Usa. In a Review, a Reference “Jsl Xliii 148,” for Example, Refers Either to the Publication Reviewed on Page 148 of Volume 43 of the Journal, or to the Review Itself (Which Contains Full Bibliographical Information for the Reviewed Publication). Analogously, a Reference. [REVIEW]Mirna Dzamonja, David M. Evans, Erich Grädel, Geoffrey P. Hellman, Denis Hirschfeldt, Julia Knight, Michael C. Laskowski, Roger Maddux, Volker Peckhaus & Wolfram Pohlers - 2005 - Bulletin of Symbolic Logic 11 (2).
     
    Export citation  
     
    Bookmark  
  17.  12
    Vassar College, 124 Raymond Avenue, Poughkeepsie, Ny 12604, Usa. In a Review, a Reference “Jsl Xliii 148,” for Example, Refers Either to the Publication Reviewed on Page 148 of Volume 43 of the Journal, or to the Review Itself (Which Contains Full Bibliographical Information for the Reviewed Publication). Analogously, a Reference “Bsl VII 376” Refers to the Review Beginning on Page 376 in Volume 7 of This Bulletin, Or. [REVIEW]John Baldwin, Lev Beklemishev, Anuj Dawar, Mirna Dzamonja, David Evans, Erich Grädel, Denis Hirschfeldt, Hannes Leitgeb, Roger Maddux & Grigori Mints - 2008 - Bulletin of Symbolic Logic 14 (1).
    Direct download  
     
    Export citation  
     
    Bookmark  
  18.  10
    1995–1996 Annual Meeting of the Association for Symbolic Logic.Tomek Bartoszynski, Harvey Friedman, Geoffrey Hellman, Bakhadyr Khoussainov, Phokion G. Kolaitis, Richard Shore, Charles Steinhorn, Mirna Dzamonja, Itay Neeman & Slawomir Solecki - 1996 - Bulletin of Symbolic Logic 2 (4):448-472.
  19.  13
    Chain Models, Trees of Singular Cardinality and Dynamic Ef-Games.Mirna Džamonja & Jouko Väänänen - 2011 - Journal of Mathematical Logic 11 (1):61-85.
    Let κ be a singular cardinal. Karp's notion of a chain model of size κ is defined to be an ordinary model of size κ along with a decomposition of it into an increasing union of length cf. With a notion of satisfaction and -isomorphism such models give an infinitary logic largely mimicking first order logic. In this paper we associate to this logic a notion of a dynamic EF-game which gauges when two chain models are chain-isomorphic. To this game (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  20.  13
    Strictly Positive Measures on Boolean Algebras.Mirna Džamonja & Grzegorz Plebanek - 2008 - Journal of Symbolic Logic 73 (4):1416-1432.
    We investigate strictly positive finitely additive measures on Boolean algebras and strictly positive Radon measures on compact zerodimensional spaces. The motivation is to find a combinatorial characterisation of Boolean algebras which carry a strictly positive finitely additive finite measure with some additional properties, such as separability or nonatomicity. A possible consistent characterisation for an algebra to carry a separable separable positive measure was suggested by Talagrand in 1980, which is that the Stone space K of the algebra satisfies that its (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  21. Vassar College, 124 Raymond Avenue, Poughkeepsie, Ny 12604, Usa. In a Review, a Reference “Jsl Xliii 148,” for Example, Refers Either to the Publication Reviewed on Page 148 of Volume 43 of the Journal, or to the Review Itself (Which Contains Full Bibliographical Information for the Reviewed Publication). Analogously, a Reference “Bsl VII 376” Refers to the Review Beginning on Page 376 in Volume 7 of This Bulletin, Or. [REVIEW]Anuj Dawar Beklemishev, Mirna Dzamonja, David Evans, Erich Grädel, Denis Hirschfeldt, Hannes Leitgeb, Roger Maddux, Grigori Mints, Volker Peckhaus & Sławomir Solecki - 2008 - Bulletin of Symbolic Logic 14 (4).
     
    Export citation  
     
    Bookmark  
  22.  4
    The Singular World of Singular Cardinals. [REVIEW]Mirna Džamonja - 2015 - In Andrés Villaveces, Roman Kossak, Juha Kontinen & Åsa Hirvonen (eds.), Logic Without Borders: Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics. De Gruyter. pp. 139-146.
    Direct download  
     
    Export citation  
     
    Bookmark  
  23. Reviewed on Page 148 of Volume 43 of the Journal, or to the Review Itself (Which Contains Full Bibliographical Information for the Reviewed Publication). Analogously, a Reference" Bsl VII 376" Refers to the Review Beginning on Page 376 in Volume 7 of This Bulletin, Or. [REVIEW]Anuj Dawar Beklemishev, Mirna Dzamonja, David Evans & Erich Gr - 2008 - Bulletin of Symbolic Logic 14 (4).
     
    Export citation  
     
    Bookmark  
  24. J. Zapletal: Forcing Idealized.Mirna Džamonja - 2010 - Bulletin of Symbolic Logic 16 (2).
  25. J. Zapletal. Forcing Idealized. Cambridge Tracts in Mathematics, Vol. 174. Cambridge University Press, 2008, Vi+ 314 Pp. [REVIEW]Mirna Džamonja - 2010 - Bulletin of Symbolic Logic 16 (2):278-279.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  26. The Bulletin of Symbolic Logic Volume 11, Number 2, June 2005.Mirna Dzamonja, David M. Evans, Erich Gradel, Geoffrey P. Hellman, Denis Hirschfeldt, Julia Knight, Michael C. Laskowski, Roger Maddux, Volker Peckhaus & Wolfram Pohlers - 2005 - Bulletin of Symbolic Logic 11 (2).