Several DNA-damage detection and repair mechanisms have evolved to repair double-strand breaks induced by mutagens. Later in evolutionary history, DNA single- and double-strand cuts made possible immune diversity by V(D)J recombination and recombination at meiosis. Such cuts are induced endogenously and are highly regulated and controlled. In meiosis, DNA cuts are essential for the initiation of homologous recombination, and for the formation of joint molecule and crossovers. Many proteins that function during somatic DNA-damage detection and repair are also active during (...) homologous recombination. However, their meiotic functions may be altered from their somatic roles through localization, posttranslational modifications and/or interactions with meiosis-specific proteins. Presumably, somatic repair functions and meiotic recombination diverged during evolution, resulting in adaptations specific to sexual reproduction. BioEssays 27:795–808, 2005. © 2005 Wiley Periodicals, Inc. (shrink)

Resumen La argumentación es una forma de discurso en la que un hablante defiende una postura en una discusión. El presente trabajo se enfoca en la complejidad argumentativa y los recursos evaluativos y evidenciales que caracterizan las disputas de niños de diverso nivel socioeconómico. Se analizaron 94 disputas entre niños de 4 años y otros niños (5 a 10 años) en situaciones de juego espontáneo registradas en hogares de sectores socioeconómicos medio y bajo. El análisis identificó diferencias marginales en la (...) complejidad argumentativa entre los grupos. Por su parte se hallaron diferencias significativas en recursos de evaluativos de emocionalidad y en los evidenciales deónticos y exclamativos a favor de los sectores de nivel socioeconómico bajo. Los sectores medios registraron un mayor empleo de expresiones de causalidad y conectores. Los resultados se discuten a la luz de los hallazgos de investigaciones previas. Abstract Argumentation is a type of discourse in which a speaker defends a claim in a discussion. The present work focuses on the argumentative complexity and the evaluative and evidential resources that characterize the disputes of children of different socioeconomic levels. We analyzed 94 disputes between 4-year-old children and other children (5 to 10 years old) in situations of spontaneous play registered in homes of middle and low socioeconomic status (SES). The analysis identified marginal differences in argumentative complexity between the groups. On the other hand, significant differences were found in evaluative expressions of emotion and in deontic and exclamatory evidential markers, more frequently used by the low SES group. The mid SES group tends to use a higher number of expressions of causality and connectors. The results are discussed with reference to the findings of previous research. (shrink)

We study the reverse mathematics of interval orders. We establish the logical strength of the implications among various definitions of the notion of interval order. We also consider the strength of different versions of the characterization theorem for interval orders: a partial order is an interval order if and only if it does not contain 2 \oplus 2. We also study proper interval orders and their characterization theorem: a partial order is a proper interval order if and only if it (...) contains neither 2 \oplus 2 nor 3 \oplus 1. (shrink)

Context is a notion that is commonly invoked in many linguistic studies, either with very general reference or, more specifically, in the light of one of a number of research approaches which assign distinct definitions to context, ranging from factors that can be recovered from a text, through social parameters serving as an index for the appropriation of discursive performance, to factors that bring texts into being and give them meaning. This exploratory and descriptive research problematises the notion of context (...) specifically on the grounds of English/Polish translation of corporate documentation processed in company registration proceedings, touching upon factors that are presumed to be discursively relevant in this communicative situation. The study is conducted from the perspective of the sociocultural approach and it adopts the parallel corpus methodology. The author discusses the concept of context on the ground of legal communication and secondarily presents a corpus-based description of the context categories that are idiosyncratic and potentially discursively relevant for the said communicative situation in the cross-linguistic perspective. The contextual variation is tested for its capacity to affect translation performance. The results reveal specific tendencies as regards the distribution patterns in the values corresponding to the investigated context categories. They point to some divergencies in translation output caused by the source text variantivity and they pave the way and directions for further research. Already at this stage the findings may have significant pedagogical value and they constitute a solid starting point for sociolinguistic research on discourse variantivity. (shrink)

In this study the author has focused on the impact of activeness and independence on the quality of life of seniors. Activeness is taken to mean the participation in regular everyday tasks. Functional independence is independence in everyday life. Quality of life in old age describes the level of satisfaction with life and indicators of successful ageing. The survey was conducted in October 2013 among four groups of seniors. Two variables determined the distribution of respondents: the level of activeness and (...) the functional independence of the seniors. The study involved 99 seniors from Sopot and Gdansk. Functional independence has a much greater impact on the quality of life of seniors than activeness in as much as independence is influenced by our state of health over which we may always have full control, whereas activeness to a large extent depends on ourselves. (shrink)

