For decision making in government, it is necessary to have well-structured sources of information. In several countries, it is difficult to access government data as the information are dispersed, disconnected, and poorly structured. For this reason, this work presents a framework to gather, unify, and enrich missing person data from distributed web sources. The framework allows inserting new tasks specific to the user’s domain to improve data quality. In this study, Brazilian missing person data from non-governmental organizations (NGOs) and governmental (...) websites were collected and semantically enriched. To enhance the understanding of the gathered missing people cases, we create interpretive models using machine learning techniques to extract knowledge and to encourage the use of standards for publishing the data that are frequently ignored by organizations, hindering analysis and decision-making on data. After the collection and semantic enrichment process, there was an increase of approximately 11% in the data present in the base. Also, the mining process evidenced the disappearance and reappearance of a person in Brazil according to several factors such as age, state initiatives, skin tone, hair colors, etc. (shrink)

We investigate the theory Peano Arithmetic with Indiscernibles ( \(\textrm{PAI}\) ). Models of \(\textrm{PAI}\) are of the form \(({\mathcal {M}},I)\), where \({\mathcal {M}}\) is a model of \(\textrm{PA}\), _I_ is an unbounded set of order indiscernibles over \({\mathcal {M}}\), and \(({\mathcal {M}},I)\) satisfies the extended induction scheme for formulae mentioning _I_. Our main results are Theorems A and B following. _Theorem A._ _Let_ \({\mathcal {M}}\) _be a nonstandard model of_ \(\textrm{PA}\) _ of any cardinality_. \(\mathcal {M }\) _has an expansion (...) to a model of _ \(\textrm{PAI}\) _iff_ \( {\mathcal {M}}\) _has an inductive partial satisfaction class._ Theorem A yields the following corollary, which provides a new characterization of countable recursively saturated models of \(\textrm{PA}\) : _Corollary._ _A countable model_ \({\mathcal {M}}\) of \(\textrm{PA}\) _is recursively saturated iff _ \({\mathcal {M}}\) _has an expansion to a model of _ \(\textrm{PAI}\). _Theorem B._ _There is a sentence _ \(\alpha \) _ in the language obtained by adding a unary predicate_ _I_(_x_) _to the language of arithmetic such that given any nonstandard model _ \({\mathcal {M}}\) _of_ \(\textrm{PA}\) _ of any cardinality_, \({\mathcal {M}}\) _has an expansion to a model of _ \(\text {PAI}+\alpha \) _iff_ \({\mathcal {M}}\) _has a inductive full satisfaction class._. (shrink)

This book is a theoretically and historically informed exploration of 'secularism' in Muslim contexts. It does this through a critical assessment of an influential tradition of thinking about Islam and secularism, derived from the work of anthropologist Talal Asad and his followers. The study employs the tools of comparative historical sociology and sociology of knowledge to engage with the assumptions of Asadian theory. Ultimately, Enayat argues against nativist assertions drawn from the experience of Western modernity and provides a qualified (...) defense of secularism. (shrink)

By a well-known result of Kotlarski et al., first-order Peano arithmetic \ can be conservatively extended to the theory \ of a truth predicate satisfying compositional axioms, i.e., axioms stating that the truth predicate is correct on atomic formulae and commutes with all the propositional connectives and quantifiers. This result motivates the general question of determining natural axioms concerning the truth predicate that can be added to \ while maintaining conservativity over \. Our main result shows that conservativity fails even (...) for the extension of \ obtained by the seemingly weak axiom of disjunctive correctness \ that asserts that the truth predicate commutes with disjunctions of arbitrary finite size. In particular, \ implies \\). Our main result states that the theory \ coincides with the theory \ obtained by adding \-induction in the language with the truth predicate. This result strengthens earlier work by Kotlarski and Cieśliński. For our proof we develop a new general form of Visser’s theorem on non-existence of infinite descending chains of truth definitions and prove it by reduction to Gödel’s second incompleteness theorem, rather than by using the Visser–Yablo paradox, as in Visser’s original proof. (shrink)

