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 #151 to #200.

COMPUTABLE FUNCTORS AND EFFECTIVE INTERPRETABILITY: Label: en
A MODEL-THEORETIC CHARACTERIZATION OF MONADIC SECOND ORDER LOGIC ON INFINITE WORDS: Label: en
NIP FOR THE ASYMPTOTIC COUPLE OF THE FIELD OF LOGARITHMIC TRANSSERIES: Label: en
LEFT MAXIMAL AND STRONGLY RIGHT MAXIMAL IDEMPOTENTS IN G*: Label: en
TURING DEGREE SPECTRA OF DIFFERENTIALLY CLOSED FIELDS: Label: en
Almost combinatorial Skolem functions: Label: en
Algebraic completeness results for R-mingle and its extensions: Label: en
Abstract Computability and Invariant Definability: Label: en
Every analytic set is Ramsey: Label: en
On a question of G. E. Sacks: Label: en
A universal embedding property of the RETs: Label: en
Turing degrees and many-one degrees of maximal sets: Label: en
An algebraic characterization of indistinguishable cardinals: Label: en
On primitive recursive permutations and their inverses: Label: en
A theorem on initial segments of degrees: Label: en
Compactification of groups and rings and nonstandard analysis: Label: en
On the cardinality of ultraproduct of finite sets: Label: en
On theories T categorical in |T|: Label: en
The number of countable models: Label: en
On an algebra of sets of finite sequences: Label: en
An Abstract form of the church-rosser theorem. I: Label: en
Combinatory logic with discriminators: Label: en
A problem in the theory of constructive order types: Label: en
Bases and α-dimensions of countable vector spaces with recursive operations: Label: en
Tense logic for discrete future time: Label: en
Effectively retractable theories and degrees of undecidability: Label: en
Finite sets in Quine's new foundations: Label: en
A simple solution of the uniform halting problem: Label: en
On some Alleged Decision Procedures for S4: Label: en
DECIDABILITY FOR THEORIES OF MODULES OVER VALUATION DOMAINS: Label: en
THE MOUSE SET CONJECTURE FOR SETS OF REALS: Label: en
FAILURES OF THE SILVER DICHOTOMY IN THE GENERALIZED BAIRE SPACE: Label: en
HOMOGENEITY AND FIX-POINTS: GOING FORTH!: Label: en
NON-SPLITTINGS OF SPEEDABLE SETS: Label: en
ON RESURRECTION AXIOMS: Label: en
UNDECIDABILITY OF CONSEQUENCE RELATION IN FULL NON-ASSOCIATIVE LAMBEK CALCULUS: Label: en
TOPOLOGICAL COMPLETENESS OF LOGICS ABOVE S4: Label: en
SILVER ANTICHAINS: Label: en
UNCOUNTABLE REAL CLOSED FIELDS WITH PA INTEGER PARTS: Label: en
HARRINGTON’S PRINCIPLE IN HIGHER ORDER ARITHMETIC: Label: en
LOWER BOUNDS FOR DNF-REFUTATIONS OF A RELATIVIZED WEAK PIGEONHOLE PRINCIPLE: Label: en
THE UNDECIDABILITY OF THE DEFINABILITY OF PRINCIPAL SUBCONGRUENCES: Label: en
MARTIN-LÖF RANDOMNESS IN SPACES OF CLOSED SETS: Label: en
Corrigendum to: “Relation Algebra Reducts of Cylindric Algebras and Complete Representations”: Label: en
Isomorphism of Computable Structures and Vaught's Conjecture: Label: en
Anti-Complex Sets and Reducibilities with Tiny Use: Label: en
Automatic Continuity for Homomorphisms into Free Products: Label: en
On the Structure of Finite Level and ω-Decomposable Borel Functions: Label: en
Extensions and Applications of the S-Measure Construction: Label: en
A Perfect Set of Reals with Finite Self-Information: Label: en