Results for 'Margar Sargsyan'

37 found
Order:
  1.  2
    Mardě, havatkʻě, tiezerkʻě.Margar Sargsyan - 2007 - Erevan: Zangak 97.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  2.  21
    Varsovian models I.Grigor Sargsyan & Ralf Schindler - 2018 - Journal of Symbolic Logic 83 (2):496-528.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  3. Efficient Markov network discovery using particle filters.Dimitris Margaritis & Facundo Bromberg - 2009 - In L. Magnani (ed.), computational intelligence. pp. 25--4.
     
    Export citation  
     
    Bookmark  
  4.  14
    On the prewellorderings associated with the directed systems of mice.Grigor Sargsyan - 2013 - Journal of Symbolic Logic 78 (3):735-763.
  5.  12
    Tame failures of the unique branch hypothesis and models of ADℝ + Θ is regular.Grigor Sargsyan & Nam Trang - 2016 - Journal of Mathematical Logic 16 (2):1650007.
    In this paper, we show that the failure of the unique branch hypothesis for tame iteration trees implies that in some homogenous generic extension of [Formula: see text] there is a transitive model [Formula: see text] containing [Formula: see text] such that [Formula: see text] is regular. The results of this paper significantly extend earlier works from [Non-tame mice from tame failures of the unique branch bypothesis, Canadian J. Math. 66 903–923; Core models with more Woodin cardinals, J. Symbolic Logic (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  15
    The mouse set conjecture for sets of reals.Grigor Sargsyan & John Steel - 2015 - Journal of Symbolic Logic 80 (2):671-683.
  7.  74
    Descriptive inner model theory.Grigor Sargsyan - 2013 - Bulletin of Symbolic Logic 19 (1):1-55.
    The purpose of this paper is to outline some recent progress in descriptive inner model theory, a branch of set theory which studies descriptive set theoretic and inner model theoretic objects using tools from both areas. There are several interlaced problems that lie on the border of these two areas of set theory, but one that has been rather central for almost two decades is the conjecture known as the Mouse Set Conjecture. One particular motivation for resolving MSC is that (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  8.  30
    Nontame mouse from the failure of square at a singular strong limit cardinal.Grigor Sargsyan - 2014 - Journal of Mathematical Logic 14 (1):1450003.
    Building on the work of Schimmerling [Coherent sequences and threads, Adv. Math.216 89–117] and Steel [PFA implies AD L, J. Symbolic Logic70 1255–1296], we show that the failure of square principle at a singular strong limit cardinal implies that there is a nontame mouse. The proof presented is the first inductive step beyond L of the core model induction that is aimed at getting a model of ADℝ + "Θ is regular" from the failure of square at a singular strong (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  9.  16
    An inner model theoretic proof of Becker’s theorem.Grigor Sargsyan - 2019 - Archive for Mathematical Logic 58 (7-8):999-1003.
    We re-prove Becker’s theorem from Becker :229–234, 1981) by showing that \}\) implies that \\vDash ``\omega _2\) is -supercompact”. Our proof uses inner model theoretic tools instead of Baire category. We also show that \ is \-strongly compact.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10.  4
    Negative results on precipitous ideals on.Grigor Sargsyan - forthcoming - Journal of Symbolic Logic:1-28.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11.  9
    Sealing of the universally baire sets.Grigor Sargsyan & Nam Trang - 2021 - Bulletin of Symbolic Logic 27 (3):254-266.
    A set of reals is universally Baire if all of its continuous preimages in topological spaces have the Baire property. ${\sf Sealing}$ is a type of generic absoluteness condition introduced by Woodin that asserts in strong terms that the theory of the universally Baire sets cannot be changed by set forcings. The ${\sf Largest\ Suslin\ Axiom}$ is a determinacy axiom isolated by Woodin. It asserts that the largest Suslin cardinal is inaccessible for ordinal definable surjections. Let ${\sf LSA}$ - ${\sf (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12.  7
    Urvagits XIX dari hay imastasirutʻyan.Aram Hakobi Sargsyan - 2001 - Erevan: Vanevan.
    Direct download  
     
    Export citation  
     
    Bookmark  
  13.  15
    $$AD_{mathbb {R}}$$ A D R implies that all sets of reals are $$Theta $$ Θ universally Baire.Grigor Sargsyan - 2020 - Archive for Mathematical Logic 60 (1-2):1-15.
    We show that assuming the determinacy of all games on reals, every set of reals is \ universally baire.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  14.  51
    On the indestructibility aspects of identity crisis.Grigor Sargsyan - 2009 - Archive for Mathematical Logic 48 (6):493-513.
    We investigate the indestructibility properties of strongly compact cardinals in universes where strong compactness suffers from identity crisis. We construct an iterative poset that can be used to establish Kimchi–Magidor theorem from (in The independence between the concepts of compactness and supercompactness, circulated manuscript), i.e., that the first n strongly compact cardinals can be the first n measurable cardinals. As an application, we show that the first n strongly compact cardinals can be the first n measurable cardinals while the strong (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  15.  60
    On HOD-supercompactness.Grigor Sargsyan - 2008 - Archive for Mathematical Logic 47 (7-8):765-768.
    During his Fall 2005 set theory seminar, Woodin asked whether V-supercompactness implies HOD-supercompactness. We show, as he predicted, that that the answer is no.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  16.  23
    An Inner Model Proof of the Strong Partition Property for $delta^{2}_{1}$.Grigor Sargsyan - 2014 - Notre Dame Journal of Formal Logic 55 (4):563-568.
    Assuming $V=L+AD$, using methods from inner model theory, we give a new proof of the strong partition property for ${\sim}{ \delta }^{2}_{1}$. The result was originally proved by Kechris et al.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  17.  12
    Citation: 10.2307/23595462.Review by: Grigor Sargsyan - 2013 - Bulletin of Symbolic Logic 19 (4):492-496,.
  18.  12
    The Rasūlids and the Bountiful Sea: Marine Resources, State Control, and Maritime Culture in the Southern Red Sea and the Gulf of Aden (626/1229‒854/1454). [REVIEW]Roxani Eleni Margariti - 2021 - Der Islam: Journal of the History and Culture of the Middle East 98 (1):69-99.
    Relying on textual, ethnographic, and environmental scholarship on Yemen and the comparative insights of research into fisheries in the premodern Mediterranean world, the present study surveys the types of marine resources that appear across a wide range of literary and documentary sources pertaining to Yemen during the reign of the Rasūlids from the early 7th/13th to the mid-9th/15th century. Although Rasūlid-generated texts pay relatively scant attention to fishing, they clearly demonstrate the interest of the Rasūlid state in both the subsistence (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  19.  7
    ADR\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$AD_{\mathbb {R}}$$\end{document} implies that all sets of reals are Θ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Theta $$\end{document} universally Baire. [REVIEW]Grigor Sargsyan - 2021 - Archive for Mathematical Logic 60 (1-2):1-15.
    We show that assuming the determinacy of all games on reals, every set of reals is Θ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Theta $$\end{document} universally baire.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20.  9
    Wadge degrees and projective ordinals. The Cabal Seminar, Volume II, edited by A. S. Kechris, B. Löwe, and J.R. Steel, Lecture Notes in Logic, vol. 37. Association for Symbolic Logic and Cambridge University Press, Cambridge, 2012, xxii + 526 pp. [REVIEW]Grigor Sargsyan - 2013 - Bulletin of Symbolic Logic 19 (4):492-496.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21.  9
    In inner models with Woodin cardinals.Sandra Müller & Grigor Sargsyan - 2021 - Journal of Symbolic Logic 86 (3):871-896.
    We analyze the hereditarily ordinal definable sets $\operatorname {HOD} $ in $M_n[g]$ for a Turing cone of reals x, where $M_n$ is the canonical inner model with n Woodin cardinals build over x and g is generic over $M_n$ for the Lévy collapse up to its bottom inaccessible cardinal. We prove that assuming $\boldsymbol \Pi ^1_{n+2}$ -determinacy, for a Turing cone of reals x, $\operatorname {HOD} ^{M_n[g]} = M_n,$ where $\mathcal {M}_{\infty }$ is a direct limit of iterates of $M_{n+1}$, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22.  69
    An equiconsistency for universal indestructibility.Arthur W. Apter & Grigor Sargsyan - 2010 - Journal of Symbolic Logic 75 (1):314-322.
    We obtain an equiconsistency for a weak form of universal indestructibility for strongness. The equiconsistency is relative to a cardinal weaker in consistency strength than a Woodin cardinal. Stewart Baldwin's notion of hyperstrong cardinal. We also briefly indicate how our methods are applicable to universal indestructibility for supercompactness and strong compactness.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  23.  14
    Hod up to A D R + Θ is measurable.Rachid Atmai & Grigor Sargsyan - 2019 - Annals of Pure and Applied Logic 170 (1):95-108.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  24.  20
    Universal indestructibility for degrees of supercompactness and strongly compact cardinals.Arthur W. Apter & Grigor Sargsyan - 2008 - Archive for Mathematical Logic 47 (2):133-142.
    We establish two theorems concerning strongly compact cardinals and universal indestructibility for degrees of supercompactness. In the first theorem, we show that universal indestructibility for degrees of supercompactness in the presence of a strongly compact cardinal is consistent with the existence of a proper class of measurable cardinals. In the second theorem, we show that universal indestructibility for degrees of supercompactness is consistent in the presence of two non-supercompact strongly compact cardinals, each of which exhibits a significant amount of indestructibility (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  25.  13
    Derived models of mice below the least fixpoint of the Solovay sequence.Dominik Adolf & Grigor Sargsyan - 2019 - Journal of Symbolic Logic 84 (1):27-53.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  26.  12
    On ω-strongly measurable cardinals in ℙmax extensions.Navin Aksornthong, Takehiko Gappo, James Holland & Grigor Sargsyan - forthcoming - Journal of Mathematical Logic.
    We show that in the [Formula: see text] extension of a certain Chang-type model of determinacy, if [Formula: see text], then the restriction of the club filter on [Formula: see text] Cof[Formula: see text] to HOD is an ultrafilter in HOD. This answers Question 4.11 of [O. Ben-Neria and Y. Hayut, On [Formula: see text]-strongly measurable cardinals, Forum Math. Sigma 11 (2023) e19].
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  27.  28
    Jonsson-like partition relations and j: V → V.Arthur W. Apter & Grigor Sargsyan - 2004 - Journal of Symbolic Logic 69 (4):1267-1281.
    Working in the theory “ZF + There is a nontrivial elementary embedding j: V → V ”, we show that a final segment of cardinals satisfies certain square bracket finite and infinite exponent partition relations. As a corollary to this, we show that this final segment is composed of Jonsson cardinals. We then show how to force and bring this situation down to small alephs. A prototypical result is the construction of a model for ZF in which every cardinal μ (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  28.  36
    Madison, WI, USA March 31–April 3, 2012.Alan Dow, Isaac Goldbring, Warren Goldfarb, Joseph Miller, Toniann Pitassi, Antonio Montalbán, Grigor Sargsyan, Sergei Starchenko & Moshe Vardi - 2013 - Bulletin of Symbolic Logic 19 (2).
  29.  57
    Identity crises and strong compactness III: Woodin cardinals. [REVIEW]Arthur W. Apter & Grigor Sargsyan - 2006 - Archive for Mathematical Logic 45 (3):307-322.
    We show that it is consistent, relative to n ∈ ω supercompact cardinals, for the strongly compact and measurable Woodin cardinals to coincide precisely. In particular, it is consistent for the first n strongly compact cardinals to be the first n measurable Woodin cardinals, with no cardinal above the n th strongly compact cardinal being measurable. In addition, we show that it is consistent, relative to a proper class of supercompact cardinals, for the strongly compact cardinals and the cardinals which (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  30.  5
    L’Aspis.Anna Philippa-Touchais, Gilles Touchais, Sylvian Fachard, Laurence Hapiot & Evi Margaritis - 2012 - Bulletin de Correspondance Hellénique 136 (2):593-611.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  31.  10
    Kirrha.Despina Skorda, Julien Zurbach, Irô Mathioudaki, Anna Lagia, Ioanna Moutafi, Evi Margaritis & Gilles Sintès - 2011 - Bulletin de Correspondance Hellénique 135 (2):535-539.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  32.  64
    Indestructible strong compactness but not supercompactness.Arthur W. Apter, Moti Gitik & Grigor Sargsyan - 2012 - Annals of Pure and Applied Logic 163 (9):1237-1242.
  33.  25
    J. Steel, PFA implies_ AD _L_(ℝ). _ _The Journal of Symbolic Logic_ _, vol. 70 (2005), no. 4, pp. 1255–1296. - G. Sargsyan, _Nontame mouse from the failure of square at a singular strong limit cardinal_. _ _Journal of Mathematical Logic_ _, vol. 14 (2014), 1450003 (47 pages). - G. Sargsyan, _Covering with universally Baire operators_. _ _Advances in Mathematics_ _, vol. 268 (2015), pp. 603–665. - N. Trang, _PFA and guessing models_. _ _Israel Journal of Mathematics_ , vol. 215 (2016), pp. 607–667. [REVIEW]Sandra Müller - 2020 - Bulletin of Symbolic Logic 26 (1):89-92.
  34.  15
    William Chan, An introduction to combinatorics of determinacy, Trends in Set Theory (S. Coskey and G. Sargsyan, editors), Contemporary Mathematics, vol. 752, Providence, RI, American Mathematical Society, 2020, pp. 21–75. [REVIEW]Thilo Weinert - 2021 - Bulletin of Symbolic Logic 27 (1):91-93.
  35.  20
    Reducing the consistency strength of an indestructibility theorem.Arthur W. Apter - 2008 - Mathematical Logic Quarterly 54 (3):288-293.
    Using an idea of Sargsyan, we show how to reduce the consistency strength of the assumptions employed to establish a theorem concerning a uniform level of indestructibility for both strong and supercompact cardinals.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  36.  29
    Accessing the switchboard via set forcing.Shoshana Friedman - 2012 - Mathematical Logic Quarterly 58 (4-5):303-306.
    We force a property of cardinals first proved relatively consistent by Sargsyan, that of being supercompact but not equation image-supercompact, starting from a model of set theory which does not satisfy equation image and that contains supercompact cardinals.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  37.  10
    Indestructibility when the first two measurable cardinals are strongly compact.Arthur W. Apter - 2022 - Journal of Symbolic Logic 87 (1):214-227.
    We prove two theorems concerning indestructibility properties of the first two strongly compact cardinals when these cardinals are in addition the first two measurable cardinals. Starting from two supercompact cardinals $\kappa _1 < \kappa _2$, we force and construct a model in which $\kappa _1$ and $\kappa _2$ are both the first two strongly compact and first two measurable cardinals, $\kappa _1$ ’s strong compactness is fully indestructible, and $\kappa _2$ ’s strong compactness is indestructible under $\mathrm {Add}$ for any (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark