110 research outputs found

    Finite Undecidability in Fields II: PAC, PRC and PpC Fields

    Full text link
    A field KK in a ring language L\mathcal{L} is finitely undecidable if \mbox{Cons}(\Sigma) is undecidable for every nonempty finite \Sigma \subseteq \mbox{Th}(K; \mathcal{L}). We adapt arguments originating with Cherlin-van den Dries-Macintyre/Ershov (for PAC fields), Haran (for PRC fields), and Efrat (for PpC fields) to prove all PAC, PRC, and (bounded) PpC fields are finitely undecidable. This work is drawn from the author's PhD thesis and is a sequel to arXiv:2210.12729.Comment: 24 page

    Scott Sentences in Uncountable Structures

    Get PDF
    Using elementary first order logic we can prove many things about models and theories, however more can be gleamed if we consider sentences with countably many conjunctions and disjunctions, yet still have the restriction of using only finitely many quantifiers. A logic with this feature is L_{\omega_1 , \omega}. In 1965 Scott proved by construction the existence of an L_{\omega_1 , \omega} sentence that could describe a countable model up to isomorphism. This type of infinitary sentence is now known as a Scott sentence. Given an infinitary cardinal \kappa, we wish to find a set of conditions such that if a countable model satisfies (or can be expanded to satisfy) these conditions, a Scott sentence of it will have a model of cardinality \kappa

    Transnational advocacy networks confront transnational tobacco marketing

    Get PDF
    Version of RecordWorld Health Organization's (WHO) Framework Convention on Tobacco Control (FCTC) is a major blow to the worldwide expansion strategies and marketing practices of transnational tobacco companies. As expected, the industry vehemently opposed the treaty, lobbying instead for voluntary agreements and regulation by the market. However, in spite of bitter and persistent opposition by the tobacco industry, the FCTC was adopted by WHO. If the tobacco industry 'lost' its battle to prevent FCTC from being institutionalized, who 'won' and how? Our research suggests that Transnational Advocacy Network's (set of non-state actors working together on an international issue that are bound together by shared values, common discourse, and dense exchange of information and services) efforts won the battle by being able to better convince the decision-makers as to the needs of the FCTC by relying on, and successfully disseminating, its knowledge, expertise and ideas.Mukherjee, A. & Tyrrell, B. (2007, October). Transnational advocacy networks confront transnational tobacco marketing. Presented at the Academy of International Business U.S. Northeast Chapter Regional Meeting, Portsmouth, New Hampshire. Retrieved from http://academicarchive.snhu.ed

    Session 3-1-E: Modeling Change in the Profile of the Atlantic City Visitor

    Full text link
    The Atlantic City casino market has faced increasing competition over the past decade, particularly since the introduction of Pennsylvania gaming in 2006. In response to this increased competition, the State of New Jersey, through legislation, created a public private partnership to both redevelop parts of the city and devote significant marketing dollars into shaping the image of the city. The private side of that partnership, the Atlantic City Alliance (ACA), found in their earliest consumer research that Atlantic City’s image as a gaming destination was well established, but that the city was less known for the retail, entertainment and restaurants it had to offer. In an effort to help broaden Atlantic City’s image and visitor base, the ACA launched the “DO AC” campaign, a campaign that featured very little in terms of gaming but rather focused on the non-gaming aspects of the resort. This study examines significant differences between recent visitors (2012) to the Atlantic City market and those who visited the year prior to the announcement of the public private partnership (2010). The Levenson Institute of Gaming, Hospitality and Tourism at the Richard Stockton College of New Jersey commissioned two studies that profiled the Atlantic City visitor, a February 2011 study where 125 Atlantic City visitors (2010 visitors) were surveyed and a February 2013 study which produced 683 Atlantic City visitor (2012 visitors) responses. The surveys were conducted in February of both 2011 and 2013, with the data collected by the Hughes Center for Public Policy’s Polling Institute at the college and Zogby International. A logistic regression model highlights some important demographic and behavioral differences between the 2010 and 2012 visitors to the Atlantic City casino market. Particular attention is paid to the spending habits between the two groups. Significant differences are discussed

    Development of an architectural design tool for 3-D VLSI sensors

    Get PDF
    Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2004.Includes bibliographical references (p. 153-159).Three dimensional integration schemes for VLSI have the potential for enabling the development of new high-performance architectures for applications such as focal plane sensors. Due to the high costs involved in 3-D VLSI fabrication and the fabrication complexity of 3-D integration, analysis of the design and process tradeoffs for a particular application is essential. An architectural and topological design tool is presented that enables the high-level analysis and optimization of sensor architectures targeted to a variety of 3-D VLSI process options. This design tool is based on an inference chain evaluation framework, and allows for a high-level structural representation of a circuit architecture to be considered in conjunction with low-level process models. Approximation strategies for projecting circuit area and performance are incorporated into the inference chain relations.by Brian Tyrrell.S.M

    Cybergriping: Violating the Law while E-Complaining

    Get PDF
    The emergence of Web communications has given rise to complaint sites which serve as central forums for both consumers and employees to share their bad experiences. These complaint sites provide for cybergriping in various forms. This paper explores the concept of cybergriping and its relevance to the hospitality and tourism industry from employee and customer perspectives. Court cases in which cybergriping played a key role are reviewed, and recommendations are offered on how hospitality and tourism businesses can address the problem of cybergriping

    A proposed integrated approach for the preclinical evaluation of phage therapy in Pseudomonas infections

    Get PDF
    Bacteriophage therapy is currently resurging as a potential complement/alternative to antibiotic treatment. However, preclinical evaluation lacks streamlined approaches. We here focus on preclinical approaches which have been implemented to assess bacteriophage efficacy against Pseudomonas biofilms and infections. Laser interferometry and profilometry were applied to measure biofilm matrix permeability and surface geometry changes, respectively. These biophysical approaches were combined with an advanced Airway Surface Liquid infection model, which mimics in vitro the normal and CF lung environments, and an in vivo Galleria larvae model. These assays have been implemented to analyze KTN4 (279,593 bp dsDNA genome), a type-IV pili dependent, giant phage resembling phiKZ. Upon contact, KTN4 immediately disrupts the P. aeruginosa PAO1 biofilm and reduces pyocyanin and siderophore production. The gentamicin exclusion assay on NuLi-1 and CuFi-1 cell lines revealed the decrease of extracellular bacterial load between 4 and 7 logs and successfully prevents wild-type Pseudomonas internalization into CF epithelial cells. These properties and the significant rescue of Galleria larvae indicate that giant KTN4 phage is a suitable candidate for in vivo phage therapy evaluation for lung infection applications
    • …
    corecore