Let ${\cal T}$ be any of the three canonical truth theories CT^− (compositional truth without extra induction), FS^− (Friedman–Sheard truth without extra induction), or KF^− (Kripke–Feferman truth without extra induction), where the base theory of ${\cal T}$ is PA. We establish the following theorem, which implies that ${\cal T}$ has no more than polynomial speed-up over PA. Theorem.${\cal T}$is feasibly reducible to PA, in the sense that there is a polynomial time computable function f such that for every ${\cal T}$-proof (...) π of an arithmetical sentence ϕ, f(π) is a PA-proof of ϕ. (shrink)

Gaining a high level of proficiency is the ultimate aspiration of all language learners, and the use of apology and politeness strategies is consistently associated with the levels of language proficiency. Owing to the significance of speech acts, politeness strategies, and level of proficiency, this study aimed to investigate the realization of apology speech acts and politeness strategies among Iranian EFL learners to examine and compare the lower-intermediate and advanced learners’ use of apology and politeness strategies. To achieve this goal, (...) 320 learners were selected out of 390 EFL learners who took a test of English language proficiency and were then divided into lower-intermediate and advanced levels. The findings of the study revealed significant differences between lower-intermediate and advanced Iranian EFL learners in the realization of the speech act of apology and politeness strategies. Advanced learners preferred to use more indirect and complicated forms of apology speech acts and tended to apply negative politeness and off-record strategies more than the lower-intermediate learners did. However, lower-intermediate learners preferred to use simple and more direct forms of apology and politeness strategies. It can be concluded that as learners increase their knowledge in the target language, and as their interlanguages get closer to the target language, they tend to apply more complicated and native-like speech acts and strategies . (shrink)

Background and Aim: Global trends and national policies have made internationalization and paying attention to the international markets of higher education inevitable on the one hand and becoming a legal requirement of Iranian medical sciences universities on the other hand. Therefore, the main goal of this article was to show, by examining the experience of international marketing of higher education in Tehran University of Medical Sciences, what are the futures of international marketing of higher education in medical sciences? Materials and (...) methods: in this documented data and the views, knowledge and lived experiences of the beneficiaries of the University of Medical Sciences were the basis of the study, and in the following, the methods of documentary studies, trend analysis, brainstorming, expert panel, theme analysis and scenario planning were used. Results: The most important achievement of this article is that among the challenges facing the international marketing of higher education in the University of Medical Sciences, two driving forces have the highest importance and uncertainty in shaping the future of this issue, including: sustainable security and cultural development. Conclusion: The normalization of political and economic relations with the world along with appropriate cultural development inside and outside the university and acceptance of cultural, racial, religious, intellectual, ethnic and gender differences strengthens the marketing process of higher education. In such a situation, the risk of investing in providing international higher education will be reduced. Therefore, the most expensive and the most important uncertainty facing the country's universities in international marketing is the attitude and approach of science and technology governance to the relations and structure governing the international system. (shrink)

A model \ of ZF is said to be condensable if \\prec _{\mathbb {L}_{{\mathcal {M}}}} {\mathcal {M}}\) for some “ordinal” \, where \:=,\in )^{{\mathcal {M}}}\) and \ is the set of formulae of the infinitary logic \ that appear in the well-founded part of \. The work of Barwise and Schlipf in the 1970s revealed the fact that every countable recursively saturated model of ZF is cofinally condensable \prec _{\mathbb {L}_{{\mathcal {M}}}}{\mathcal {M}}\) for an unbounded collection of \). Moreover, it (...) can be readily shown that any \-nonstandard condensable model of \ is recursively saturated. These considerations provide the context for the following result that answers a question posed to the author by Paul Kindvall Gorbow.Theorem A. Assuming a modest set-theoretic hypothesis, there is a countable model \ of ZFC that is both definably well-founded is in the well-founded part of \}\) and cofinally condensable. We also provide various equivalents of the notion of condensability, including the result below.Theorem B. The following are equivalent for a countable model \ of \: \ is condensable. \ is cofinally condensable. \ is nonstandard and \\prec _{\mathbb {L}_{{\mathcal {M}}}}{\mathcal {M}}\) for an unbounded collection of \. (shrink)

