Semantics and Proof Theory of the Epsilon Calculus

The epsilon operator is a term-forming operator which replaces quantifiers in ordinary predicate logic. The application of this undervalued formalism has been hampered by the absence of well-behaved proof systems on the one hand, and accessible presentations of its theory on the other. One significant early result for the original axiomatic proof system for the epsilon-calculus is the first epsilon theorem, for which a proof is sketched. The system itself is discussed, also relative to possible semantic interpretations. The problems facing the development of proof-theoretically well-behaved systems are outlined.Comment: arXiv admin note: substantial text overlap with arXiv:1411.362

Движение тяжелого газа в приземном слое атмосферы

В статье критически анализируются современные известные сведения [1-4] о движении промышленных выбросов в приземном слое атмосферы на примере упрощенной модели тяжелого газа, которые могут составить предмет уточнений моделей для решения соответствующих задач в НГО. Также рассмотрено влияние начальной формы и наземных объектов на распространение облака выбросов. По оценкам влияния анализируются данные об эффективности предотвращения распространения облака

Ki67, chemotherapy response, and prognosis in breast cancer patients receiving neoadjuvant treatment

<p>Abstract</p> <p>Background</p> <p>The pathological complete response (pCR) after neoadjuvant chemotherapy is a surrogate marker for a favorable prognosis in breast cancer patients. Factors capable of predicting a pCR, such as the proliferation marker Ki67, may therefore help improve our understanding of the drug response and its effect on the prognosis. This study investigated the predictive and prognostic value of Ki67 in patients with invasive breast cancer receiving neoadjuvant treatment for breast cancer.</p> <p>Methods</p> <p>Ki67 was stained routinely from core biopsies in 552 patients directly after the fixation and embedding process. HER2/neu, estrogen and progesterone receptors, and grading were also assessed before treatment. These data were used to construct univariate and multivariate models for predicting pCR and prognosis. The tumors were also classified by molecular phenotype to identify subgroups in which predicting pCR and prognosis with Ki67 might be feasible.</p> <p>Results</p> <p>Using a cut-off value of > 13% positively stained cancer cells, Ki67 was found to be an independent predictor for pCR (OR 3.5; 95% CI, 1.4, 10.1) and for overall survival (HR 8.1; 95% CI, 3.3 to 20.4) and distant disease-free survival (HR 3.2; 95% CI, 1.8 to 5.9). The mean Ki67 value was 50.6 ± 23.4% in patients with pCR. Patients without a pCR had an average of 26.7 ± 22.9% positively stained cancer cells.</p> <p>Conclusions</p> <p>Ki67 has predictive and prognostic value and is a feasible marker for clinical practice. It independently improved the prediction of treatment response and prognosis in a group of breast cancer patients receiving neoadjuvant treatment. As mean Ki67 values in patients with a pCR were very high, cut-off values in a high range above which the prognosis may be better than in patients with lower Ki67 values may be hypothesized. Larger studies will be needed in order to investigate these findings further.</p

Diachrony of differential argument marking

While there are languages that code a particular grammatical role (e.g. subject or direct object) in one and the same way across the board, many more languages code the same grammatical roles differentially. The variables which condition the differential argument marking (or DAM) pertain to various properties of the NP (such as animacy or definiteness) or to event semantics or various properties of the clause. While the main line of current research on DAM is mainly synchronic the volume tackles the diachronic perspective. The tenet is that the emergence and the development of differential marking systems provide a different kind of evidence for the understanding of the phenomenon. The present volume consists of 18 chapters and primarily brings together diachronic case studies on particular languages or language groups including e.g. Finno-Ugric, Sino-Tibetan and Japonic languages. The volume also includes a position paper, which provides an overview of the typology of different subtypes of DAM systems, a chapter on computer simulation of the emergence of DAM and a chapter devoted to the cross-linguistic effects of referential hierarchies on DAM

Diachrony of differential argument marking

While there are languages that code a particular grammatical role (e.g. subject or direct object) in one and the same way across the board, many more languages code the same grammatical roles differentially. The variables which condition the differential argument marking (or DAM) pertain to various properties of the NP (such as animacy or definiteness) or to event semantics or various properties of the clause. While the main line of current research on DAM is mainly synchronic the volume tackles the diachronic perspective. The tenet is that the emergence and the development of differential marking systems provide a different kind of evidence for the understanding of the phenomenon. The present volume consists of 18 chapters and primarily brings together diachronic case studies on particular languages or language groups including e.g. Finno-Ugric, Sino-Tibetan and Japonic languages. The volume also includes a position paper, which provides an overview of the typology of different subtypes of DAM systems, a chapter on computer simulation of the emergence of DAM and a chapter devoted to the cross-linguistic effects of referential hierarchies on DAM

Diachrony of differential argument marking

While there are languages that code a particular grammatical role (e.g. subject or direct object) in one and the same way across the board, many more languages code the same grammatical roles differentially. The variables which condition the differential argument marking (or DAM) pertain to various properties of the NP (such as animacy or definiteness) or to event semantics or various properties of the clause. While the main line of current research on DAM is mainly synchronic the volume tackles the diachronic perspective. The tenet is that the emergence and the development of differential marking systems provide a different kind of evidence for the understanding of the phenomenon. The present volume consists of 18 chapters and primarily brings together diachronic case studies on particular languages or language groups including e.g. Finno-Ugric, Sino-Tibetan and Japonic languages. The volume also includes a position paper, which provides an overview of the typology of different subtypes of DAM systems, a chapter on computer simulation of the emergence of DAM and a chapter devoted to the cross-linguistic effects of referential hierarchies on DAM

Diachrony of differential argument marking

While there are languages that code a particular grammatical role (e.g. subject or direct object) in one and the same way across the board, many more languages code the same grammatical roles differentially. The variables which condition the differential argument marking (or DAM) pertain to various properties of the NP (such as animacy or definiteness) or to event semantics or various properties of the clause. While the main line of current research on DAM is mainly synchronic the volume tackles the diachronic perspective. The tenet is that the emergence and the development of differential marking systems provide a different kind of evidence for the understanding of the phenomenon. The present volume consists of 18 chapters and primarily brings together diachronic case studies on particular languages or language groups including e.g. Finno-Ugric, Sino-Tibetan and Japonic languages. The volume also includes a position paper, which provides an overview of the typology of different subtypes of DAM systems, a chapter on computer simulation of the emergence of DAM and a chapter devoted to the cross-linguistic effects of referential hierarchies on DAM

Diachrony of differential argument marking

While there are languages that code a particular grammatical role (e.g. subject or direct object) in one and the same way across the board, many more languages code the same grammatical roles differentially. The variables which condition the differential argument marking (or DAM) pertain to various properties of the NP (such as animacy or definiteness) or to event semantics or various properties of the clause. While the main line of current research on DAM is mainly synchronic the volume tackles the diachronic perspective. The tenet is that the emergence and the development of differential marking systems provide a different kind of evidence for the understanding of the phenomenon. The present volume consists of 18 chapters and primarily brings together diachronic case studies on particular languages or language groups including e.g. Finno-Ugric, Sino-Tibetan and Japonic languages. The volume also includes a position paper, which provides an overview of the typology of different subtypes of DAM systems, a chapter on computer simulation of the emergence of DAM and a chapter devoted to the cross-linguistic effects of referential hierarchies on DAM