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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

As recent controversies over satirical religious cartoons in Denmark and the wearing of traditional dress in France attest, multiculturalism is an increasingly contentious issue for contemporary democracies. The question of how to achieve a balance between a tolerant and open society and a just nation with a strong identity has become one of the most heated debates in the academic community—and a matter of immediate political urgency for many countries. _Multiculturalism and the Law_ brings together some of the sharpest and (...) most influential scholars of our time, including Jürgen Habermas and Thomas McCarthy, to explore the pacifying role that democratic lawmaking offers as a solution to the instability and divisiveness fostered by cultural diversity. Can the law promote equality, inclusion, and solidarity? The emerging consensus among many political philosophers that it can is debated here by a distinguished group of thinkers, and their contributions are essential reading for both policy makers and a wide range of scholars. (shrink)

The pressures of globalization have resulted in shrinking distances and increased contact among people, rendering state boundaries and jurisdiction insufficient to deal with claims of justice exclusively. This challenge requires that we move beyond the limits of statism in political theorizing and acquire a cosmopolitan approach. In this article, from a discourse theoretic perspective, I consider what cosmopolitan justice would entail for policy and law-making concerning immigration. It is argued that: (1) from a moral point of view we cannot consider (...) the problem of migration solely from the perspective of the people of affluent countries and have to take into account the perspective of the refugees, asylum seekers, and immigrants; (2) the growing interdependency of global economies gives rise to a moral obligation to assist the immigrants with special duties devolving upon the First World as the result of the history of colonization; and (3) the immigration law ought to be integrated into higher, or constitutional, law-making. In doing so, the discourse theoretic approach decouples national sovereignty (territorial integrity) and democratic polity, overcoming the problem of prioritization of geography over claims of membership. (shrink)

This collective article discusses the philosophy of modern higher education in Iran, which in this case, optimistically, its history dates back to the founding of Dār al-fonūn —if we consider Dār al-fonūn as a university. Otherwise, its origin can be traced back to the University of Tehran. Central to this article is the emphasis on the lack of philosophy of higher education in Iran. Therefore, most of the criticisms in front of us are related to the internal inconsistency in the (...) Iranian higher education system due to the lack of a national-indigenized-official philosophy of higher education in Iran. Furthermore, The Islamic Revolution of 1979 brought about fundamental changes in higher education. Accordingly, several controversial issues including the rapid growth of higher education, the Islamization of universities, cultural narratives in higher education, the increase in students, especially women and the low-income class of the country were also explored. Therefore, in this collection, the political, economic, social, cultural, moral, technological and historical dimensions of Iranian higher education were examined. (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)

The Islamic Republic of Iran is no doubt an autocratic regime, where the supreme leader, Ayatollah Khamanie, has taken it upon himself to micromanage the suppression of the opposition for many years. In this respect and in the eyes of most Iranians, the resignation and submission of the Iranian reformists, including the former president Mohammad Khatami, is puzzling if not downright treacherous. By appropriating the insight of an Italian Renaissance writer, Baldassare Castiglione, in his book, Il Libro del Cortegiano or (...) The Book of the Courtier, I hope to offer an alternative interpretation of the confounding position of the Iranian reformists. Contrary to its prevalent reading in its scholarship, which takes Il Libro del Cortegiano as an apolitical book, its more recent scholarship has discovered a political program, according to which in the absence of freedom aims to ameliorate the conduct of the tyrant through the actions of the courtier, who provides an example of honourable conduct and public service. I propose to adopt the ideal of cortegiano as a heuristic device that, when applied to the Iranian situation, can explain Mr. Khatami and his fellow reformists’ acquiescence that as a stratagem of resistance that, in the absence of a better alternative, works as the politics of the second best to make their “master” a better leader by offering an example of a more virtuous leader. (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)

