scholarly journals From the weak to the strong existence property

2012 ◽  
Vol 163 (10) ◽  
pp. 1400-1418 ◽  
Author(s):  
Michael Rathjen
Keyword(s):  
Existence Property ◽  
Strong Existence

scholarly journals CZF does not have the existence property

2014 ◽  
Vol 165 (5) ◽  
pp. 1115-1147 ◽  
Author(s):  
Andrew W. Swan
Keyword(s):  
Existence Property

scholarly journals The Development of Social Influence and Aesthetic on Purchase Intention

2021 ◽  
Vol 25 (1) ◽  
pp. 1
Author(s):  
Alberta Honylia Novitasari Sambe, Jony Oktavian Haryanto
Keyword(s):  
Social Influence ◽  
Purchase Intention ◽  
Structural Equation ◽  
Purchase Behavior ◽  
Equation Modeling ◽  
Gaming Industry ◽  
Social Games ◽  
Virtual Economy ◽  
New Perspective ◽  
Strong Existence

Due to the development of internet nowadays, people utilize it with games and it results in the development of gaming industries that leads to strong existence of virtual economy. However, the development of the gaming industry in Indonesia was indeed a little late compared to other countries. This study generates a new perspective that describes purchase intention on virtual goods in Massively Multiplayer Online Social Games (MMOSG), Audition, in Indonesia. This research is done through a survey by using questionnaire which acquired 200 Audition players as respondents. The data processing used is structural equation modeling. Results of the study show factors that significantly influence purchase intention on virtual goods are social influence and aesthetic in which purchase intention affects actual purchase behavior, while price utility and satisfaction do not influence purchase intention.

The disjunction and related properties for constructive Zermelo-Fraenkel set theory

2005 ◽  
Vol 70 (4) ◽  
pp. 1233-1254 ◽  
Author(s):  
Michael Rathjen
Keyword(s):  
Set Theory ◽  
Proof Technique ◽  
Disjunction Property ◽  
Regular Extension ◽  
Existence Property ◽  
Extension Axiom

AbstractThis paper proves that the disjunction property, the numerical existence property. Church's rule, and several other metamathematical properties hold true for Constructive Zermelo-Fraenkel Set Theory, CZF, and also for the theory CZF augmented by the Regular Extension Axiom.As regards the proof technique, it features a self-validating semantics for CZF that combines realizability for extensional set theory and truth.

scholarly journals An Agglomeration Benefits of Oil and Gas Firms: An Exploratory Study Through Industrial Cluster

2021 ◽  
Vol 55 (No 1) ◽  
pp. 45-64
Author(s):  
Maryam Kalhoro ◽  
Dahshila Junejo ◽  
Sanobar Salman Shaikh
Keyword(s):  
Crude Oil ◽  
Exploratory Study ◽  
Oil And Gas ◽  
Study Data ◽  
Oil Consumption ◽  
Secondary Sources ◽  
Exploration And Production ◽  
Oil And Gas Resources ◽  
Oil And Gas Firms ◽  
Strong Existence

The research investigates the agglomeration pattern of seven national, international oil and gas extraction and production companies through an exploration of oil and gas cluster components and subcomponents.For this exploratory study, data is collected through primary sources via in-depth interviews from managers of national and international oil and gas MNCs working in Sindh, Pakistan and through secondary sources ofbusiness reports. The content analysis is adopted to analyze the data. Results of this study reveal that there is strong existence of exploration and production companies which results in agglomeration, however, other components of oil and gas cluster like refineries, marketing companies, supporting institutes, media and government poorly exist in Sindh province of Pakistan. Findings also highlight that the Sindh as a resource-rich region is still underdeveloped due to poor management of resources or because of the absence of ideal oil and gas cluster components and coordination among them in the region. _________________________Keywords:Agglomeration, Oil and Gas sector, cluster components, regional development Sindh, Pakistan.INTRODUCTIONPakistan is rich in oil and gas reserves that can sufficiently help to accelerate the economic growth of the country (Haque and Arif, 2007).According to Akbar (2005), Pakistan is the country which mainly depends on oil and gas resources for their energy consumption. Since the 1980s, the country's crude oil consumption is greater than the production. The average crude oil production in the year 2013 is 51.32, and its consumption is 285.38 barrels per day, respectively

