PREFERENSI MASYARAKAT MILENIAL MUSLIM TERHADAP PARIWISATA HALAL (Studi: Daerah Khusus Ibukota Jakarta)

Penelitian ini dilakukan dengan tujuan untuk menguji preferensi masyarakat milenial muslim terhadap pariwisata halal. Sampel yang digunakan dalam penelitian ini adalah masyarakat muslim milenial dengan kisaran usia 20 tahun sampai 30 tahun di DKI Jakarta sebanyak 190 responsden. Data dikumpulkan dengan menggunakan penyebaran kuesioner. Metode analisis data yang digunakan yaitu analisis structure equation models untuk mengetahui hasil dari nilai uji outter models dan uji inner models. Hasil penelitian ini menunjukkan bahwa: (1) pengetahuan berpengaruh negatif dan tidak signifikan terhadap pariwisata halal. (2) religiusitas berpengaruh positif dan signifikan terhadap pariwisata halal. (3) pendapatan berpengaruh positif dan signififkan terhadap pariwisata halal. (4) faktor sosial berpengaruh positif tetapi tidak signifikan terhadap pariwisata halal. (5) produk berpengaruh positif dan signifikan terhadap pariwisata halal. Ditinjau dari sudut pandang Islam, pariwisata halal sesuai dengan prinsip-prinsip ajaran Islam, Penelitian ini diharapkan mampu meningkatkan wawasan pada pembaca, dan terutama pada penulis sendiri.

Analysis and Evaluation of User Acceptance on the Use of Enterprise Resource Planning (ERP) Systems at PT Trisco Tailored Apparel Manufacturing

Enterprise Resource Planning is a system that connects business areas, which benefits companies by increasing productivity, reducing costs, and simplifying business processes. However, it also found a case that considers the use of ERP systems to fail. Therefore, the use of ERP systems needs to be optimized, one of which is in terms of users. This research will be analyzed and evaluated the factors that influence user acceptance using the TAM2 model. The variables used are 11 variables in TAM2, including moderator variables. This research was conducted at PT Trisco Tailored Apparel Manufacturing, with a sample of 43 and an online questionnaire as a data collection method. Data processing using SmartPLS. The analysis conducted in the analysis of inner models such as validity and reliability tests, and analysis of inner models such as the coefficient of determination and path coefficient. The final step is testing the hypothesis with the bootstrapping method. The results obtained are the most significant factor is the image of the perceived usefulness, then the perceived usefulness of the intention to use the system. It has also found that if the system were mandatory, voluntariness would not be significant. Therefore, the results of this study can use as a source of evaluation for the company.

Extensional realizability for intuitionistic set theory

In generic realizability for set theories, realizers treat unbounded quantifiers generically. To this form of realizability, we add another layer of extensionality by requiring that realizers ought to act extensionally on realizers, giving rise to a realizability universe $\mathrm{V_{ex}}(A)$ in which the axiom of choice in all finite types, ${\textsf{AC}}_{{\textsf{FT}}}$, is realized, where $A$ stands for an arbitrary partial combinatory algebra. This construction furnishes ‘inner models’ of many set theories that additionally validate ${\textsf{AC}}_{{\textsf{FT}}}$, in particular it provides a self-validating semantics for ${\textsf{CZF}}$ (constructive Zermelo–Fraenkel set theory) and ${\textsf{IZF}}$ (intuitionistic Zermelo–Fraenkel set theory). One can also add large set axioms and many other principles.

Inner models from extended logics: Part 1

If we replace first-order logic by second-order logic in the original definition of Gödel’s inner model [Formula: see text], we obtain the inner model of hereditarily ordinal definable (HOD) sets [33]. In this paper, we consider inner models that arise if we replace first-order logic by a logic that has some, but not all, of the strength of second-order logic. Typical examples are the extensions of first-order logic by generalized quantifiers, such as the Magidor–Malitz quantifier [24], the cofinality quantifier [35], or stationary logic [6]. Our first set of results show that both [Formula: see text] and HOD manifest some amount of formalism freeness in the sense that they are not very sensitive to the choice of the underlying logic. Our second set of results shows that the cofinality quantifier gives rise to a new robust inner model between [Formula: see text] and HOD. We show, among other things, that assuming a proper class of Woodin cardinals the regular cardinals [Formula: see text] of [Formula: see text] are weakly compact in the inner model arising from the cofinality quantifier and the theory of that model is (set) forcing absolute and independent of the cofinality in question. We do not know whether this model satisfies the Continuum Hypothesis, assuming large cardinals, but we can show, assuming three Woodin cardinals and a measurable above them, that if the construction is relativized to a real, then on a cone of reals, the Continuum Hypothesis is true in the relativized model.

The linearity of the Mitchell order

We show from an abstract comparison principle (the Ultrapower Axiom) that the Mitchell order is linear on sufficiently strong ultrafilters: normal ultrafilters, Dodd solid ultrafilters, and assuming GCH, generalized normal ultrafilters. This gives a conditional answer to the well-known question of whether a [Formula: see text]-supercompact cardinal [Formula: see text] must carry more than one normal measure of order 0. Conditioned on a very plausible iteration hypothesis, the answer is no, since the Ultrapower Axiom holds in the canonical inner models at the finite levels of supercompactness.