Results 11 to 20 of about 134,969 (309)
Real Analytic Machines and Degrees [PDF]
Electronic Proceedings in Theoretical Computer Science, 2010 We study and compare in two degree-theoretic ways (iterated Halting oracles analogous to Kleene's arithmetical hierarchy and the Borel hierarchy of descriptive set theory) the capabilities and limitations of three models of analytic computation: BSS ...
Tobias Gärtner, Martin Ziegler
doaj +1 more source
Non-deterministic computation and the Jayne-Rogers Theorem [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 We provide a simple proof of a computable analogue to the Jayne Rogers Theorem from descriptive set theory. The difficulty of the proof is delegated to a simulation result pertaining to non-deterministic type-2 machines.
Arno Pauly, Matthew de Brecht
doaj +1 more source
Venn diagrams and probability in clinical research
Сеченовский вестник, 2020 Statistics is the science dealing with the collecting, summarizing and interpreting of associations in research data, and has a leading role in medical research.
N. М. Bulanov +6 more
doaj +1 more source
Balanced identity in the minimal groups paradigm. [PDF]
PLoS ONE, 2013 Balanced Identity Theory [1] formalizes a set of relationships between group attitude, group identification, and self-esteem. While these relationships have been demonstrated for familiar and highly salient social categories, questions remain regarding ...
Yarrow Dunham
doaj +1 more source
Common fixed point, Baire's and Cantor's theorems in neutrosophic 2-metric spaces
AIMS Mathematics, 2023 These fundamental Theorems of classical analysis, namely Baire's Theorem and Cantor's Intersection Theorem in the context of Neutrosophic 2-metric spaces, are demonstrated in this article.
Umar Ishtiaq +4 more
doaj +1 more source
Acta Iuris Stetinensis, 2022 The author set himself a goal of finding common elements of American concepts for the interpretation of the constitution and Polish descriptive-normative theories of legal interpretation of universal nature.
Paweł Boike
doaj +1 more source
No Uncountable Polish Group Can be a Right-Angled Artin Group
Axioms, 2017 We prove that if G is a Polish group and A a group admitting a system of generators whose associated length function satisfies: (i) if 0 < k < ω , then l g ( x ) ≤ l g ( x k ) ; (ii) if l g ( y ) < k < ω and x
Gianluca Paolini, Saharon Shelah
doaj +1 more source
Generalized Descriptive Set Theory and Classification Theory
Memoirs of the American Mathematical Society, 2010 Descriptive set theory is mainly concerned with studying subsets of the space of all countable binary sequences. In this paper we study the generalization where countable is replaced by uncountable. We explore properties of generalized Baire and Cantor spaces, equivalence relations and their Borel reducibility.
Friedman, Sy D. +2 more
openaire +7 more sources
A survey on difference hierarchies of regular languages [PDF]
Logical Methods in Computer Science, 2018 Difference hierarchies were originally introduced by Hausdorff and they play an important role in descriptive set theory. In this survey paper, we study difference hierarchies of regular languages.
Olivier Carton +2 more
doaj +1 more source
The Status of Normative Propositions in the Theory of Scientific Change
Scientonomy, 2016 The scope of the Theory of Scientific Change (TSC) encompasses any and all changes that occur in a given scientific mosaic, the set of all methods employed and theories accepted at a given time by a given scientific community.
Zoe Sebastien
doaj +1 more source