OOIR: Observatory of International Research

Papers

(The TQCC of Journal of Symbolic Logic is 1. The table below lists those papers that are above that threshold based on CrossRef citation counts [max. 250 papers]. The publications cover those that have been published in the past four years, i.e., from 2020-11-01 to 2024-11-01.)

Article	Citations
ON THE UNCOUNTABILITY OF	8
ON NON-COMPACT p-ADIC DEFINABLE GROUPS	8
ON THE STRUCTURE OF COMPUTABLE REDUCIBILITY ON EQUIVALENCE RELATIONS OF NATURAL NUMBERS	7
FINDING DESCENDING SEQUENCES THROUGH ILL-FOUNDED LINEAR ORDERS	7
ON ROBUST THEOREMS DUE TO BOLZANO, WEIERSTRASS, JORDAN, AND CANTOR	7
FIBRED ALGEBRAIC SEMANTICS FOR A VARIETY OF NON-CLASSICAL FIRST-ORDER LOGICS AND TOPOLOGICAL LOGICAL TRANSLATION	6
CORES OVER RAMSEY STRUCTURES	6
PRENEX NORMAL FORM THEOREMS IN SEMI-CLASSICAL ARITHMETIC	5
THE POSET OF ALL LOGICS I: INTERPRETATIONS AND LATTICE STRUCTURE	5
FORKING, IMAGINARIES, AND OTHER FEATURES OF	5
THE POSET OF ALL LOGICS II: LEIBNIZ CLASSES AND HIERARCHY	5
NON-CLASSICAL FOUNDATIONS OF SET THEORY	5
SURREAL ORDERED EXPONENTIAL FIELDS	5
ABELIAN GROUPS DEFINABLE IN p-ADICALLY CLOSED FIELDS	5
A MARRIAGE OF BROUWER’S INTUITIONISM AND HILBERT’S FINITISM I: ARITHMETIC	5
BOHR COMPACTIFICATIONS OF GROUPS AND RINGS	4
ON RESTRICTIONS OF ULTRAFILTERS FROM GENERIC EXTENSIONS TO GROUND MODELS	4
FORCING CONSTRUCTIONS AND COUNTABLE BOREL EQUIVALENCE RELATIONS	4
APPLICATIONS OF PCF THEORY TO THE STUDY OF IDEALS ON	4
THE Σ₁-DEFINABLE UNIVERSAL FINITE SEQUENCE	4
DEGREE SPECTRA OF HOMEOMORPHISM TYPE OF COMPACT POLISH SPACES	4
MODEL THEORY AND PROOF THEORY OF THE GLOBAL REFLECTION PRINCIPLE	4
WAYS OF DESTRUCTION	3
THE REVERSE MATHEMATICS OF THEOREMS OF JORDAN AND LEBESGUE	3
SEPARATING DIAGONAL STATIONARY REFLECTION PRINCIPLES	3