Economic globalization has resulted in the transfer of national power to supranational actors and their supranational procedures and institutions. Concomitant with this trend is the ascendancy of the discourses of democracy and human rights that have given rise to the idea of cosmopolitan justice. These trends, in turn, have weakened statehood [ Entstaatlichung ], requiring theoretical envisioning and practical institutionalization of a supranational model of political association. Among the competing theories, in this article I will defend the Kantian project of (...) constitutionalization of international law. In doing so, I take the doctrine of constitutional patriotism as an appropriate model of supranational political association in the European Union and defend it against the republican critique that rejects the idea as deficient. I argue that the European project of constitution-making can overcome the charges of democratic deficit and the lack of European demos by establishing the terms and conditions for democratic negotiation and institutionalizing shared practices of law-making. Key Words: constitutional patriotism • democratic deficit • the European Union • nation-state • supranational political community. (shrink)

This article provides a critical review of new policies in China, the United States, and the European Union that characterize genomic data as a national strategic resource. Specifically, we review policies that regulate human genomic data for economic, national security, or other strategic purposes rather than ethical or individual rights purposes.

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)

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)

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)

The greatest mandate which God entrusted to human beings since creation is keeping and sustaining the creation. Human beings are responsible towards making the creation glorify God the creator. Another important task is to bring forth other human beings—children—who will also become responsible towards creation in their adulthood. It means that the responsibility of humanity towards creation is continuous. Children are gifts from God through marriages and have to be reared to adulthood in order for them to become fully responsible (...) to God’s creation. This article examined the perceptions of church leaders and normal Christians towards child-rearing in both African traditional and Christian settings. Being guided by Ainsworth and Bowlby’s Attachment Theory, the article addressed the following questions: How is child-rearing understood and practiced in the research area? Is there any laziness in the rearing of children that hinders their proper development to adulthood? In response to these questions, a qualitative study was conducted at Isongole Ward, Ileje District, Songwe region in Tanzania. Interviews were conducted to eight research participants selected purposefully after their informed consent. Data were analyzed qualitatively to obtain themes which were the basis for the presentation and interpretation of findings. Results indicated that laziness to rear children properly was one of the major hindrances for children to realize their adulthood potentials in the future. The article suggests that to have an ethical church and ethical society, child-rearing basing on proper Christian foundation is of paramount importance. (shrink)

The increasing implementation of next-generation sequencing technologies in the clinical context and the expanding commercial offer of genetic tests directly-toconsumers has increased the availability of previously inaccessible genetic information. A particular concern in both situations is how the volume of novel information will affect the processing of genetic and genomic information from minors. For minors, it is argued that in the provision of genetic testing, their “right not to know” should be respected as much as possible. Testing a minor early (...) in life eliminates the possibility for the minor to make use of his or her “right not to know.” The article discusses the theoretical underpinnings of the right not know, analyzes reasons why various direct-to-consumer companies process samples from minors, and discusses the right not to know in relation to common complex disorders in a pediatric population. (shrink)

In the last few decades, great progress has been made in both genetic and genomic research. The development of the Human Genome Project has increased our knowledge of the genetic basis of diseases and has given a tremendous momentum to the development of new technologies that make widespread genetic testing possible and has increased the availability of previously inaccessible genetic information. Two examples of this exponential evolution are the increasing implementation of next-generation sequencing technologies in the clinical context and the (...) expanding commercial offer of genetic tests directly-to-consumers.Firstly, the rapid development of next generation sequencing technologies has substantially reduced both the cost and the time required to sequence an entire human genome. These technologies are increasingly being used in the clinical setting with the goal of diagnosing conditions of presumed genetic origin that cannot be explained by targeted sequencing approaches. (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)

