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.

Herbrand complexity and the epsilon calculus with equality: Label: en
Revisiting the conservativity of fixpoints over intuitionistic arithmetic: Label: en
Turing degrees and randomness for continuous measures: Label: en
The fixed point and the Craig interpolation properties for sublogics of \textbf{IL}: Label: en
Compositional truth with propositional tautologies and quantifier-free correctness: Label: en
Effective weak and vague convergence of measures on the real line: Label: en
Cut elimination by unthreading: Label: en
Superrosiness and dense pairs of geometric structures: Label: en
Computable approximations of a chainable continuum with a computable endpoint: Label: en
Semi-honest subrecursive degrees and the collection rule in arithmetic: Label: en
Convergence of measures after adding a real: Label: en
A Mathias criterion for the Magidor iteration of Prikry forcings: Label: en
Vector spaces with a union of independent subspaces: Label: en
Nondefinability results with entire functions of finite order in polynomially bounded o-minimal structures: Label: en
The second-order version of Morley's theorem on the number of countable models does not require large cardinals: Label: en
Indestructibility and the linearity of the Mitchell ordering: Label: en
Regressive versions of Hindman's theorem: Label: en
Cut elimination for coherent theories in negation normal form: Label: en
\(L\)-domains as locally continuous sequent calculi: Label: en
Prenex normalization and the hierarchical classification of formulas: Label: en
Weak essentially undecidable theories of concatenation. II.: Label: en
Maximal Tukey types, P-ideals and the weak Rudin-Keisler order: Label: en
On harrop disjunction property in intermediate predicate logics: Label: en
Stably embedded submodels of Henselian valued fields: Label: en
On diagonal functions for equivalence relations: Label: en
Sets of real numbers closed under Turing equivalence: applications to fields, orders and automorphisms: Label: en
Ideals with Smital properties: Label: en
Towers, mad families, and unboundedness: Label: en
Involutive symmetric Gödel spaces, their algebraic duals and logic: Label: en
A topological completeness theorem for transfinite provability logic: Label: en
The axiom of choice in metric measure spaces and maximal \(\delta\)-separated sets: Label: en
Some implications of Ramsey choice for families of \(n\)-element sets: Label: en
Independent families and some notions of finiteness: Label: en
Glivenko sequent classes and constructive cut elimination in geometric logics: Label: en
The structure of \(\kappa\)-maximal cofinitary groups: Label: en
Generic existence of interval P-points: Label: en
Bachmann-Howard derivatives: Label: en
Correction to: ``Towers, mad families, and unboundedness: Label: en
Models of \textsf{ZFA} in which every linearly ordered set can be well ordered: Label: en
On the complexity of the theory of a computably presented metric structure: Label: en
Recursive Polish spaces: Label: en
Structure of semisimple rings in reverse and computable mathematics: Label: en
A criterion for the strong cell decomposition property: Label: en
A syntactic approach to Borel functions: some extensions of Louveau's theorem: Label: en
On the non-existence of \(\kappa \)-mad families: Label: en
An AEC framework for fields with commuting automorphisms: Label: en
The small index property for countable superatomic Boolean algebras: Label: en
Mathias and silver forcing parametrized by density: Label: en
Questions on cardinal invariants of Boolean algebras: Label: en
Definable Tietze extension property in o-minimal expansions of ordered groups: Label: en