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.

THE TURING DEGREES AND KEISLER’S ORDER: Label: en
THE FIRST-ORDER LOGIC OF CZF IS INTUITIONISTIC FIRST-ORDER LOGIC: Label: en
(EXTRA)ORDINARY EQUIVALENCES WITH THE ASCENDING/DESCENDING SEQUENCE PRINCIPLE: Label: en
CLASSICAL DETERMINATE TRUTH I: Label: en
NOTE ON IMPLYING: Label: en
A GENERALIZED CANTOR THEOREM IN: Label: en
USUBA’S PRINCIPLE CAN FAIL AT SINGULAR CARDINALS: Label: en
-ULTRAFILTERS IN THE RATIONAL PERFECT SET MODEL: Label: en
CONTINUOUS LOGIC AND BOREL EQUIVALENCE RELATIONS: Label: en
PA RELATIVE TO AN ENUMERATION ORACLE: Label: en
CONSERVATION THEOREMS ON SEMI-CLASSICAL ARITHMETIC: Label: en
MODEL THEORY OF FIELDS WITH FINITE GROUP SCHEME ACTIONS: Label: en
HIGHER DIMENSIONAL CARDINAL CHARACTERISTICS FOR SETS OF FUNCTIONS II: Label: en
ASPERÓ–MOTA ITERATION AND THE SIZE OF THE CONTINUUM: Label: en
THE STRENGTH OF AN AXIOM OF FINITE CHOICE FOR BRANCHES IN TREES: Label: en
THORN FORKING, WEAK NORMALITY, AND THEORIES WITH SELECTORS: Label: en
ON GROUPS WITH DEFINABLE F-GENERICS DEFINABLE IN P-ADICALLY CLOSED FIELDS: Label: en
THEORIES WITH DISTAL SHELAH EXPANSIONS: Label: en
STRUCTURAL HIGHNESS NOTIONS: Label: en
ITERATING THE COFINALITY- CONSTRUCTIBLE MODEL: Label: en
THE PSEUDOPOWER DICHOTOMY: Label: en
ELIMINATION OF IMAGINARIES IN ORDERED ABELIAN GROUPS WITH BOUNDED REGULAR RANK: Label: en
AN ESCAPE FROM VARDANYAN’S THEOREM: Label: en
PARTITION FORCING AND INDEPENDENT FAMILIES: Label: en
SOME CONSEQUENCES OF AND: Label: en
COUNTABLE LENGTH EVERYWHERE CLUB UNIFORMIZATION: Label: en
AXIOMATIZATIONS OF PEANO ARITHMETIC: A TRUTH-THEORETIC VIEW: Label: en
STABILITY RESULTS ASSUMING TAMENESS, MONSTER MODEL, AND CONTINUITY OF NONSPLITTING: Label: en
POLYHEDRAL COMPLETENESS OF INTERMEDIATE LOGICS: THE NERVE CRITERION: Label: en
COMPLETENESS OF THE GÖDEL–LÖB PROVABILITY LOGIC FOR THE FILTER SEQUENCE OF NORMAL MEASURES: Label: en
MAXIMALITY OF LOGIC WITHOUT IDENTITY: Label: en
EUCLIDEAN NUMBERS AND NUMEROSITIES: Label: en
THE SIMPLEST LOW LINEAR ORDER WITH NO COMPUTABLE COPIES: Label: en
AN INCOMPLETENESS THEOREM VIA ORDINAL ANALYSIS: Label: en
ON MODEL-THEORETIC CONNECTED GROUPS: Label: en
THE BAIRE CLOSURE AND ITS LOGIC: Label: en
STATIONARY REFLECTION AND THE FAILURE OF THE SCH: Label: en
FINITE RELATION ALGEBRAS: Label: en
IDEAL OPERATORS AND HIGHER INDESCRIBABILITY: Label: en
CELLULAR CATEGORIES AND STABLE INDEPENDENCE: Label: en
TREES AND STATIONARY REFLECTION AT DOUBLE SUCCESSORS OF REGULAR CARDINALS: Label: en
MODEL THEORY AND PROOF THEORY OF THE GLOBAL REFLECTION PRINCIPLE: Label: en
DISTALITY RANK: Label: en
MAKER–BREAKER GAMES ON AND: Label: en
ALMOST THEOREMS OF HYPERARITHMETIC ANALYSIS: Label: en
SPECIALISING TREES WITH SMALL APPROXIMATIONS I: Label: en
HOW STRONG IS RAMSEY’S THEOREM IF INFINITY CAN BE WEAK?: Label: en
COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES: Label: en
CLASSIFICATION OF ONE DIMENSIONAL DYNAMICAL SYSTEMS BY COUNTABLE STRUCTURES: Label: en
COMPUTABLE REDUCIBILITY OF EQUIVALENCE RELATIONS AND AN EFFECTIVE JUMP OPERATOR: Label: en