W swoim artykule przedstawiłam w skróconej formie problem społeczeństwa żydowskiego z przełomu lat 1933-1945 na terenie niemieckiego miasta Bayreuth, znanego w świecie jako miejsce corocznych festiwali wagnerowskich. Osoby zajmujące się historią, a w szczególności okresem II wojny światowej oraz ci, których pasjonuje z różnych powodów muzyka Ryszarda Wagnera, natkną się z pewnością na ślady historii miasta Bayreuth, będącego w tym czasie niemal świątynią kultu ideologii nazistowskiej. To tu właśnie tworzył wybitny, a zarazem uwielbiany przez Hitlera Niemiec: Ryszard Wagner. Fakt ten (...) pełnił dość istotną funkcję wspomagającą manipulację masami ludzkimi. Przypisywanie kompozytorowi oraz jego sztuce antysemityzmu okazało się czystym środkiem do celu, jakim było wyniszczenie narodu żydowskiego. Podsycanie nienawiści, propaganda, bojkoty ze strony nazistów, brutalna dyskryminacja społeczeństwa żydowskiego i niszczenie jego długowiecznego dobytku kulturowego przyniosło zamierzone efekty w postaci emigracji tej ludności na zachód, do Ameryki, Kanady oraz Izraela. Liczne deportacje i eksterminacja Żydów sprawiły, że niewielu wróciło po wojnie do Bayreuth. Szybko odrodziła się tu jednak kultura żydowska i znalazła po wojnie pełną akceptację społeczeństwa. Warto dodać, że Bayreuth cieszy się dziś ogólnym uznaniem w świecie muzyki. Co roku napływają tu rzesze zwolenników twórczości Ryszarda Wagnera z całego świata, podziwiając piękno jego muzyki oraz urocze krajobrazy Zielonego Wzgórza. (shrink)

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.

The paper presents findings gathered in an exploratory, descriptive, corpus-based analysis of a parallel corpus composed of English corporate documents and their translations into Polish with regard to the frequency-related, binary strategy distribution pattern. In general, the author posits a distinctiveness of interlingual communication in the domain of law, as delineated by the institutional and disciplinary framework. The material extracted from the corpus and studied for its generic features points to the hermetic character of corporate written communication in English. The (...) thesis to be verified is whether there are any tendencies in the distribution of the translation strategies in the corpus texts. The research question was operationalised via coding the corpus extracts according to the binary strategy division scheme. Further, the data have been discussed in reference to the sociocultural background of the communicative situation covered under the analysis in order to account for the translators’ motivation. (shrink)

The paper explores the hypothesis that multinomials can act as authorship-based style distinguishing markers in legal communication. Specifically, the analysis focuses on identifying the quantitative distribution patterns of structural categories of multinomials as typical for two authorship categories and on their communicative function. The two authorship categories that are contrasted here are legal professionals/experts and lay people. The analysis is conducted in the corpus-based methodology with a custom-designed corpus of English, authentic texts found in the legal trade, in the domain (...) of company registration proceedings. The findings confirm that multinomials that are conventionally considered to be a feature of professional legal communication are also cognitively salient in lay communication. Further, the texts drafted by the two categories of authors are profiled by structurally distinct multinomials. Functionally, it has been demonstrated that the structurally distinct types of multinomials that are found quantitatively salient in the two authorship categories are used predominantly for specific stylistic and/or pragmatic functions. Stylistically, multinomials contribute to conventional and ritual patterns which are used to meet the formality standards that have evolved in specific legal professions where authority is of particular importance. Pragmatic factors which account for quantitative salience of specific, structurally profiled categories of multinomials involve mainly reduplication of multinomials that embody norm-related concepts, which is required on the ground of intertextuality and ensures the materialisation of legal effect. (shrink)