This study was a Persian-English comparative translation investigation on the selected poems of Forough- Farrokhzad, an influential contemporary Iranian poet. Two English translations were analyzed: one by a native Persian speaker, Sholeh Wolpé, an Iranian poet and translator, and the other by a non-native Persian speaker, Jascha Kessler, an American poet, writer and translator. The translations were reviewed according to Vinay and Darbelnet’s(1995) model which identifies two general translation strategies: direct and oblique, resembling literal versus free classifications, respectively, along with (...) their supplementary proce- dures in order to investigate the frequency of the application of each procedure by the two translators. After situating every line of the poems in the related categories, the number of times each procedure was em- ployed was examined. The findings indicated that both translators used the oblique strategy more than the direct one. The non-native translator, however, used the oblique strategy considerably more frequently com- pared to the native translator. Finally, new procedures called complementary procedures were proposed by the researchers to be added to Vinay and Darbelnet’s (1995) model in order to fill the gaps in the application of strategies and procedures to the poems of Forough Farrokhzad and probably other poems. (shrink)

We employ the lens provided by formal truth theory to study axiomatizations of Peano Arithmetic ${\textsf {(PA)}}$. More specifically, let Elementary Arithmetic ${\textsf {(EA)}}$ be the fragment $\mathsf {I}\Delta _0 + \mathsf {Exp}$ of ${\textsf {PA}}$, and let ${\textsf {CT}}^-[{\textsf {EA}}]$ be the extension of ${\textsf {EA}}$ by the commonly studied axioms of compositional truth ${\textsf {CT}}^-$. We investigate both local and global properties of the family of first order theories of the form ${\textsf {CT}}^-[{\textsf {EA}}] +\alpha $, where $\alpha (...) $ is a particular way of expressing “ ${\textsf {PA}}$ is true” (using the truth predicate). Our focus is dominantly on two types of axiomatizations, namely: (1) schematic axiomatizations that are deductively equivalent to ${\textsf {PA}}$ and (2) axiomatizations that are proof-theoretically equivalent to the canonical axiomatization of ${\textsf {PA}}$. (shrink)

Background: A better understanding of the pattern of epidemic-related referrals to healthcare centers might allow the identification of vulnerabilities and the required changes that the healthcare management system should undergo. Objectives: This study aimed to investigate the COVID-19 referral pattern and the role of media and health management planning in changing the trends. Methods: Data extracted from the electronic medical database of Imam Khomeini Hospital Complex (IKHC), located in Tehran, Iran, from February 20 to June 4, 2020 were examined. Individuals (...) were divided into two groups, COVID-19 positive and negative. We used Google Trends to evaluate Google Internet search queries and also available policy documents, programs, and official news related to COVID-19 in Iran during the mentioned period. Results: In this study, 8647 individuals aged 46.05 ± 16.5 years were referred to IKHC. Approximately 57% were male, and 70% were COVID-19 positive. The most clinical symptoms were dyspnea, fever, cough, and myalgia. Chronic kidney disease (CKD) and type 2 diabetes mellitus were the most common underlying health conditions. In the first two weeks, the percentage of negative cases was higher than positive cases and then the pattern was reversed, when people searched for information about COVID-19 in media. Conclusions: Proper and timely information and education to people through the media and health management measures can be effective in reducing unnecessary visits to health centers, preventing the exhaustion of medical staff, and controlling the disease during epidemics. (shrink)

Introduction The major burden of the COVID-19 pandemic has been mainly on healthcare workers (HCWs) and as a result many of them have been afflicted with the disease thus far. -/- Purpose The present study was an effort to investigate Tehran University of Medical Sciences HCWs' experiences of COVID-19 during the pandemic in Tehran, Iran. -/- Methods This study is essentially a conventional qualitative content analysis. Twenty-six HCWs (including 7 physicians, 16 nurses, and 3 physiotherapists) were purposefully selected to participate (...) in the study. The data were collected from April 2020 to January 2021 through semi-structured face-to-face interviews. The interviews were transcribed and then analyzed based on the Graneheim and Lundman method using MAXQDA 12. -/- Results Based on the qualitative content analysis which resulted in 364 initial codes, three themes and eight subthemes were extracted. The extracted themes were “support,” “control,” and “improvement.” -/- Conclusions HCWs are in close contact with COVID-19 patients as part of their professional careers and the provision of quality patient care in times of crises is unattainable unless HCWs enjoy support and their own health is maintained. Making institutional, national, and international preparations for their protection is an obligation. (shrink)

