Results for ' ATR'

55 found
Order:
  1.  4
    Atr̲aitadaivaśāstr̲avuṃ snēhattint̲e ēkamatavuṃ.Geevarghese Mar Osthathios - 2007 - [Kottayam]: Ḍi. Si. Buks.
    A comparative study on Christian and Hindu conceptions of God.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  2. On the Relationships between $ATR0$ And $\widehat{ID}{< \omega}$.Jeremy Avigad - 1996 - Journal of Symbolic Logic 61 (2):768-779.
    We show that the theory $ATR_0$ is equivalent to a second-order generalization of the theory $\widehat{ID}_{<\omega}$. As a result, $ATR_0$ is conservative over $\widehat{ID}_{<\omega}$ for arithmetic sentences, though proofs in $ATR_0$ can be much shorter than their $\widehat{ID}_{<\omega}$ counterparts.
     
    Export citation  
     
    Bookmark  
  3.  72
    On the relationship between ATR 0 and.Jeremy Avigad - 1996 - Journal of Symbolic Logic 61 (3):768-779.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   21 citations  
  4.  3
    Neural network methods for vowel classification in the vocalic systems with the [ATR] (Advanced Tongue Root) contrast.N. V. Makeeva - forthcoming - Philosophical Problems of IT and Cyberspace (PhilIT&C).
    The paper aims to discuss the results of testing a neural network which classifies the vowels of the vocalic system with the [ATR] (Advanced Tongue Root) contrast based on the data of Akebu (Kwa family). The acoustic nature of the [ATR] feature is yet understudied. The only reliable acoustic correlate of [ATR] is the magnitude of the first formant (F1) which can be also modulated by tongue height, resulting in significant overlap between high [-ATR] vowels and mid [+ATR] vowels. Other (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  5.  11
    Werner syndrome protein, the MRE11 complex and ATR: menage‐à‐trois in guarding genome stability during DNA replication?Pietro Pichierri & Annapaola Franchitto - 2004 - Bioessays 26 (3):306-313.
    The correct execution of the DNA replication process is crucially import for the maintenance of genome integrity of the cell. Several types of sources, both endogenous and exogenous, can give rise to DNA damage leading to the DNA replication fork arrest. The processes by which replication blockage is sensed by checkpoint sensors and how the pathway leading to resolution of stalled forks is activated are still not completely understood. However, recent emerging evidence suggests that one candidate for a sensor of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  3
    Neural network methods for vowel classification in the vocalic systems with the [ATR] (Advanced Tongue Root) contrast.Н. В Макеева - 2023 - Philosophical Problems of IT and Cyberspace (PhilIT&C) 2:49-60.
    The paper aims to discuss the results of testing a neural network which classifies the vowels of the vocalic system with the [ATR] (Advanced Tongue Root) contrast based on the data of Akebu (Kwa family). The acoustic nature of the [ATR] feature is yet understudied. The only reliable acoustic correlate of [ATR] is the magnitude of the first formant (F1) which can be also modulated by tongue height, resulting in significant overlap between high [-ATR] vowels and mid [+ATR] vowels. Other (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  19
    Why are “strategies’ senstitive? Smoothing the way for raison d'àtre”.John P. Wann, Ian Nimmo-Smith & Alan M. Wing - 1989 - Behavioral and Brain Sciences 12 (2):235-236.
  8.  19
    SQ/TQ cluster domains: concentrated ATM/ATR kinase phosphorylation site regions in DNA-damage-response proteins.Ana Traven & J.�rg Heierhorst - 2005 - Bioessays 27 (4):397-407.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  9.  17
    Transhumanismo y gobernanza global de la edición del genoma humano. Temas comunes e implicaciones para la bioética.Lílian Santos - 2023 - Medicina y Ética 34 (4):1089-1163.
    Este artículo explora las implicaciones para la bioética de los temas comunes entre el transhumanismo y la gobernanza global de la edición del genoma humano (HGE por sus siglas en inglés). En primer lugar, se aplicó el método de análisis temático reflexivo (ATR) a un conjunto de textos sobre el transhumanismo y sobre la gobernanza mundial de la edición del genoma humano. Como resultado de esta aplicación, surgieron tres temas comunes y sus elementos. Posteriormente se desarrolló un ejemplo de implicación (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10.  7
    Rad53 arrests leading and lagging strand DNA synthesis via distinct mechanisms in response to DNA replication stress.Richard He & Zhiguo Zhang - 2022 - Bioessays 44 (9):2200061.
    DNA replication stress threatens ordinary DNA synthesis. The evolutionarily conserved DNA replication stress response pathway involves sensor kinase Mec1/ATR, adaptor protein Mrc1/Claspin, and effector kinase Rad53/Chk1, which spurs a host of changes to stabilize replication forks and maintain genome integrity. DNA replication forks consist of largely distinct sets of proteins at leading and lagging strands that function autonomously in DNA synthesis in vitro. In this article, we discuss eSPAN and BrdU‐IP‐ssSeq, strand‐specific sequencing technologies that permit analysis of protein localization and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  11.  8
    Spiritual warfare in Africa: Towards understanding the classical model in light of witchcraft practices and the Christian response.Amos Y. Luka - 2023 - HTS Theological Studies 79 (1):9.
    The socio-religious panorama of the African religion deserves a close observation of its foundation and function. The perception of the spirit world is dominant in Africa. Similarly, spiritual warfare in the African context is prevalent in the mind and worldview of an African. Spiritual warfare derives its framework from African Traditional Religion (ATR). Hence, understanding ATR’s complexity helps us with the understanding of spiritual warfare. Some essential questions to understand would be what is spiritual warfare from an ATR perspective? How (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  12.  4
    Some Set-Theoretic Reduction Principles.Michael Bärtschi & Gerhard Jäger - 2024 - In Thomas Piecha & Kai F. Wehmeier (eds.), Peter Schroeder-Heister on Proof-Theoretic Semantics. Springer. pp. 425-442.
    In this article we study several reduction principles in the context of Simpson’s set theory ATR0S\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ATR_{0}^{S}$$\end{document} and Kripke-Platek set theory KP (with infinity). Since ATR0S\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ATR_{0}^{S}$$\end{document} is the set-theoretic version of ATR0 there is a direct link to second order arithmetic and the results for reductions over ATR0S\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ATR_{0}^{S}$$\end{document} are as expected and more or less (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  13.  17
    The open and clopen Ramsey theorems in the Weihrauch lattice.Alberto Marcone & Manlio Valenti - 2021 - Journal of Symbolic Logic 86 (1):316-351.
    We investigate the uniform computational content of the open and clopen Ramsey theorems in the Weihrauch lattice. While they are known to be equivalent to $\mathrm {ATR_0}$ from the point of view of reverse mathematics, there is not a canonical way to phrase them as multivalued functions. We identify eight different multivalued functions and study their degree from the point of view of Weihrauch, strong Weihrauch, and arithmetic Weihrauch reducibility. In particular one of our functions turns out to be strictly (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  14.  39
    Weak comparability of well orderings and reverse mathematics.Harvey M. Friedman & Jeffry L. Hirst - 1990 - Annals of Pure and Applied Logic 47 (1):11-29.
    Two countable well orderings are weakly comparable if there is an order preserving injection of one into the other. We say the well orderings are strongly comparable if the injection is an isomorphism between one ordering and an initial segment of the other. In [5], Friedman announced that the statement “any two countable well orderings are strongly comparable” is equivalent to ATR 0 . Simpson provides a detailed proof of this result in Chapter 5 of [13]. More recently, Friedman has (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  15. Equivalential logics.Janusz Czelakowski - 1980 - Bulletin of the Section of Logic 9 (3):108-113.
    By an algebraic semantics we shall mean a class K of matrices M = for a propositional language L such that D is a singleton, D = fdg. A logic has an algebraic semantics i C =6 ; and there exists an algebraic semantics K strongly adequate for C, i.e., C = CnK. Proposition. If a logic has an algebraic semantics, then every factorial matrix M 2 M atr has the following properties: M is of the form, where 1A 2 (...)
    No categories
     
    Export citation  
     
    Bookmark   4 citations  
  16.  22
    Parameterized Special Theory of Relativity (PSTR).Florentin Smarandache - 2012 - Apeiron: Studies in Infinite Nature 19 (2):115-122.
    We have parameterized Einstein’s thought experiment with atomic clocks, supposing that we knew neither if the space and time are relative or absolute, nor if the speed of light was ultimate speed or not. We have obtained a Parameterized Special Theory of Relativity (PSTR) (1982). Our PSTR generalized not only Einstein’s Special Theory of Relativity, but also our Absolute Theory of Relativity, and introduced three more possible Relativities to be studied in the future. After the 2011 CERN’s superluminal neutrino experiments, (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  17.  26
    Fixed point theories and dependent choice.Gerhard Jäger & Thomas Strahm - 2000 - Archive for Mathematical Logic 39 (7):493-508.
    In this paper we establish the proof-theoretic equivalence of (i) $\hbox {\sf ATR}$ and $\widehat{\hbox{\sf ID}}_{\omega}$ , (ii) $\hbox{\sf ATR}_0+ (\Sigma^1_1-\hbox{\sf DC})$ and $\widehat{\hbox {\sf ID}}_{<\omega^\omega} , and (iii) $\hbox {\sf ATR}+(\Sigma^1_1-\hbox{\sf DC})$ and $\widehat{\hbox {\sf ID}}_{<\varepsilon_0} $.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  18.  11
    Perichoresis and Ubuntu within the African Christian context.Jele S. Manganyi & Johan Buitendag - 2017 - HTS Theological Studies 73 (3).
    This article is about the juxtaposition of the notion of perichoresis in the work and theology of the Cappadocian Fathers and the notion of Ubuntu in the African Traditional Religion. Perichoresis was a result of an attempt to understand and to resolve the relationships within the Trinity. The issue at hand was how to make sense between the one and the many at the same time. The Cappadocian Fathers understood the oneness of God as unity in plurality, not a singularity. (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  19.  43
    On the relationships between ATR0 and $\widehat{ID}_{.Jeremy Avigad - 1996 - Journal of Symbolic Logic 61 (3):768 - 779.
    We show that the theory ATR 0 is equivalent to a second-order generalization of the theory $\widehat{ID}_{ . As a result, ATR 0 is conservative over $\widehat{ID}_{ for arithmetic sentences, though proofs in ATR 0 can be much shorter than their $\widehat{ID}_{ counterparts.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  20.  39
    The veblen functions for computability theorists.Alberto Marcone & Antonio Montalbán - 2011 - Journal of Symbolic Logic 76 (2):575 - 602.
    We study the computability-theoretic complexity and proof-theoretic strength of the following statements: (1) "If X is a well-ordering, then so is ε X ", and (2) "If X is a well-ordering, then so is φ(α, X)", where α is a fixed computable ordinal and φ represents the two-placed Veblen function. For the former statement, we show that ω iterations of the Turing jump are necessary in the proof and that the statement is equivalent to ${\mathrm{A}\mathrm{C}\mathrm{A}}_{0}^{+}$ over RCA₀. To prove the (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  21.  25
    Embeddings between well-orderings: Computability-theoretic reductions.Jun Le Goh - 2020 - Annals of Pure and Applied Logic 171 (6):102789.
    We study the computational content of various theorems with reverse mathematical strength around Arithmetical Transfinite Recursion (ATR_0) from the point of view of computability-theoretic reducibilities, in particular Weihrauch reducibility. Our main result states that it is equally hard to construct an embedding between two given well-orderings, as it is to construct a Turing jump hierarchy on a given well-ordering. This answers a question of Marcone. We obtain a similar result for Fraïssé's conjecture restricted to well-orderings.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  22.  22
    Predicativity through transfinite reflection.Andrés Cordón-Franco, David Fernández-Duque, Joost J. Joosten & Francisco Félix Lara-martín - 2017 - Journal of Symbolic Logic 82 (3):787-808.
    Let T be a second-order arithmetical theory, Λ a well-order, λ < Λ and X ⊆ ℕ. We use $[\lambda |X]_T^{\rm{\Lambda }}\varphi$ as a formalization of “φ is provable from T and an oracle for the set X, using ω-rules of nesting depth at most λ”.For a set of formulas Γ, define predicative oracle reflection for T over Γ ) to be the schema that asserts that, if X ⊆ ℕ, Λ is a well-order and φ ∈ Γ, then$$\forall \,\lambda (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  23.  15
    複数の編集距離を用いた口語翻訳文の自動評価.今村 賢治 秋葉 泰弘 - 2005 - Transactions of the Japanese Society for Artificial Intelligence 20:139-148.
    This paper addresses the challenging problem of automating the human's intelligent ability to evaluate output from machine translation systems, which are subsystems of Speech-to-Speech MT systems. Conventional automatic MT evaluation methods include BLEU, which MT researchers have frequently used. BLEU is unsuitable for SSMT evaluation for two reasons. First, BLEU assesses errors lightly at the beginning or ending of translations and heavily in the middle, although the assessments should be independent from the positions. Second, BLEU lacks tolerance in accepting colloquial (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24.  10
    La musique ou la mort.Claude Hagège - 2020 - Paris: Odile Jacob.
    Peut-on vivre sans musique? Ce livre donne toutes les raisons pour lesquelles c'est impossible. De láa son titre. Il montre que la musique est une partie intâegrante et indispensable de notre vie quotidienne. Le timbre, la durâee, la hauteur, l'intensitâe du son musical dâeroulent, au long du temps humain, des ondes áa la vibration desquelles nos oreilles ne peuvent et ne veulent pas se soustraire. Les hommes sont si fortement attachâes áa la puissance de la musique, qu'ils ont inventâe, pour (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  25.  3
    Religious fanaticism and thugocracy: Catalysts to the brain drain in Nigeria.Ezichi A. Ituma, Kalu O. Ogbu & Prince E. Peters - 2022 - HTS Theological Studies 78 (1):6.
    Nigeria is a multi-ethnic and multicultural society, and therefore, Nigeria’s religious inclinations differ broadly. There are currently three religions dominant in Nigeria, namely Christianity, Islam and African Traditional Religion (ATR). These three religions, especially the first two, have demonstrated varying levels of fanaticism in the past leading to many recounted crises and jungle justice incidents in Nigeria. Because of Nigerian politics, we have witnessed the use of armed thugs by politicians to harass and even kill party opponents and displace their (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  26.  3
    Of sin, gender equality and environmental goodness - towards curbing the effects of necrophilia.Canisius Mwandayi - 2023 - HTS Theological Studies 79 (3):8.
    The Old Testament connects environmental disasters with sin. The expulsion from the paradeiso (Gn 3:23–24), the plagues on Egypt (Ex 7–11) and droughts (Am 4.6; Jr 14:1–7) are all portrayed as linked with sin. Theologically, human sin, therefore, can lead to actions that have adverse effects upon humans and the environment. It is against this reality that this research explores the effects of necrophilia not only upon humans but also on the environment. The argument raised here is that while world (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  27.  15
    Almost Theorems of Hyperarithmetic Analysis.Richard A. Shore - forthcoming - Journal of Symbolic Logic:1-33.
    Theorems of hyperarithmetic analysis (THAs) occupy an unusual neighborhood in the realms of reverse mathematics and recursion theoretic complexity. They lie above all the fixed (recursive) iterations of the Turing Jump but below ATR $_{0}$ (and so $\Pi _{1}^{1}$ -CA $_{0}$ or the hyperjump). There is a long history of proof theoretic principles which are THAs. Until Barnes, Goh, and Shore [ta] revealed an array of theorems in graph theory living in this neighborhood, there was only one mathematical denizen. In (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  28.  39
    A New Way to Treat Brain Tumors: Targeting Proteins Coded by Microcephaly Genes?Patrick Y. Lang & Timothy R. Gershon - 2018 - Bioessays 40 (5):1700243.
    New targets for brain tumor therapies may be identified by mutations that cause hereditary microcephaly. Brain growth depends on the repeated proliferation of stem and progenitor cells. Microcephaly syndromes result from mutations that specifically impair the ability of brain progenitor or stem cells to proliferate, by inducing either premature differentiation or apoptosis. Brain tumors that derive from brain progenitor or stem cells may share many of the specific requirements of their cells of origin. These tumors may therefore be susceptible to (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  29.  27
    Weak axioms of determinacy and subsystems of analysis II.Kazuyuki Tanaka - 1991 - Annals of Pure and Applied Logic 52 (1-2):181-193.
    In [10], we have shown that the statement that all ∑ 1 1 partitions are Ramsey is deducible over ATR 0 from the axiom of ∑ 1 1 monotone inductive definition,but the reversal needs П 1 1 - CA 0 rather than ATR 0 . By contrast, we show in this paper that the statement that all ∑ 0 2 games are determinate is also deducible over ATR 0 from the axiom of ∑ 1 1 monotone inductive definition, but the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  30.  99
    Why we reason: intention-alignment and the genesis of human rationality.Andy Norman - 2016 - Biology and Philosophy 31 (5):685-704.
    Why do humans reason? Many animals draw inferences, but reasoning—the tendency to produce and respond to reason-giving performances—is biologically unusual, and demands evolutionary explanation. Mercier and Sperber advance our understanding of reason’s adaptive function with their argumentative theory of reason. On this account, the “function of reason is argumentative… to devise and evaluate arguments intended to persuade.” ATR, they argue, helps to explain several well-known cognitive biases. In this paper, I develop a neighboring hypothesis called the intention alignment model and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  31.  82
    An effective proof that open sets are Ramsey.Jeremy Avigad - 1998 - Archive for Mathematical Logic 37 (4):235-240.
    Solovay has shown that if $\cal{O}$ is an open subset of $P(\omega)$ with code $S$ and no infinite set avoids $\cal{O}$ , then there is an infinite set hyperarithmetic in $S$ that lands in $\cal{O}$ . We provide a direct proof of this theorem that is easily formalizable in $ATR_0$.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  32.  20
    Searching for an analogue of atr0 in the Weihrauch lattice.Takayuki Kihara, Alberto Marcone & Arno Pauly - 2020 - Journal of Symbolic Logic 85 (3):1006-1043.
    There are close similarities between the Weihrauch lattice and the zoo of axiom systems in reverse mathematics. Following these similarities has often allowed researchers to translate results from one setting to the other. However, amongst the big five axiom systems from reverse mathematics, so far $\mathrm {ATR}_0$ has no identified counterpart in the Weihrauch degrees. We explore and evaluate several candidates, and conclude that the situation is complicated.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  33. From "No Future" to "Delete Yourself ".Robin James - 2013 - Journal of Popular Music Studies 25 (4).
    Beginning with the role of the Sex Pistols’s “God Save the Queen” in Lee Edelman and J. Jack Halberstam’s debates about queer death and failure, I follow a musical motive from the Pistols track to its reappearance in Atari Teenage Riot’s 1995 “Delete Yourself .” In this song, as in much of ATR’s work from the 1990s, overlapping queer and Afro-diasporic aesthetics condense around the idea of death or “bare life.” ATR’s musical strategies treat this death as a form of (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  34.  10
    Revisiting African Spirituality: A reference to Missiological Institute consultations of 1965 and 1967.James K. Mashabela - 2024 - HTS Theological Studies 80 (2):1-8.
    This article revisits the hope of the First and Fourth Missiological Institute (MI) consultations in 1965 and 1967 regarding the survival of African Spirituality as relevant to the daily life of South African churches. African Spirituality has played a significant role in the cultural context of Africans. In the African context, African Spirituality is intertwined with life, death, and health, which co-exist with material aspects and the economy as gracious gifts from God. The churches in South Africa and elsewhere in (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  35.  10
    Women in Zimunya and the musha mukadzi or umuzi ngumama philosophy for sustainable livelihoods.Tracey Chirara & Sinenhlanhla S. Chisale - 2023 - HTS Theological Studies 79 (1):8.
    The musha mukadzi (Shona) or umuzi ngumama (Ndebele) is an African gendered philosophy that means women make up the home. This philosophy has been researched in African traditional religions (ATRs) and is interrogated from interdisciplinary angles in academia. African feminist research has highlighted how this philosophy can be derogatory, stereotyped and oppressive to women if it is naïvely used in domestic contexts. As a result, contemporary African feminists and gender scholars attempt to expose both the liberative and oppressive nature of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36.  13
    Women in Zimunya and the musha mukadzi or umuzi ngumama philosophy for sustainable livelihoods.Tracey Chirara & Sinenhlanhla S. Chisale - 2022 - HTS Theological Studies 78 (2):8.
    The musha mukadzi (Shona) or umuzi ngumama (Ndebele) is an African gendered philosophy that means women make up the home. This philosophy has been researched in African traditional religions (ATRs) and is interrogated from interdisciplinary angles in academia. African feminist research has highlighted how this philosophy can be derogatory, stereotyped and oppressive to women if it is naïvely used in domestic contexts. As a result, contemporary African feminists and gender scholars attempt to expose both the liberative and oppressive nature of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  37.  6
    Goodstein Sequences Based on a Parametrized Ackermann–Péter Function.Toshiyasu Arai, Stanley S. Wainer & Andreas Weiermann - 2021 - Bulletin of Symbolic Logic 27 (2):168-186.
    Following our [6], though with somewhat different methods here, further variants of Goodstein sequences are introduced in terms of parameterized Ackermann–Péter functions. Each of the sequences is shown to terminate, and the proof-theoretic strengths of these facts are calibrated by means of ordinal assignments, yielding independence results for a range of theories: PRA, PA,$\Sigma ^1_1$-DC$_0$, ATR$_0$, up to ID$_1$. The key is the so-called “Hardy hierarchy” of proof-theoretic bounding finctions, providing a uniform method for associating Goodstein-type sequences with parameterized normal (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38.  26
    Reverse Mathematics and Ramsey Properties of Partial Orderings.Jared Corduan & Marcia Groszek - 2016 - Notre Dame Journal of Formal Logic 57 (1):1-25.
    A partial ordering $\mathbb{P}$ is $n$-Ramsey if, for every coloring of $n$-element chains from $\mathbb{P}$ in finitely many colors, $\mathbb{P}$ has a homogeneous subordering isomorphic to $\mathbb{P}$. In their paper on Ramsey properties of the complete binary tree, Chubb, Hirst, and McNicholl ask about Ramsey properties of other partial orderings. They also ask whether there is some Ramsey property for pairs equivalent to $\mathit{ACA}_{0}$ over $\mathit{RCA}_{0}$. A characterization theorem for finite-level partial orderings with Ramsey properties has been proven by the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  39.  5
    Alcohol abuse in African traditional religion: Education and enlightenment as panacea for integration and development.Emeka C. Ekeke & Elizabeth O. John - 2023 - HTS Theological Studies 79 (2):8.
    Alcoholism is endemic in Nigeria’s traditional religion and society. This abuse is especially common at New Yam festivals, Ekpe, Ekpo and Nmanwu masquerades festivals, burial rituals, birth, marriage and naming ceremonies. Some claim that this is driven by specific beliefs and activities in African culture, such as beliefs in ancestors, libation, hospitality and entertaining guests and strangers and the desire to maintain the cultural traditions of the ancestors. Alcohol abuse has generated major health and social issues for abusers, their families (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  40.  6
    Transcription‐independent functions of p53 in DNA repair pathway selection.Yu-Hsiu Wang & Michael P. Sheetz - 2023 - Bioessays 45 (1):2200122.
    Recently discovered transcription‐independent features of p53 involve the choice of DNA damage repair pathway after PARylation, and p53's complex formation with phosphoinositide lipids, PI(4,5)P2. PARylation‐mediated rapid accumulation of p53 at DNA damage sites is linked to the recruitment of downstream repair factors and tumor suppression. This links p53's capability to sense damaged DNA in vitro and its relevant functions in cells. Further, PI(4,5)P2 rapidly accumulates at damage sites like p53 and complexes with p53, while it is required for ATR recruitment. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  41.  33
    Generalizations of the Kruskal-Friedman theorems.L. Gordeev - 1990 - Journal of Symbolic Logic 55 (1):157-181.
    Kruskal proved that finite trees are well-quasi-ordered by hom(e)omorphic embeddability. Friedman observed that this statement is not provable in predicative analysis. Friedman also proposed (see in [Simpson]) some stronger variants of the Kruskal theorem dealing with finite labeled trees under home(e)omorphic embeddability with a certain gap-condition, where labels are arbitrary finite ordinals from a fixed initial segment of ω. The corresponding limit statement, expressing that for all initial segments of ω these labeled trees are well-quasi-ordered, is provable in Π 1 (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  42.  18
    John Mbiti on the Monotheistic Attribution of African Traditional Religions: A Refutation.Adeolu Oluwaseyi Oyekan - 2021 - Filosofia Theoretica: Journal of African Philosophy, Culture and Religions 10 (1):19-34.
    John Mbiti, in his attempt to disprove the charge of paganism by EuroAmerican ethnographic and anthropological scholars against African Traditional Religions argues that traditional African religions are monotheistic. He insists that these traditional religious cultures have the same conception of God as found in the Abrahamic religions. The shared characteristics, according to him are foundational to the spread of the “gospel” in Africa. Mbiti’s effort, though motivated by the desire to refute the imperial charge of inferiority against African religions ran, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  43.  44
    Damage‐induced reactivation of cohesin in postreplicative DNA repair.Alexander R. Ball & Kyoko Yokomori - 2008 - Bioessays 30 (1):5-9.
    Cohesin establishes sister‐chromatid cohesion during S phase to ensure proper chromosome segregation in mitosis. It also facilitates postreplicative homologous recombination repair of DNA double‐strand breaks by promoting local pairing of damaged and intact sister chromatids. In G2 phase, cohesin that is not bound to chromatin is inactivated, but its reactivation can occur in response to DNA damage. Recent papers by Koshland's and Sjögren's groups describe the critical role of the known cohesin cofactor Eco1 (Ctf7) and ATR checkpoint kinase in damage‐induced (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  44.  9
    Theorems of hyperarithmetic analysis and almost theorems of hyperarithmetic analysis.James S. Barnes, Jun le Goh & Richard A. Shore - 2022 - Bulletin of Symbolic Logic 28 (1):133-149.
    Theorems of hyperarithmetic analysis occupy an unusual neighborhood in the realms of reverse mathematics and recursion-theoretic complexity. They lie above all the fixed iterations of the Turing jump but below ATR $_{0}$. There is a long history of proof-theoretic principles which are THAs. Until the papers reported on in this communication, there was only one mathematical example. Barnes, Goh, and Shore [1] analyze an array of ubiquity theorems in graph theory descended from Halin’s [9] work on rays in graphs. They (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45.  7
    Christianity and Indigenisation in Africa.M. A. Masoga & A. Nicolaides - 2021 - European Journal of Theology and Philosophy 1 (4):18-30.
    In a quest for greater coherence between parochial identities, culture and Christianity, there exists an African consciousness which seeks to indigenise and decolonise Christianity. Africans are profoundly religious people who view their faith as part of their way of life, as strengthening their cultures and providing a moral compass for daily living. In efforts to transform society, the Christian religion has played a significant role in the path to African development. Christianity in Africa dates to the very inception of the (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46.  46
    La democracia armónica: La conjunción equilibrada de Los modeLos democráticos.Ramón Luis Soriano Díaz - 2012 - Anales de la Cátedra Francisco Suárez 46:135-154.
    E l auto r de f iend e un a democraci a a r mónica , qu e n o e s u n model o nu ev o d e democracia sin o l a relació n equilibrad a d e la s do s modalidade s clásica s d e democracia , l a representat iv a y l a directa , a la s qu e s e añadirí a l a democraci a pa r ticipat iv (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  47.  1
    L'art de sentir et de juger en matière de goût.Seran de La Tour - 1970 - Genève,: Slatkine Reprints.
    Excerpt from L'Art de Sentir Et de Juger en Matière de Goût Nous 'zivons' employé trois especes de papier _à la réimpres'sion de ce livre; ce qui forme trois éditions. La premiere, de luxe et tirée àtrès petit nombre sur du papier Velin.' About the Publisher Forgotten Books publishes hundreds of thousands of rare and classic books. Find more at www.forgottenbooks.com This book is a reproduction of an important historical work. Forgotten Books uses state-of-the-art technology to digitally reconstruct the work, (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  48.  13
    Exploring the possibility for African traditional religion to be included in a reimagined scriptural reasoning model.Maniraj Sukdaven - 2018 - HTS Theological Studies 74 (3):6.
    In and among the many models developed for engaging in inter-religious dialogue was a model that became known as scriptural reasoning (SR). SR basically serves the purpose of being hospitable towards the Abrahamic religions. The current approach of SR, by virtue of its focus only on scripture as the basis of engagement, obviously excludes other faith traditions that possess no sacred scripture. One such religion is African traditional religion (ATR). As a result of this exclusion, this article intends to engage (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  49.  19
    Decolonising the concept of the Trinity to decolonise the religious education curriculum.Anné H. Verhoef - 2021 - HTS Theological Studies 77 (4):8.
    This article brings into perspective the need to decolonise the concept of the Trinity (as the specific doctrine and Christian name of God) as a crucial step in decolonising the religious education curriculum. It discusses the concept of decolonisation and its applicability to religious education, specifically Christianity, within higher education (e.g. in Teacher Education Programmes) in the South African context. God as the Trinity has throughout the history of Atlantic slavery and colonialism been employed to legitimise colonial rule and it, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  50.  13
    African Traditional Ritual Expressions of Salvation: Contextualised Biblical Hermeneutic(s) as an Ecclesiological Praxis.Titus Kirimi Kibaara - 2022 - European Journal of Philosophy Culture and Religion 6 (1):19-29.
    Purpose: The purpose of this article is threefold: First, to present the African traditional ritual concept of salvation. Second, to demonstrate that this concept subconsciously forms the worldview through which African Christians interpret biblical narratives and salvation. Third, to access if certain ecclesiastical practices are influenced by the African salvific expressions. Methodology: The methodology used is exploratory, where aspects of African salvific rituals and selected ecclesiastical practices are explored. Part one of this article deals with African expressions of salvation. Three (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 55