The paper aims at describing the findings and conclusions formulated in the analysis of the authorship factor in legal discourse. It is hypothesised that verbal structures show systemically varied distribution across legal discourse and the relevant distinctions run through the authorship categories. When it comes to the aim of the research it draws on the tradition of sociolinguistic methodology targeting issues related to language variation which follows the basic assumptions of functional grammar. From the point of view of the material (...) covered by the analysis it contributes to the research on legal discourse and specifically on its specialised domain referred to as corporate, company or business discourse. It provides additional empirical data pointing to the non-homogeneity of the legal style and formal distinctions originating from rich contextual background. The study is conducted on the material of a custom-designed corpus of English legal texts, classified as secondary genres. Methodologically, the study makes use of the tenets of supervised search of digitalised corpora and automatic data extraction based on discrete units, subsequent identification of recurring longer contiguous and/or non-contiguous sequences, if any, built around the axis of specific verbal structures and finally qualitative comparative analysis of the material. The discussion presents sample data and focuses on the most salient categories, both quantitatively and qualitatively. The inductive approach confirms the formal divergencies in the communicative situation covered by the analysis. The findings encapsulate patterns and tendencies in the quantitative distribution of verbal structures depending on the authorship category. It may be concluded that authorship is a factor delineating distinctions as regards the repertoire of grammatical instruments exploited, which contributes to the specific stylistic profile of given authors. This shows that the thesis posed is verified positively and the study shows further, more detailed distinctions running through groups of subcategories distinguished within the authorship categories specified upon the start of the research. (shrink)

The purpose of this paper is to present some of the findings (which were reported on more extensively in earlier work) regarding the visibility of gender issues in the literature on selected information and communication technologies (ICTs) with a view to make predictions about potential ethical issues that the application of these ICTs may bring about in the future. On the basis of the analysis of around 100 published sources, which dealt with various aspects of selected ICTs, conclusions have been (...) drawn regarding gender issues and concerns that the applications of these ICTs may cause. The authors' analysis is theoretically informed by critical discourse analysis (CDA) which assumes that texts, both written and spoken, as well as other forms of symbolic representations, are indicative of social practices. Of particular methodological relevance was the survey of methods of text and discourse analysis presented in Titscher et al and especially the application of keyword search as a way to measure the prominence of each investigated method. This approach to literature surveying proved very useful in selecting analytic material: only those published sources on the selected four ICTs have been included in the survey, for which the analysis of keywords, abstracts and indexes of terms indicated authors' interest in gender issues. Findings - First, ICTs such as affective computing, ambient intelligence, and artificial intelligence, have been found to have the potential of positively affecting gender power relations and thus positively affecting gender balance in the areas of labour market related to ICT across EU countries and worldwide. Second, more research on the relationship between gender and ICT design, application and representation is needed, so as to enhance a better understanding of ethical issues resulting from unequal participation of women and men in all aspects of ICT production and implementation, which in itself is an ethical dilemma with which both the ICT business and legislators have to grapple. The paper offers insight into the relationship between the level of attention devoted to particular ICTs by ICT researchers, as evidenced in the reviewed literature, and the likelihood of the application of a particular ICT in the future, which is looked at and assessed from a gender perspective. (shrink)

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 (...) latter statement we need to use ω α iterations of the Turing jump, and we show that the statement is equivalent to ${\mathrm{\Pi }}_{{\mathrm{\omega }}^{\mathrm{\alpha }}}^{0}{-\mathrm{C}\mathrm{A}}_{0}$ . Our proofs are purely computability-theoretic. We also give a new proof of a result of Friedman: the statement "if x is a well-ordering, then so is φ(x, 0)" is equivalent to ATR₀ over RCA₀. (shrink)

The purpose of this succinct work is to present N. Machiavelli's classic republican view from his proposition of an inevitable paradox, the founding of an expansionist republic, difficult to govern, or the founding of a stable, but small and weak republic. Such a paradox, according to Machiavelli, should direct and condition all the constitutive devices of the republic when choosing what will be its destiny as a political body. The model of republic preferred by the Florentine will be the expansionist (...) model of Rome, leading him to assume all the devices that gave this republic its power. From this presentation of the Machiavellian proposition, we will analyse the assimilation of republican thought in England from the Elizabethan period, as well as the political-social scenario that exists there. This itinerary will allow us to understand, in general, why classical republicanism was received on English soil from the perspective of establishing a mixed, stable government, thus favouring the spread of the Venice myth as a serene republic and delaying the use, even that mitigated, of the republican presuppositions expressed in the Machiavellian work that directed towards a Roman model. (shrink)