This study investigated the rhetorical move structure of the dental sciences research article abstract (RAA) genre using Swales’ (2004) model of move analysis, CARS (Create a Research Space), to find the frequency of rhetorical moves and steps in RAAs of the selected journals and also to examine the association between the frequency of moves and steps in the RAAs. To this end, 251 abstracts from articles published in 2018, 2019, and 2020 in four Iranian PubMed-indexed dentistry journals were selected and (...) examined. The frequencies were counted and compared using the Chi Square statistic. The findings revealed that all of the abstracts included M3S4 and M3S5, and all but only one, included M3S1. Yet, M3S2 and M3S7 had not been used in the abstracts whatsoever, and M1S3 had been employed only once. It was also found that the RAAs in the Journal of Dentistry and the Dental Research Journal used the steps considerably more frequently than the RAAs in the Journal of Dental Research and Frontiers in Dentistry. The findings of this study can provide EAP instructors with practical insights into the needs and wants of dental students, and also serve as a complement to the guidelines for academic writing for dental researchers to produce more received RAAs. (shrink)

Rooted in the heart of Vygotsky’s Sociocultural Theory, mediation has recently received considerable attention in the field of TEFL. The existing literature suggests that mediation can play an essential role in language learners’ performance development. In addition, learners need to know about their thinking process which is interpreted as metacognition. This study aimed to investigate the effect of teacher- and peer-assisted evaluative mediation on learners’ metacognitive awareness development. To this end, 40 homogenized intermediate EFL learners were selected using a test (...) of English language proficiency. The participants were then randomly divided into teacher-assisted (n=20) and peer-assisted (n=20) groups. Before the instructional phase, a metacognitive awareness questionnaire was given to the participants. At the instructional phase, the learners in the teacher-assisted group received teacher-assisted mediation. The learners in the peer-assisted group, however, were exposed to mediation provided by their peers. After the instructional phase, the metacognitive awareness questionnaire was given to the participants as the posttest of the study. SPSS was used to analyze the data. The descriptive statistics, the Shapiro-Wilk test of normality, and the Paired Sample T-test for inferential statistics were used to analyze the data. The findings showed that peer-assisted evaluative mediation had positive effects on developing students’ level of metacognitive awareness, whereas teacher-assisted evaluative mediation did not reveal such effects. It could be concluded that peer-assisted evaluative mediation is an effective tool for improving students’ metacognitive awareness. (shrink)

We present a novel, perspicuous framework for building iterated ultrapowers. Furthermore, our framework naturally lends itself to the construction of a certain type of order indiscernibles, here dubbed tight indiscernibles, which are shown to provide smooth proofs of several results in general model theory.

Given a model \ of set theory, and a nontrivial automorphism j of \, let \\) be the submodel of \ whose universe consists of elements m of \ such that \=x\) for every x in the transitive closure of m ). Here we study the class \ of structures of the form \\), where the ambient model \ satisfies a frugal yet robust fragment of \ known as \, and \=m\) whenever m is a finite ordinal in the sense (...) of \ Our main achievement is the calculation of the theory of \ as precisely \-\. The following theorems encapsulate our principal results:Theorem A. Every structure in \ satisfies \-\.Theorem B. Each of the following three conditions is sufficient for a countable structure \ to be in \: \ is a transitive model of \-\. \ is a recursively saturated model of \-\. \ is a model of \.Theorem C. Suppose \ is a countable recursively saturated model of \ and I is a proper initial segment of \ that is closed under exponentiation and contains \. There is a group embedding \ from \\) into \\) such that I is the longest initial segment of \ that is pointwise fixed by \ for every nontrivial \.\)In Theorem C, \\) is the group of automorphisms of the structure X, and \ is the ordered set of rationals. (shrink)

The first case of COVID-19 in Iran was officially reported by the Iranian Government in February 19, 2020. In order to control and prevent the infection, the Government closed all the universities and requested the people to stay at home. Consequently, Tehran University of Medical Sciences (TUMS), like other universities, cancelled all the face-to-face classes in different Schools, and since the exact date for the resolution of this calamity could not be determined, TUMS decided to proceed the education flow through (...) the available Learning Management System (LMS). As one of the departments of the university, TUMS Department of Foreign Languages devised a plan and prepared itself for the new situation. This paper is a narrative account of the transition. Through reading this narration as a case of educational solution in the preset particular situation, language professors can adopt and implement efficient strategies and approaches in their educational settings. (shrink)