Brain arteriovenous malformations (bAVMs) are abnormal vessels that are prone to rupture, causing life-threatening intracranial bleeding. The mechanism of bAVM formation is poorly understood. Nevertheless, animal studies revealed that gene mutation in endothelial cells (ECs) and angiogenic stimulation are necessary for bAVM initiation. Evidence collected through analyzing bAVM specimens of human and mouse models indicate that cells other than ECs also are involved in bAVM pathogenesis. Both human and mouse bAVMs vessels showed lower mural cell-coverage, suggesting a role of pericytes (...) and vascular smooth muscle cells (vSMCs) in bAVM pathogenesis. Perivascular astrocytes also are important in maintaining cerebral vascular function and take part in bAVM development. Furthermore, higher inflammatory cytokines in bAVM tissue and blood demonstrate the contribution of inflammatory cells in bAVM progression, and rupture. The goal of this paper is to provide our current understanding of the roles of different cellular loci in bAVM pathogenesis. (shrink)

In December 2019 a virus named COVID-19 appeared in China, precisely in the city of Wuhan. This virus was declared a global pandemic by the World Health Organization in March 2020. Since no adequate medical treatment has yet been discovered for this virus, many world institutions are committed to share with each other the data they collect and process in their laboratories. A large amount of these data is shared with citizens in order to inform about the risk that threaten (...) us by virus COVID-19. Various credible world institutions such as the World Health Organization (WHO), Johns Hopkins University (JHU), the European Centre for Disease Prevention and Control (ECDC), etc., are providing various statistical data to address the issues raised by this emergent situation, but these reports in some cases are putting doubts on the completeness and the transparency of the data, which are not sufficiently processed and which then create confusion about the risks that we are facing. In this paper we are conducting a study of the quality of current global datasets from the must credible sources related to COVID-19. Also, we are comparing datasets collected from Republic of Kosovo and Republic of North Macedonia with corresponding data from WHO, ECDC and JHU datasets. To analyze datasets from different sources, we are using Power BI tool, making the improvement through the implementation of adequate dimensions and methods of improving the quality of datasets. (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)

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)

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)

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.

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)

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)

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)

In order to study the relationship between genes and diseases, the increasing availability and sharing of phenotypic and genotypic data have been promoted as an imperative within the scientific community. In parallel with data sharing practices by clinicians and researchers, recent initiatives have been observed in which individuals are sharing personal genomic data. The involvement of individuals in such initiatives is facilitated by the increased accessibility of personal genomic data, offered by private test providers along with availability of online networks. (...) Personal webpages and on-line data sharing platforms such as Consent to Research, Free the Data, and Genomes Unzipped are being utilized to host and share genotypes, electronic health records and family history uploaded by individuals. Although personal genomic data sharing initiatives vary in nature, the emphasis on the individuals’ control on their data in order to benefit research and ultimately health care has seen as a key theme across these initiatives. In line with the growing practice of personal genomic data sharing, this paper aims to shed light on the potential challenges surrounding these initiatives. As in the course of these initiatives individuals are solicited to individually balance the risks and benefits of sharing their genomic data, their awareness of the implications of personal genomic data sharing for themselves and their family members is a necessity. Furthermore, given the sensitivity of genomic data and the controversies around their complete de-identifiability, potential privacy risks and harms originating from unintended uses of data have to be taken into consideration. (shrink)

The educational process undergoes continuous evolution each year. These methods and tools have yielded positive outcomes, complementing the modern teaching practices being implemented in post-war Kosovo. It is noteworthy that our country has dedicated special attention to the field of education, actively seeking the best teaching methods that effectively bridge theory and practice. Consequently, the purpose of this research is to analyze the influence of auditory tools on the recognition of new vocabulary during English language classes. Additionally, this paper sheds (...) light on the impact of auditory tools in motivating students to enhance their English vocabulary. This small-scale research employed both qualitative and quantitative methods. The qualitative approach involved ten English language teachers, while the quantitative method encompassed one hundred students. The Likert scale was utilized, consisting of ten questions, to gather responses from fifth-grade students. The researcher aimed to include both high and low English proficiency students to obtain a comprehensive understanding of the results regarding the use of auditory tools for English vocabulary acquisition. In conclusion, the final results indicate that English teachers utilize auditory tools to teach English vocabulary to a certain extent, highlighting the need for increased investment in supplying the targeted schools with such tools. (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.

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.