NS SATURATED AND -DEFINABLE	3
THE FIRST-ORDER LOGIC OF CZF IS INTUITIONISTIC FIRST-ORDER LOGIC	3
SOME QUESTIONS OF UNIFORMITY IN ALGORITHMIC RANDOMNESS	3
LOCALLY O-MINIMAL STRUCTURES WITH TAME TOPOLOGICAL PROPERTIES	3
BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS	3
MUTUAL INTERPRETABILITY OF WEAK ESSENTIALLY UNDECIDABLE THEORIES	3
KNASTER AND FRIENDS III: SUBADDITIVE COLORINGS	3
ONE DIMENSIONAL GROUPS DEFINABLE IN THE p-ADIC NUMBERS	3
A COMPARISON OF VARIOUS ANALYTIC CHOICE PRINCIPLES	3
ORDINAL ANALYSIS OF PARTIAL COMBINATORY ALGEBRAS	3
COMPARING COMPUTABILITY IN TWO TOPOLOGIES	2
THE SIMPLEST LOW LINEAR ORDER WITH NO COMPUTABLE COPIES	2
TRANSITIVITY, LOWNESS, AND RANKS IN NSOP THEORIES	2
ASSOCIATIVITY OF THE MORLEY PRODUCT OF INVARIANT MEASURES IN NIP THEORIES	2
MODEL THEORY OF DERIVATIONS OF THE FROBENIUS MAP REVISITED	2
ON GROUPS WITH DEFINABLE F-GENERICS DEFINABLE IN P-ADICALLY CLOSED FIELDS	2
DENSITY-LIKE AND GENERALIZED DENSITY IDEALS	2
RECONSTRUCTION OF NON--CATEGORICAL THEORIES	2
ELIMINATION OF IMAGINARIES IN ORDERED ABELIAN GROUPS WITH BOUNDED REGULAR RANK	2
AXIOMATIZATIONS OF PEANO ARITHMETIC: A TRUTH-THEORETIC VIEW	2
MÜNCHHAUSEN PROVABILITY	2
COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES	2
BIG IN REVERSE MATHEMATICS: MEASURE AND CATEGORY	2
SUBCOMPACT CARDINALS, TYPE OMISSION, AND LADDER SYSTEMS	2
CLOSED AND UNBOUNDED CLASSES AND THE HÄRTIG QUANTIFIER MODEL	2
DIVIDING LINES BETWEEN POSITIVE THEORIES	2
IDEAL OPERATORS AND HIGHER INDESCRIBABILITY	2
SCOTT COMPLEXITY OF COUNTABLE STRUCTURES	2
HIGHER INDEPENDENCE	2
ON EQUATIONAL COMPLETENESS THEOREMS	2
UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS	2
THE PERMUTATIONS WITHnNON-FIXED POINTS AND THE SEQUENCES WITH LENGTHnOF A SET	2
FINITE UNDECIDABILITY IN NIP FIELDS	2
AXIOMATIZABILITY OF PROPOSITIONALLY QUANTIFIED MODAL LOGICS ON RELATIONAL FRAMES	2
MODULAR MANY-VALUED SEMANTICS FOR COMBINED LOGICS	2
SHORTENING CLOPEN GAMES	2
MODEL COMPLETIONS FOR UNIVERSAL CLASSES OF ALGEBRAS: NECESSARY AND SUFFICIENT CONDITIONS	2
ON SEQUENCES OF HOMOMORPHISMS INTO MEASURE ALGEBRAS AND THE EFIMOV PROBLEM	2
SYMÉTRIES ET TRANSVEXIONS, PRINCIPALEMENT DANS LES GROUPES DE RANG DE MORLEY FINI SANS INVOLUTIONS	2
FORCING AXIOMS, APPROACHABILITY, AND STATIONARY SET REFLECTION	2
THE DISCONTINUITY PROBLEM	2
CLASSIFICATION OF -CATEGORICAL MONADICALLY STABLE STRUCTURES	2
THICKET DENSITY	1
TUKEY ORDER AMONG IDEALS	1
PAC STRUCTURES AS INVARIANTS OF FINITE GROUP ACTIONS	1
VAUGHT’S CONJECTURE FOR ALMOST CHAINABLE THEORIES	1
FINITE RELATION ALGEBRAS	1
A UNIFIED APPROACH TO HINDMAN, RAMSEY, AND VAN DER WAERDEN SPACES	1
CONGRUENCE OF ULTRAFILTERS	1
THE RELATIVIZED LASCAR GROUPS, TYPE-AMALGAMATION, AND ALGEBRAICITY	1