Background and Aim: Today universities admit International Students as well as national students. Tehran University of Medical Sciences has been also started admitting International Students in regards of its Internationalization aims. Student’s satisfaction is of high importance in order to gain the given goals. The purpose of this study was to evaluate the satisfaction of International students of TUMS. -/- Materials and Methods: This was a descriptive study. The target group was international students of TUMS, the participants were selected through (...) availability sampling. The research instrument was researcher-made questionnaire which the reliability calculated as 0.97 by Chronbach’s alpha. The data was analysied by Microsoft Excell version 2010. -/- Results: The overall satisfaction of the students was 70% (satisfied and completely satisfied) while the overall dissatisfaction was 10% (dissatisfied and completely dissatisfied). -/- Conclusion: Given satisfaction of more than half of the International students, TUMS has performed reasonably. Based on the results obtained in this research the university may pay attention to the fields reported as dissatisfied. (shrink)

The literature on using scoring rubrics in writing assessment denotes the significance of rubrics as practical and useful means to assess the quality of writing tasks. This study tries to investigate the agreement among rubrics endorsed and used for assessing the essay writing tasks by the internationally recognized tests of English language proficiency. To carry out this study, two hundred essays (task 2) from the academic IELTS test were randomly selected from about 800 essays from an official IELTS center, a (...) representative of IDP Australia, which was taken between 2015 and 2016. The test takers were 19 to 42 years of age, 120 of them were female and 80 were males. Three raters were provided with four sets of rubrics used for scoring the essay writing task of tests developed by Educational Testing Service (ETS) and Cambridge English Language Assessment (i.e., Independent TOELF iBT, GRE, CPE, and CAE) to score the essays which had been previously scored officially by a certified IELTS examiner. The data analysis through correlation and factor analysis showed a general agreement among raters and scores; however, some deviant scorings were spotted by two of the raters. Follow-up interviews and a questionnaire survey revealed that the source of score deviations could be related to the raters’ interests and (un)familiarity with certain exams and their corresponding rubrics. Specifically, the results indicated that despite the significance which can be attached to rubrics in writing assessment, raters themselves can exceed them in terms of impact on scores. (shrink)

Inspired by the recent trends in education towards learner autonomy with their emphasis on the interests and desires of the students, and borrowing ideas from philosophy (particularly ethics), the present study is an attempt to investigate the discrepancy in the findings of the studies addressing error correction in L2 writing instruction, and suggest the (oft-neglected) students’ beliefs, interests and wants as what can point the way out of confusion. To this end, a questionnaire was developed and 56 advanced adult EFL (...) learners were asked to complete the questionnaire. The opinions of 20 EFL teachers were also collected using another questionnaire. Twenty-three of the students and 13 of the teachers were then interviewed in an attempt to collect explanations for their answers in the questionnaires. The results indicated that all the learners wanted the errors in their writings to be corrected. About 90 percent of them believed that all the errors in their writings should be corrected and only less than 10 percent of them agreed that there is no need to correct all the errors and that only “important” errors should be rectified. On the contrary, of the teachers who participated in the study, only 20 percent believed that all the errors in the students’ writings should be corrected. While most of the interviewed students attributed their preference of choice to feeling more confident and efficient in learning when they can recognize all the errors in their written assignments, most of the teachers believed that by correcting important errors (and not all errors), learners can get the most of their writings. Given the incongruity between teachers’ and (advanced) students’ beliefs over writing error correction, and considering advanced students as legitimate decision makers for their own learning, some suggestions are offered for EFL writing teachers. -/- . (shrink)

A DO model (here also referred to a Paris model) is a model of set theory all of whose ordinals are first order definable in . Jeffrey Paris (1973) initiated the study of DO models and showed that (1) every consistent extension T of ZF has a DO model, and (2) for complete extensions T, T has a unique DO model up to isomorphism iff T proves V=OD. Here we provide a comprehensive treatment of Paris models. Our results include the (...) following:1. If T is a consistent completion of ZF+V≠OD, then T has continuum-many countable nonisomorphic Paris models.2. Every countable model of ZFC has a Paris generic extension.3. If there is an uncountable well-founded model of ZFC, then for every infinite cardinal κ there is a Paris model of ZF of cardinality κ which has a nontrivial automorphism.4. For a model ZF, is a prime model ⇒ is a Paris model and satisfies AC⇒ is a minimal model. Moreover, Neither implication reverses assuming Con(ZF). (shrink)