Neste breve artigo, argumentaremos que a pandemia da Covid-19, como outras na história humana, colocou em desnudo as bases da estrutura político-econômica moderna. Defenderemos que tais bases apoiam-se em dois esteios, uma noção política de ‘Estado’, ápice da organização humana, e uma concepção racionalista, técnica e produtiva, que promulga a possibilidade de resposta a qualquer crise surgida na sociedade. Como contrapondo a esta estrutura, apresentaremos a teoria maquiaveliana, que aponta para uma relação indelével entre política e fator natural, natureza e (...) sociedade. Nesta teoria, com uma concepção antropológica própria, as necessidades impostas pela natureza frente a ação humana são determinantes para se pensar a própria construção política. Como resultado, consideraremos ser necessário repensar a estrutura político-econômica moderna em seus pretensos mitos de incontestável avanço político, por meio do ‘Estado’, e inabalável base racional, principalmente técnico-produtiva, retomando o lugar de importância do fator natural para constituição de uma sociedade mais ‘humana’. (shrink)

Tencionamos, neste artigo, demonstrar os meandros constitutivos do que seja um formalismo moral em Immanuel Kant, tendo como pressuposto teórico sua compreensão de uma teoria da vontade. Este movimento de análise e demonstração teórica terá como fio condutor a ideia de autonomia que permeia a construção da vontade no formalismo kantiano, ou seja, a pressuposição de uma possível autonomia formal da razão é a base na qual se assenta a teoria moral deste pensador. Para execução de nossa pretensão será necessário (...) reconstituir os pontos nevrálgicos do que venha a ser uma teoria da vontade para em seguida analisar os pressupostos kantianos que realçam a centralidade da autonomia da razão na compreensão de uma vontade livre. Desta maneira, o que se pretende por em desnudo é a originalidade kantiana, em relação à tradição que promulga a vontade como marca da liberdade humana, a partir de seu pressuposto de autonomia formal na constituição moral do indivíduo humano. (shrink)

Neste artigo intentamos empreender uma leitura do judaísmo antigo, ou veterotestamentário, em alguns de seus aspectos principais, à contraluz da visão maquiaveliana do papel da religião na organização e expansão do Estado. O primeiro passo desta empresa será dado ao expormos os traços fundantes e delineadores da tradição judaica antiga, principalmente nos livros que compõe o chamado velho testamento, demonstrando o uso da religião na ordenação e expansão do Estado, bem como na formação do indivíduo. Em um segundo momento demonstraremos (...) como se cria uma nova tradição judaica, influenciada e influenciadora do mundo grego antigo, logo no início da era cristã a qual será assimilada e explorada em seu viés místico no humanismo renascentista. Esta tradição judaico helenístico será a mais conhecida e assimilada nos círculos eruditos europeus da renascença. Por fim, buscaremos demonstrar como os traços constitutivos do judaísmo antigo, em detrimento ao judaísmo helenístico, podem ser lidos à luz da descrição maquiaveliana do papel da religião na organização e expansão do Estado e na formação do indivíduo. (shrink)

Our objective in this brief article is guided by the demonstration of the existence of a theory of political action in Machiavelli's republican thought, with such a theory having its own character that directs it to highlight the action of individuals in the social context. In addition to this objective, we hope to support the thesis that such a theory of political action has a republican scope, not just “republicanist”, in keeping with the Machiavellian preference for institutions that impress on (...) individuals a civic sense based above all on the materiality of political action in the body social. From this assertion, we indicate that our itinerary will be guided by the demonstration of the search for the valorization of political action in Machiavelli's theory, the materiality of such action, to the detriment of its pure intention, the central focus of Florentine's work. This disposition of the centrality of political action in Machiavelli republicanism will underscore its appreciation for outlining the political functions of the search for recognition, glory and especially the benefit of the political body as a whole. (shrink)

In this brief article we will seek to support the thesis that there is in the thought of Coluccio Salutati, 14th century Florentine chancellor and prominent humanist, a clear republicanism that turns to the issue of the freedom of the republic and the active life of the individuals participating in it. However, in connection with this demonstration, we will also maintain that such republicanism has strong traces of Augustinian influence, mainly in view of the disposition of laws in the political (...) arrangement, as well as the relationship between active life and the search for a human being’s own good. In view of this, we intend to demonstrate that, in general, Salutati’s Renaissance republicanism turns to the defence of the republic, its freedom and its characteristic of the proper scenario for the active life of individuals, however, it still maintains an ethical-political perspective typical of the medieval period, centrally influenced by Augustinian thought. (shrink)

