The following pages link to (Q5322161):
Displaying 50 items.
- \({\Pi}_1^1\)-Martin-Löf random reals as measures of natural open sets (Q329716) (← links)
- Strongly dominating sets of reals (Q377470) (← links)
- Real computation with least discrete advice: a complexity theory of nonuniform computability with applications to effective linear algebra (Q424551) (← links)
- Complexity of Ramsey null sets (Q436231) (← links)
- Groups, graphs, languages, automata, games and second-order monadic logic (Q444388) (← links)
- Polish group actions and effectivity (Q453179) (← links)
- Realizing an \(\mathrm{AD}^+\) model as a derived model of a premouse (Q499078) (← links)
- Square principles in \(\mathbb{P}_{\max}\) extensions (Q522300) (← links)
- A strong partition cardinal above \(\varTheta \) (Q527339) (← links)
- Classical descriptive set theory as a refinement of effective descriptive set theory (Q638494) (← links)
- Games for the \(\mu\)-calculus (Q671352) (← links)
- Computable concurrent processes (Q673972) (← links)
- The Dyck and the Preiss separation uniformly (Q720760) (← links)
- A diamond-plus principle consistent with AD (Q781519) (← links)
- Strongly unbounded and strongly dominating sets of reals generalized (Q892136) (← links)
- Proof systems for infinite behaviours (Q1193598) (← links)
- Recursively presented games and strategies (Q1196205) (← links)
- \(\Pi_ 2^ 1\)-logic and uniformization in the analytical hierarchy (Q1262857) (← links)
- Determinacy of refinements to the difference hierarchy of co-analytic sets (Q1676330) (← links)
- Intuitionism and effective descriptive set theory (Q1688967) (← links)
- Computational capabilities of analog and evolving neural networks over infinite input streams (Q1713481) (← links)
- Prior knowledge and monotone decision problems (Q1714067) (← links)
- The descriptive complexity of the set of all closed zero-dimensional subsets of a Polish space (Q1800219) (← links)
- On the elimination of imaginaries from certain valued fields (Q1802185) (← links)
- OCA and automorphisms of \({\mathfrak P}(\omega)/\text{fin}\) (Q1803755) (← links)
- Projective games on the reals (Q1981987) (← links)
- Outline of partial computability in computable topology (Q2011636) (← links)
- On higher effective descriptive set theory (Q2011663) (← links)
- The destruction of the axiom of determinacy by forcings on \(\mathbb{R}\) when \(\Theta\) is regular (Q2022773) (← links)
- Precomplete numberings (Q2036469) (← links)
- Long Borel games (Q2048863) (← links)
- Amenability, connected components, and definable actions (Q2064040) (← links)
- Wadge-Wagner hierarchies (Q2074220) (← links)
- Descriptive complexity of subsets of the space of finitely generated groups (Q2105658) (← links)
- Degrees of non-computability of homeomorphism types of Polish spaces (Q2106604) (← links)
- Non-collapse of the effective wadge hierarchy (Q2117803) (← links)
- Equivalence of generics (Q2155500) (← links)
- Lebesgue's density theorem and definable selectors for ideals (Q2164429) (← links)
- A functional non-central limit theorem for multiple-stable processes with long-range dependence (Q2196387) (← links)
- A characterization of \(\Sigma_1^1\)-reflecting ordinals (Q2231693) (← links)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting) (Q2232317) (← links)
- A complexity problem for Borel graphs (Q2238048) (← links)
- Strong partition cardinals and determinacy in \(K(\mathbb R)\) (Q2257111) (← links)
- Limit theorems for long-memory flows on Wiener chaos (Q2295041) (← links)
- Comparing the degrees of enumerability and the closed Medvedev degrees (Q2312080) (← links)
- Random reals as measures of natural open sets (Q2346372) (← links)
- The envelope of a pointclass under a local determinacy hypothesis (Q2352255) (← links)
- CH, \(V = L\), disintegration of measures, and \(\Pi_1^1\) sets (Q2359922) (← links)
- First-order Gödel logics (Q2370370) (← links)
- On images of partial computable functions over computable Polish spaces (Q2403641) (← links)