Introducing alternative modes of assessment is but one response to the recent call for democratic and ethical language assessment. Yet, despite the recent emphasis in the discourse community and the rise in publication on alternative assessment, these new forms of assessment still need to be explored further. This study is a two-fold attempt: first, to investigate teachers’ attitudes and beliefs about different aspects of traditional testing and alternative assessment, and second to delve into their ethical orientation and to examine views (...) on language testing apropos of their general ethical viewpoints. A questionnaire was developed and used to collect Iranian EFL teachers’ views on language testing and ethics in general (N = 153). The results indicated that despite its agreed-upon disadvantages, an obstinate stigmatization and refusal of traditional testing may still seem a practice at odds with the common sense. In fact, until a better proposal can be offered, alternative assessment and traditional testing can best be regarded as supplements rather than substitutes. (shrink)

We develop the method of iterated ultrapower representation to provide a unified and perspicuous approach for building automorphisms of countable recursively saturated models of Peano arithmetic . In particular, we use this method to prove Theorem A below, which confirms a long-standing conjecture of James Schmerl.Theorem AIf is a countable recursively saturated model of in which is a strong cut, then for any there is an automorphism j of such that the fixed point set of j is isomorphic to .We (...) also fine-tune a number of classical results. One of our typical results in this direction is Theorem B below, which generalizes a theorem of Kaye–Kossak–Kotlarski .Theorem BSuppose is a countable recursively saturated model of in which is a strong cut. There is a group embedding from into such that for each that is fixed point free, moves every undefinable element of. (shrink)

Background Improving the competencies of nurses requires improving educational methods through the use of novel methods in teaching and learning. We aim to explore the perceptions of stakeholders (including nursing education directors, faculty members and nursing students) of the requirements of implementing innovative educational approaches in nursing. -/- Methods In this qualitative descriptive study, 19 participants, including educational directors, faculty members, and undergraduate and graduate nursing students, were selected through the purposeful sampling method. Achieving the theoretical saturation in extracted categories (...) was considered as a criterion for determining the sample size and the completion of sampling. The data were collected from December 2019 to May 2020 in nursing schools of Tehran, Iran, through in-depth semi-structured individual face-to-face interviews and were then analyzed based on the Graneheim and Lundman method. -/- Results Using qualitative content analysis, eight sub-themes and three themes were extracted. The extracted themes were ‘novel educational policymaking’, ‘Innovative education-oriented platform’, and ‘managing barriers of innovative educational approaches’. -/- Conclusions Developing and implementing innovative educational approaches entail providing appropriate context, structure, and required facilities by the policymaking system and educational authorities. In addition, developing capacity and related competencies of faculty members and students as the major stakeholders in employing these approaches is crucial. (shrink)

The University of Tehran English Proficiency Test (UTEPT) is a high-stakes entrance examination taken by more than 10,000 master’s degree holders annually. The examinees’ scores have a significant influence on the final decisions concerning admission to the University of Tehran Ph.D. programs. As a test validation investigation, the present study, which is a bias detection research in nature, utilized multistep logistic regression (LR) procedure to examine the presence of gender differential item functioning (DIF) in the UTEPT with a sample of (...) 6,555 examinees who took the test in November 2006. Specifically, the LR DIF two-degree of freedom Chi-squared test of significance was employed to test the significance of DIF. Following what has been recently suggested in the literature, the test of significance for DIF was accompanied by a measure of magnitude, namely the R-squared effect size for LR DIF, for the interpretation of which the two widely accepted classification schemes were used comparatively. The results reveal that 39 of the 100 items in the test display significant gender differences. However, these group differences are viewed as “negligible” based on both of the schemes. Accordingly, it could be argued that the UTEPT is a gender DIF-free test, though the Reading Comprehension section of the test remains in need of further analysis as it seems that the general trend of DIF indices at the item level may hint at an inclination towards males. (shrink)