Tencionamos, neste artigo, tratar da questão da imitação no pensamento maquiaveliano. Tomaremos como balizas suas postulações acerca da natureza do homem, as possibilidades de formatação de uma república profícua em vista desta natureza e o papel dos exemplos dos indivíduos que agem em prol do bem da república. Sendo a questão da imitação o fio condutor, elegeremos ainda um tripé para demonstrar nossa hipótese, a saber, o fator antropológico; o fator educacional; o fator político. Por este movimento, pretende-se demonstrar que (...) a aparente negatividade das postulações maquiavelianas sobre a natureza humana não inviabilizam a promulgação de uma república estável, tendo os bons exemplos políticos um papel preponderante neste propósito. (shrink)

We analyze the axiomatic strength of the following theorem due to Rival and Sands [28] in the style of reverse mathematics. Every infinite partial order P of finite width contains an infinite chain C such that every element of P is either comparable with no element of C or with infinitely many elements of C. Our main results are the following. The Rival–Sands theorem for infinite partial orders of arbitrary finite width is equivalent to $\mathsf {I}\Sigma ^0_{2} + \mathsf {ADS}$ (...) over $\mathsf {RCA}_0$. For each fixed $k \geq 3$, the Rival–Sands theorem for infinite partial orders of width $\leq \!k$ is equivalent to $\mathsf {ADS}$ over $\mathsf {RCA}_0$. The Rival–Sands theorem for infinite partial orders that are decomposable into the union of two chains is equivalent to $\mathsf {SADS}$ over $\mathsf {RCA}_0$. Here $\mathsf {RCA}_0$ denotes the recursive comprehension axiomatic system, $\mathsf {I}\Sigma ^0_{2}$ denotes the $\Sigma ^0_2$ induction scheme, $\mathsf {ADS}$ denotes the ascending/descending sequence principle, and $\mathsf {SADS}$ denotes the stable ascending/descending sequence principle. To the best of our knowledge, these versions of the Rival–Sands theorem for partial orders are the first examples of theorems from the general mathematics literature whose strength is exactly characterized by $\mathsf {I}\Sigma ^0_{2} + \mathsf {ADS}$, by $\mathsf {ADS}$, and by $\mathsf {SADS}$. Furthermore, we give a new purely combinatorial result by extending the Rival–Sands theorem to infinite partial orders that do not have infinite antichains, and we show that this extension is equivalent to arithmetical comprehension over $\mathsf {RCA}_0$. (shrink)

We prove that the maximal order type of the wqo of linear orders of finite Hausdorff rank under embeddability is φ2, the first fixed point of the ε-function. We then show that Fraïssé’s conjecture restricted to linear orders of finite Hausdorff rank is provable in +“φ2 is well-ordered” and, over , implies +“φ2 is well-ordered”.

We show that the maximal linear extension theorem for well partial orders is equivalent over RCA0 to ATR0. Analogously, the maximal chain theorem for well partial orders is equivalent to ATR0 over RCA0.

The article examines the findings that allow us to date the first installation of the Serapieia A and B at Delos, according to material recovered in recent excavations. A study of the ceramics led to a revision of previously established positions: in particular, the construction date of the Serapieion B must now be brought back by a century, while the date of the Serapieion A seems to correspond to the one generally agreed upon, based on the chronology of the epigraphic (...) texts. Consequently, the issue of the discrepancy between the epigraphic data and the ceramic data with regard to the dating of the Serapieion B must be examined. (shrink)

Lorenzo Sacconi and his coauthors have put forward the hypothesis that impartial agreements on distributive rules may generate a conditional preference for conformity. The observable effect of this preference would be compliance with fair distributive rules chosen behind a veil of ignorance, even in the absence of external coercion. This paper uses a Dictator Game with production and taking option to compare two ways in which the device of the veil of ignorance may be thought to generate a motivation for, (...) and compliance with a fair distributive rule: individually-as a thought experiment that should work as a moral cue- and collectively-as an actual process of agreement among subjects. The main result is that actual agreement proves to be necessary for agents to be led towards a fair distributive principle and to generate a significant amount of compliance in absence of external authority. This conclusion vindicates the role of actual agreements in generating motivational power in correspondence with fair distributive rules. (shrink)

