Entity usage

This page lists pages that use the given entity (e.g. Q42). The list is sorted by descending page ID, so that newer pages are listed first.

Showing below up to 50 results in range #1 to #50.

A new computation of the \(\Sigma\)-ordinal of \(\mathrm{KP}{\omega}\): Label: en
Decidability of modules over a Bézout domain \(D+XQ[X]\) with \(D\) a principal ideal domain and \(Q\) its field of fractions: Label: en
From \(A_{1}\) to \(D_{5}\): towards a forcing-related classification of relational structures: Label: en
On \(\omega_1\)-strongly compact cardinals: Label: en
A lightface analysis of the differentiability rank: Label: en
Families of ultrafilters, and homomorphisms on infinite direct product algebras: Label: en
The neat embedding problem for algebras other than cylindric algebras and for infinite dimensions: Label: en
The strong tree property at successors of singular cardinals: Label: en
Decidable models of \(\omega\)-stable theories: Label: en
Generic stability and stability: Label: en
The Turing degrees below generics and randoms: Label: en
Convexly orderable groups and valued fields: Label: en
An independence theorem for \(\mathrm{NTP}_{2}\) theories: Label: en
Model-theoretic properties of ultrafilters built by independent families of functions: Label: en
The strength of Ramsey's theorem for coloring relatively large sets: Label: en
Universal computably enumerable equivalence relations: Label: en
The non-axiomatizability of o-minimality: Label: en
A reduction to the compact case for groups definable in o-minimal structures: Label: en
Mass problems and initial segment complexity: Label: en
Fields with several commuting derivations: Label: en
\(F_{\sigma}\) equivalence relations and Laver forcing: Label: en
A note on initial segments of the enumeration degrees: Label: en
Complexity of complexity and strings with maximal plain and prefix Kolmogorov complexity: Label: en
Examples in dependent theories: Label: en
Automorphism groups of saturated models of Peano arithmetic: Label: en
Characterizing lowness for Demuth randomness: Label: en
Fragments of approximate counting: Label: en
Glivenko and Kuroda for simple type theory: Label: en
Almost indiscernible sequences and convergence of canonical bases: Label: en
The tree property up to \(\aleph_{\omega+1}\): Label: en
The free pseudospace is \(N\)-ample, but not \((N + 1)\)-ample: Label: en
O-minimalism: Label: en
Lifting proof theory to the countable ordinals: Zermelo-Fraenkel set theory: Label: en
On \(\omega \)-categorical, generically stable groups: Label: en
\(\Sigma ^{1}_{1}\)-definability at uncountable regular cardinals: Label: en
Non-genericity phenomena in ordered Fraïssé classes: Label: en
Non-finitely axiomatisable two-dimensional modal logics: Label: en
A sound and complete axiomatization for dynamic topological logic: Label: en
The tree property and the failure of the singular cardinal hypothesis at \(\aleph _{\omega ^{2}}\): Label: en
Small representations of \(\mathrm{SL}_2\) in the finite Morley rank category.: Label: en
The Bernays-Schönfinkel-Ramsey class for set theory: decidability: Label: en
Term extraction and Ramsey's theorem for pairs: Label: en
Finite and infinite support in nominal algebra and logic: nominal completeness theorems for free: Label: en
Herbrand consistency of some arithmetical theories: Label: en
The Friedman-Sheard programme in intuitionistic logic: Label: en
A strong polarized relation: Label: en
Small substructures and decidability issues for first-order logic with two variables: Label: en
Some results about (+) proved by iterated forcing: Label: en
On uniform definability of types over finite sets: Label: en
Woodin's axiom \((*)\), bounded forcing axioms, and precipitous ideals on \(\omega _{1}\): Label: en