The principal result of this paper answers a long-standing question in the model theory of arithmetic [R. Kossak, J. Schmerl, The Structure of Models of Peano Arithmetic, Oxford University Press, 2006, Question 7] by showing that there exists an uncountable arithmetically closed family of subsets of the set ω of natural numbers such that the expansion of the standard model of Peano arithmetic has no conservative elementary extension, i.e., for any elementary extension of , there is a subset of ω* (...) that is parametrically definable in but whose intersection with ω is not a member of . We also establish other results that highlight the role of countability in the model theory of arithmetic. Inspired by a recent question of Gitman and Hamkins, we furthermore show that the aforementioned family can be arranged to further satisfy the curious property that forcing with the quotient Boolean algebra collapses 1 when viewed as a notion of forcing. (shrink)

Using Catford’s shifts (1965), this study is an attempt to investigate four English translations by Clarke (1879), Davie (1882), Edwards (1911) and Wickens (1984) of selected poems from the Bustan of Saadi, the eminent Persian poet and writer. Five poems were randomly selected from the Bustan. Every line of the selected poems was investigated by the raters and placed in the related shift type specified by Catford (1965), namely level shift and category shift which in turn includes class shift, unit (...) shift, structural shift, and intrasystem shift. Some lines were placed under more than one shift type as more than one change could be identified in them. The results revealed that the structural shift was the most frequently used shift by the four translators of the poems in the Bustan. Level shift followed by unit shift were the next most frequently used shifts. It was found that the four translators had a somewhat similar trend in terms of using shifts towards translating the selected poems of the Bustan of Saadi. Also, it can be concluded that structural and level shifts were inevitable in some places during the translation process. (shrink)

A model M = (M, E,...) of Zermelo-Fraenkel set theory ZF is said to be θ-like, where E interprets ∈ and θ is an uncountable cardinal, if |M| = θ but $|\{b \in M: bEa\}| for each a ∈ M. An immediate corollary of the classical theorem of Keisler and Morley on elementary end extensions of models of set theory is that every consistent extension of ZF has an ℵ 1 -like model. Coupled with Chang's two cardinal theorem this implies (...) that if θ is a regular cardinal θ such that $2^{ then every consistent extension of ZF also has a θ + -like model. In particular, in the presence of the continuum hypothesis every consistent extension of ZF has an ℵ 2 -like model. Here we prove: THEOREM A. If θ has the tree property then the following are equivalent for any completion T of ZFC: (i) T has a θ-like model. (ii) $\Phi \subseteq T$ , where Φ is the recursive set of axioms {∃ κ(κ is n-Mahlo and "V κ is a Σ n -elementary submodel of the universe"): n ∈ ω}. (iii) T has a λ-like model for every uncountable cardinal λ. THEOREM B. The following are equiconsistent over ZFC: (i) "There exists an ω-Mahlo cardinal". (ii) "For every finite language L, all ℵ 2 -like models of ZFC(L) satisfy the scheme Φ(L). (shrink)

A model is said to be Leibnizian if it has no pair of indiscernibles. Mycielski has shown that there is a first order axiom LM (the Leibniz-Mycielski axiom) such that for any completion T of Zermelo-Fraenkel set theory ZF, T has a Leibnizian model if and only if T proves LM. Here we prove: THEOREM A. Every complete theory T extending ZF + LM has $2^{\aleph_{0}}$ nonisomorphic countable Leibnizian models. THEOREM B. If $\kappa$ is aprescribed definable infinite cardinal of a (...) complete theory T extending ZF + V = OD. then there are $2^{\aleph_{1}}$ nonisomorphic Leibnizian models $\mathfrak{M}$ of T of power $\aleph_{1}$ such that $(\kappa^{+})^\mathfrak{M}$ is $\aleph_{1}-like$ . THEOREM C. Every complete theory T extending ZF + V = OD has $2^{\aleph_{1}}$ nonisomorphic \aleph_{1}-like$ Leibnizian models. (shrink)