A GENERALIZED CANTOR THEOREM IN	1
REMARKS ON CONVERGENCE OF MORLEY SEQUENCES	1
THE AUTOMORPHISM GROUP OF THE FRAÏSSÉ LIMIT OF FINITE HEYTING ALGEBRAS	1
MAXIMALITY OF LOGIC WITHOUT IDENTITY	1
CELLULAR CATEGORIES AND STABLE INDEPENDENCE	1
MAXIMAL STABLE QUOTIENTS OF INVARIANT TYPES IN NIP THEORIES	1
MODELS OF MARTIN-LÖF TYPE THEORY FROM ALGEBRAIC WEAK FACTORISATION SYSTEMS	1
IN INNER MODELS WITH WOODIN CARDINALS	1
-ULTRAFILTERS IN THE RATIONAL PERFECT SET MODEL	1
CLASSIFYING SPACES AND THE LASCAR GROUP	1
SOME STABLE NON-ELEMENTARY CLASSES OF MODULES	1
COMPUTABLE TOPOLOGICAL GROUPS	1
THE WEAK VOPĚNKA PRINCIPLE FOR DEFINABLE CLASSES OF STRUCTURES	1
HYBRID PARTIAL TYPE THEORY	1
DEDEKIND-FINITE CARDINALS HAVING COUNTABLE PARTITIONS	1
SEMI-EQUATIONAL THEORIES	1
WEAK HEIRS, COHEIRS, AND THE ELLIS SEMIGROUPS	1
MEAGER-ADDITIVE SETS IN TOPOLOGICAL GROUPS	1
MOST SIMPLE EXTENSIONS OF ARE UNDECIDABLE	1
PROOF SYSTEMS FOR TWO-WAY MODAL MU-CALCULUS	1
COMPLETE INTUITIONISTIC TEMPORAL LOGICS FOR TOPOLOGICAL DYNAMICS	1
PARTITIONING THE REAL LINE INTO BOREL SETS	1
CONTINUOUS LOGIC AND BOREL EQUIVALENCE RELATIONS	1
WELL ORDERING PRINCIPLES AND -STATEMENTS: A PILOT STUDY	1
THE MODAL LOGIC OF -CENTERED FORCING AND RELATED FORCING CLASSES	1
INTUITIONISTIC SAHLQVIST THEORY FOR DEDUCTIVE SYSTEMS	1
ON EQUIVALENCE RELATIONS INDUCED BY LOCALLY COMPACT ABELIAN POLISH GROUPS	1
EMBEDDINGS INTO OUTER MODELS	1
A BOREL MAXIMAL COFINITARY GROUP	1
ARONSZAJN TREE PRESERVATION AND BOUNDED FORCING AXIOMS	1
INITIAL SELF-EMBEDDINGS OF MODELS OF SET THEORY	1
CHARACTERIZING EXISTENCE OF A MEASURABLE CARDINAL VIA MODAL LOGIC	1
THE OPEN AND CLOPEN RAMSEY THEOREMS IN THE WEIHRAUCH LATTICE	1
CONSERVATION THEOREMS ON SEMI-CLASSICAL ARITHMETIC	1
ON COHESIVE POWERS OF LINEAR ORDERS	1
EPSILON THEOREMS IN INTERMEDIATE LOGICS	1
TREE FORCING AND DEFINABLE MAXIMAL INDEPENDENT SETS IN HYPERGRAPHS	1
DEFINABILITY OF HENSELIAN VALUATIONS BY CONDITIONS ON THE VALUE GROUP	1
MALTSEV CONDITIONS FOR GENERAL CONGRUENCE MEET-SEMIDISTRIBUTIVE ALGEBRAS	1
GAMES AND INDUCTION ON REALS	1
COUNTING SIBLINGS IN UNIVERSAL THEORIES	1
COUNTABLY PERFECTLY MEAGER SETS	1
RAMSEY’S COHEIRS	1
BIG IN REVERSE MATHEMATICS: THE UNCOUNTABILITY OF THE REALS	1
TREES AND STATIONARY REFLECTION AT DOUBLE SUCCESSORS OF REGULAR CARDINALS	1
FIRST-ORDER AXIOMATISATIONS OF REPRESENTABLE RELATION ALGEBRAS NEED FORMULAS OF UNBOUNDED QUANTIFIER DEPTH	1
INITIAL SEGMENTS OF THE DEGREES OF CEERS	1
HOW STRONG IS RAMSEY’S THEOREM IF INFINITY CAN BE WEAK?	1
REFLECTION IN SECOND-ORDER SET THEORY WITH ABUNDANT URELEMENTS BI-INTERPRETS A SUPERCOMPACT CARDINAL	1
GAMES CHARACTERIZING LIMSUP FUNCTIONS AND BAIRE CLASS 1 FUNCTIONS	1
MODEL THEORY OF FIELDS WITH FINITE GROUP SCHEME ACTIONS	1
(EXTRA)ORDINARY EQUIVALENCES WITH THE ASCENDING/DESCENDING SEQUENCE PRINCIPLE	1
CLOSURE PROPERTIES OF MEASURABLE ULTRAPOWERS	1
ON THE C.E. DEGREES REALIZABLE IN CLASSES	1
INFORMATION IN PROPOSITIONAL PROOFS AND ALGORITHMIC PROOF SEARCH	1
A LOPEZ-ESCOBAR THEOREM FOR CONTINUOUS DOMAINS	1
TWO EXAMPLES CONCERNING EXISTENTIAL UNDECIDABILITY IN FIELDS	1
AN EGOCENTRIC LOGIC OF KNOWING HOW TO TELL THEM APART	1
THE DIAGONAL STRONG REFLECTION PRINCIPLE AND ITS FRAGMENTS	1
NOTES ON THE DPRM PROPERTY FOR LISTABLE STRUCTURES	1
THEORIES WITH DISTAL SHELAH EXPANSIONS	1
HIGHER DIMENSIONAL CARDINAL CHARACTERISTICS FOR SETS OF FUNCTIONS II	1
INTERPRETING A FIELD IN ITS HEISENBERG GROUP	1
AN INCOMPLETENESS THEOREM VIA ORDINAL ANALYSIS	1
COMPUTABLE REDUCIBILITY OF EQUIVALENCE RELATIONS AND AN EFFECTIVE JUMP OPERATOR	1
MODAL OPERATORS ON RINGS OF CONTINUOUS FUNCTIONS	1
TWO-CARDINAL DERIVED TOPOLOGIES, INDESCRIBABILITY AND RAMSEYNESS	1
WEAK CANONICAL BASES IN NSOP THEORIES	1
WEAK INDESTRUCTIBILITY AND REFLECTION	1
FRAÏSSÉ LIMITS FOR RELATIONAL METRIC STRUCTURES	1
COMBINATORICS OF ULTRAFILTERS ON COHEN AND RANDOM ALGEBRAS	1
THE RELATION BETWEEN TWO DIMINISHED CHOICE PRINCIPLES	1
THE ORDER OF REFLECTION	1
HIGHER MILLER FORCING MAY COLLAPSE CARDINALS	1
EXPANDING THE REALS BY CONTINUOUS FUNCTIONS ADDS NO COMPUTATIONAL POWER	1
DESCRIPTIVE COMPLEXITY IN CANTOR SERIES	1