scholarly journals On the Proximity of Markets with Integral Equilibria

2019 ◽  
Vol 33 ◽  
pp. 1748-1755 ◽  
Author(s):  
Siddharth Barman ◽  
Sanath Kumar Krishnamurthy
Keyword(s):  
Polynomial Time ◽  
Fair Division ◽  
Prior Work ◽  
Indivisible Goods ◽  
Polynomial Time Algorithms ◽  
Fairness And Efficiency ◽  
Pareto Efficient ◽  
Efficient Allocations ◽  
Strong Existence ◽  
Strongly Polynomial

We study Fisher markets that admit equilibria wherein each good is integrally assigned to some agent. While strong existence and computational guarantees are known for equilibria of Fisher markets with additive valuations (Eisenberg and Gale 1959; Orlin 2010), such equilibria, in general, assign goods fractionally to agents. Hence, Fisher markets are not directly applicable in the context of indivisible goods. In this work we show that one can always bypass this hurdle and, up to a bounded change in agents’ budgets, obtain markets that admit an integral equilibrium. We refer to such markets as pure markets and show that, for any given Fisher market (with additive valuations), one can efficiently compute a “near-by,” pure market with an accompanying integral equilibrium.Our work on pure markets leads to novel algorithmic results for fair division of indivisible goods. Prior work in discrete fair division has shown that, under additive valuations, there always exist allocations that simultaneously achieve the seemingly incompatible properties of fairness and efficiency (Caragiannis et al. 2016); here fairness refers to envyfreeness up to one good (EF1) and efficiency corresponds to Pareto efficiency. However, polynomial-time algorithms are not known for finding such allocations. Considering relaxations of proportionality and EF1, respectively, as our notions of fairness, we show that fair and Pareto efficient allocations can be computed in strongly polynomial time.

scholarly journals MassArray analysis of genomic susceptibility variants in ovarian cancer

2020 ◽  
Vol 10 (1) ◽  
Author(s):  
Sonali Verma ◽  
Indu Sharma ◽  
Varun Sharma ◽  
Amrita Bhat ◽  
Ruchi Shah ◽  
...  
Keyword(s):  
Ovarian Cancer ◽  
Odds Ratio ◽  
Gene Interaction ◽  
P Value ◽  
Nucleotide Polymorphisms ◽  
Single Nucleotide ◽  
Jammu And Kashmir ◽  
Interactive Analysis ◽  
Strong Existence

AbstractOvarian cancer (OC), a multifaceted and genetically heterogeneous malignancy is one of the most common cancers among women. The aim of the study is to unravel the genetic factors associated with OC and the extent of genetic heterogeneity in the populations of Jammu and Kashmir (J&K).Using the high throughput Agena MassARRAY platform, present case control study was designed which comprises 200 histopathological confirmed OC patients and 400 age and ethnicity matched healthy controls to ascertain the association of previously reported eleven single nucleotide polymorphisms (SNPs) spread over ten genes (DNMT3A, PIK3CA, FGFR2, GSTP1, ERCC5, AKT1, CASC16, CYP19A1, BCL2 and ERCC1) within the OC population of Jammu and Kashmir, India. The association of each variant was estimated using logistic regression analyses. Out of the 11 SNPs the odds ratio observed for three SNPs; rs2699887 was (1.72 at 95% CI: 1.19–2.48, p = 0.004), rs1695 was (1.87 at 95% CI: 1.28–2.71, p = 0.001), and rs2298881 was (0.66 at 95% CI: 0.46–0.96, p = 0.03) were found significantly associated with the OC after correction with confounding factors i.e. age & BMI. Furthermore, the estimation of interactive analyses was performed and odds ratio observed was 2.44 (1.72–3.47), p value < 0. 001 suggests that there was a strong existence of interplay between the selected genetic variants in OC, which demonstrate that interactive analysis highlights the role of gene–gene interaction that provides an insight among multiple little effects of various polymorphisms in OC.

Sign in / Sign up

Export Citation Format

Share Document