Internationalization of higher education is a concept that is currently making its way to every corner of the globe. An Introduction to the Internationalization of Higher Education aims to provide the reader with an introduction to this subject and explore three of its most fundamental aspects; namely, internationalization at home, internationalization abroad, and internationalization of curriculum. This publication delves into the underlying rationale for internationalization of higher education and discusses the opportunities and challenges brought about by this concept. Current practices (...) regarding the internationalization of higher education are discussed, and the requirements for the realization of these activities are laid out. This book can act as a basis for future research endeavors as it clearly and comprehensively introduces the internationalization of higher education and answers various questions about this topic. (shrink)

This paper develops the model theory of ordered structures that satisfy Keisler’s regularity scheme and its strengthening REF ${(\mathcal{L})}$ (the reflection scheme) which is an analogue of the reflection principle of Zermelo-Fraenkel set theory. Here ${\mathcal{L}}$ is a language with a distinguished linear order <, and REF ${(\mathcal {L})}$ consists of formulas of the form $$\exists x \forall y_{1} < x \ldots \forall y_{n} < x \varphi (y_{1},\ldots ,y_{n})\leftrightarrow \varphi^{ < x}(y_1, \ldots ,y_n),$$ where φ is an ${\mathcal{L}}$ -formula, φ (...) shrink)

A definable pair of disjoint non-OD sets of reals exists in the Sacks and ????0-large generic extensions of the constructible universe L. More specifically, if a∈2ω is eith...

By a classical theorem of Harvey Friedman, every countable nonstandard model $\mathcal {M}$ of a sufficiently strong fragment of ZF has a proper rank-initial self-embedding j, i.e., j is a self-embedding of $\mathcal {M}$ such that $j[\mathcal {M}]\subsetneq \mathcal {M}$, and the ordinal rank of each member of $j[\mathcal {M}]$ is less than the ordinal rank of each element of $\mathcal {M}\setminus j[\mathcal {M}]$. Here, we investigate the larger family of proper initial-embeddings j of models $\mathcal {M}$ of fragments of (...) set theory, where the image of j is a transitive submodel of $\mathcal {M}$. Our results include the following three theorems. In what follows, $\mathrm {ZF}^-$ is $\mathrm {ZF}$ without the power set axiom; $\mathrm {WO}$ is the axiom stating that every set can be well-ordered; $\mathrm {WF}$ is the well-founded part of $\mathcal {M}$ ; and $\Pi ^1_\infty \text{-}\mathrm {DC}_\alpha $ is the full scheme of dependent choice of length $\alpha $.Theorem A.There is an $\omega $ -standard countable nonstandard model $\mathcal {M}$ of $\mathrm {ZF}^-+\mathrm {WO}$ that carries no initial self-embedding $j:\mathcal {M} \longrightarrow \mathcal {M}$ other than the identity embedding.Theorem B.Every countable $\omega $ -nonstandard model $\mathcal {M}$ of $\ \mathrm {ZF}$ is isomorphic to a transitive submodel of the hereditarily countable sets of its own constructible universe $L^{\mathcal {M}}$.Theorem C.The following three conditions are equivalent for a countable nonstandard model $\mathcal {M}$ of $\mathrm {ZF}^{-}+\mathrm {WO}+\forall \alpha \ \Pi ^1_\infty \text{-}\mathrm {DC}_\alpha $. There is a cardinal in $\mathcal {M}$ that is a strict upper bound for the cardinality of each member of $\mathrm {WF}$. $\mathrm {WF}$ satisfies the powerset axiom.For all $n \in \omega $ and for all $b \in M$, there exists a proper initial self-embedding $j: \mathcal {M} \longrightarrow \mathcal {M}$ such that $b \in \mathrm {rng}$ and $j[\mathcal {M}] \prec _n \mathcal {M}$. (shrink)

TheoremEvery model of ZFChas a conservative elementary extension which possesses a cofinal minimal elementary extension.An application of Boolean ultrapowers to models of full arithmetic is also presented.

Generalizing Woodin’s extender algebra, cf. e.g. Steel (in: Kanamori (ed) Handbook of set theory, Springer, Berlin, 2010), we isolate the long extender algebra as a general version of Bukowský’s forcing, cf. Bukovský (Fundam Math 83:35–46, 1973), in the presence of a supercompact cardinal.

We give a new negative solution to Keisler's problem regarding Skolem functions and elementary extensions. In contrast to existing ad hoc solutions due to Payne, Knight, and Lachlan, our solution uses well-known models.