BackgroundPrivate umbilical cord blood banking is a for-profit industry in which parents pay to store blood for potential future use. Governments have noted the tendency for private banks to oversell the potential for cord blood use, especially in relation to speculative cell therapies not yet supported by clinical evidence. We assessed the regulatory landscape governing private cord bank marketing in Canada.Main bodyBecause the problematic marketing of private cord blood banking for future use often relates to speculative future cell therapies that (...) do not exist and are not being advertised for current clinical use, most private blood bank marketing seems to fall outside Health Canada’s regulatory scope. However, this problematic marketing is regulated by the Competition Bureau pursuant to the Competition Act. While representations relating to future hypothetical treatments may not always be subject to the legal requirement for claim substantiation, the law also prohibits individuals and companies from knowingly or recklessly making representations that are “false or misleading in a material respect.” A representation is materially false or misleading when it could “influence a consumer’s behavior or purchasing decisions,” and consumers are likely to be considered to be “credulous and inexperienced” for the purposes of assessing an advertisement’s general impression. Because all of the potential benefit of the banking is derived from the potential future use of the biological material for health interventions directed toward the customers and their relatives, and because we know the best available medical evidence indicates a very low probability of utility in this context, we can say with confidence that some private cord blood banking claims are materially misleading. Moreover, to the extent that medical professionals are involved in private bank interactions with customers or hold ownership stakes in private banks, they are subject to professional codes, standards of practice, and potentially fiduciary obligations that further prohibit misleading marketing.ConclusionsPrivate cord blood bank marketing that advertises hypothetical future treatments can be misleading and may influence consumer behaviour. This marketing may breach existing advertising law. Regulatory bodies should enforce the law in order to help prevent public health and personal financial harm. (shrink)

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 (...) stronger than any previously studied multivalued functions arising from statements around $\mathrm {ATR}_0$. (shrink)

We determine the computational complexity of the Hahn-Banach Extension Theorem. To do so, we investigate some basic connections between reverse mathematics and computable analysis. In particular, we use Weak König's Lemma within the framework of computable analysis to classify incomputable functions of low complexity. By defining the multivalued function Sep and a natural notion of reducibility for multivalued functions, we obtain a computational counterpart of the subsystem of second-order arithmetic WKL0. We study analogies and differences between WKL0 and the class (...) of Sep-computable multivalued functions. Extending work of Brattka, we show that a natural multivalued function associated with the Hahn-Banach Extension Theorem is Sep-complete. (shrink)

We study Lebesgue and Atsuji spaces within subsystems of second order arithmetic. The former spaces are those such that every open covering has a Lebesgue number, while the latter are those such that every continuous function defined on them is uniformly continuous. The main results we obtain are the following: the statement “every compact space is Lebesgue” is equivalent to $\hbox{\sf WKL}_0$ ; the statements “every perfect Lebesgue space is compact” and “every perfect Atsuji space is compact” are equivalent to (...) $\hbox{\sf ACA}_0$ ; the statement “every Lebesgue space is Atsuji” is provable in $\hbox{\sf RCA}_0$ ; the statement “every Atsuji space is Lebesgue” is provable in $\hbox{\sf ACA}_0$ . We also prove that the statement “the distance from a closed set is a continuous function” is equivalent to $\Pi^1_1\hbox{-\sf CA}_0$. (shrink)

The generic overgeneralization effect is an attested tendency to accept false universal generalizations such as “all eagles fly” or “all snakes lay eggs” as true. In this paper, we discuss the generic overgeneralization effect demonstrated by Polish adult speakers. We asked 313 native speakers of Polish to evaluate universal quantified generalizations such as “all eagles fly” or “all snakes lay eggs” as true or false. The control group of 107 respondents provided data on the acceptance rates of the corresponding generic (...) generalizations such as “eagles fly” or “snakes lay eggs”. By determining the impact of test fillers on the participants’ acceptance rates, the study aimed to identify the scope of the generic overgeneralization effect. We manipulated four conditions: the universal negative, positive, neutral, and generic control conditions. The results showed significant differences between the first two conditions, but neither the negative nor the positive condition differed from the neutral one. The overall acceptance rates of universal statements were 63% for the negative condition, 49% for the positive condition, 55% for the neutral condition, and 90% for the control group. Overall, the participants accepted universal quantified statements at high rates even when they were prompted to reject them. The results may be interpreted as another piece of evidence in support of the generic overgeneralization effect. (shrink)