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 #51 to #100.

A UNIVERSAL CHARACTERIZATION OF STANDARD BOREL SPACES: Label: en
NEGATIVE RESULTS ON PRECIPITOUS IDEALS ON: Label: en
METRICS FOR FORMAL STRUCTURES, WITH AN APPLICATION TO KRIPKE MODELS AND THEIR DYNAMICS: Label: en
THE AUTOMORPHISM GROUP OF THE FRAÏSSÉ LIMIT OF FINITE HEYTING ALGEBRAS—ADDENDUM: Label: en
THE AUTOMORPHISM GROUP OF THE FRAÏSSÉ LIMIT OF FINITE HEYTING ALGEBRAS: Label: en
THE DIAGONAL STRONG REFLECTION PRINCIPLE AND ITS FRAGMENTS: Label: en
KNASTER AND FRIENDS III: SUBADDITIVE COLORINGS: Label: en
MODEL THEORY OF DERIVATIONS OF THE FROBENIUS MAP REVISITED: Label: en
THE DISCONTINUITY PROBLEM: Label: en
MAXIMAL TOWERS AND ULTRAFILTER BASES IN COMPUTABILITY THEORY: Label: en
EXTENSIONAL REALIZABILITY AND CHOICE FOR DEPENDENT TYPES IN INTUITIONISTIC SET THEORY: Label: en
BOHR COMPACTIFICATIONS OF GROUPS AND RINGS: Label: en
EXPANDING THE REALS BY CONTINUOUS FUNCTIONS ADDS NO COMPUTATIONAL POWER: Label: en
DEFINABILITY OF HENSELIAN VALUATIONS BY CONDITIONS ON THE VALUE GROUP: Label: en
ON THE STRUCTURE OF COMPUTABLE REDUCIBILITY ON EQUIVALENCE RELATIONS OF NATURAL NUMBERS: Label: en
THE EMBEDDING PROPERTY FOR SORTED PROFINITE GROUPS: Label: en
ON COHESIVE POWERS OF LINEAR ORDERS: Label: en
TRANSITIVITY, LOWNESS, AND RANKS IN NSOP THEORIES: Label: en
STRUCTURAL PROPERTIES OF THE STABLE CORE: Label: en
Symbols, signs and signals.: Label: en
A solution of the decision problem for the Lewis systems \(S2\) and \(S4\), with an application to topology.: Label: en
Sequences.: Label: en
Element and number.: Label: en
MORE ON THE PRESERVATION OF LARGE CARDINALS UNDER CLASS FORCING: Label: en
MODELS OF MARTIN-LÖF TYPE THEORY FROM ALGEBRAIC WEAK FACTORISATION SYSTEMS: Label: en
LOCALLY O-MINIMAL STRUCTURES WITH TAME TOPOLOGICAL PROPERTIES: Label: en
ON SEQUENCES OF HOMOMORPHISMS INTO MEASURE ALGEBRAS AND THE EFIMOV PROBLEM: Label: en
ON RESTRICTIONS OF ULTRAFILTERS FROM GENERIC EXTENSIONS TO GROUND MODELS: Label: en
THE WEAK VOPĚNKA PRINCIPLE FOR DEFINABLE CLASSES OF STRUCTURES: Label: en
ADDITIVE COVERS AND THE CANONICAL BASE PROPERTY: Label: en
SOME STABLE NON-ELEMENTARY CLASSES OF MODULES: Label: en
ALGEBRAIC EXPANSIONS OF LOGICS: Label: en
FINITIST AXIOMATIC TRUTH: Label: en
DETERMINACY OF SCHMIDT’S GAME AND OTHER INTERSECTION GAMES: Label: en
MONADIC INTUITIONISTIC AND MODAL LOGICS ADMITTING PROVABILITY INTERPRETATIONS: Label: en
MOST(?) THEORIES HAVE BOREL COMPLETE REDUCTS: Label: en
MODEL COMPLETIONS FOR UNIVERSAL CLASSES OF ALGEBRAS: NECESSARY AND SUFFICIENT CONDITIONS: Label: en
ON -HOMOGENEOUS, BUT NOT -TRANSITIVE PERMUTATION GROUPS: Label: en
THE POSET OF ALL LOGICS II: LEIBNIZ CLASSES AND HIERARCHY: Label: en
LIFSCHITZ REALIZABILITY AS A TOPOLOGICAL CONSTRUCTION: Label: en
THE KIM–PILLAY THEOREM FOR ABSTRACT ELEMENTARY CATEGORIES: Label: en
SELF-REFERENTIAL THEORIES: Label: en
COMPUTABILITY OF POLISH SPACES UP TO HOMEOMORPHISM: Label: en
DIMENSION INEQUALITY FOR A DEFINABLY COMPLETE UNIFORMLY LOCALLY O-MINIMAL STRUCTURE OF THE SECOND KIND: Label: en
WEIHRAUCH GOES BROUWERIAN: Label: en
A METRIC VERSION OF SCHLICHTING’S THEOREM: Label: en
THE FUNDAMENTAL THEOREM OF CENTRAL ELEMENT THEORY: Label: en
COMPUTABILITY, ORDERS, AND SOLVABLE GROUPS: Label: en
A SCHEMATIC DEFINITION OF QUANTUM POLYNOMIAL TIME COMPUTABILITY: Label: en
CUPPING AND JUMP CLASSES IN THE COMPUTABLY ENUMERABLE DEGREES: Label: en