OOIR: Observatory of International Research

Papers

(The median citation count of Notre Dame Journal of Formal Logic is 0. 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-04-01 to 2024-04-01.)

Article	Citations
Meaningless Divisions	5
Structural Weakening and Paradoxes	5
Uniformly Bounded Arrays and Mutually Algebraic Structures	5
The Formalities of Temporaryism without Presentness	4
Reverse Mathematics of Topology: Dimension, Paracompactness, and Splittings	4
Tame Topology over Definable Uniform Structures	4
Effectiveness for the Dual Ramsey Theorem	4
Prospects for a Theory of Decycling	4
An Incompleteness Theorem for Modal Relevant Logics	4
Characterizing Counterfactuals and Dependencies over (Generalized) Causal Teams	3
Inclosure and Intolerance	3
What Problem Did Ladd-Franklin (Think She) Solve(d)?	3
On the Proof of Elimination of Imaginaries in Algebraically Closed Valued Fields	3
Open Texture and Mathematics	3
The Complexity of Module Radicals	3
Formal Notes on the Substitutional Analysis of Logical Consequence	3
The Shaping of Dedekind’s Rigorous Mathematics: What Do Dedekind’s Drafts Tell Us about His Ideal of Rigor?	3
Shrieking, Shrugging, and the Australian Plan	3
On Stable Quotients	2
Typicality à la Russell in Set Theory	2
Effect of the Choice of Connectives on the Relation between Classical Logic and Intuitionistic Logic	2
Sequent Calculi for Intuitionistic Gödel–Löb Logic	2
IKTω and Łukasiewicz-Models	2
Distality for the Asymptotic Couple of the Field of Logarithmic Transseries	2
Decision Times of Infinite Computations	1

Cut Elimination for Systems of Transparent Truth with Restricted Initial Sequents	1
A Note on Strongly Almost Disjoint Families	1
Four-Valued Logics of Truth, Nonfalsity, Exact Truth, and Material Equivalence	1
A Local Version of the Slaman–Wehner Theorem and Families Closed Under Finite Differences	1
Structural Completeness in Many-Valued Logics with Rational Constants	1
A Family of dp-Minimal Expansions of (Z;+)	1
Did Aristotle Endorse Aristotle’s Thesis? A Case Study in Aristotle’s Metalogic	1
Induction, Constructivity, and Grounding	1
Solovay’s Relative Consistency Proof for FIM and BI	1
Ideals and Their Generic Ultrafilters	1
Impurity in Contemporary Mathematics	1
Projective Games on the Reals	1
A Note on FDE “All the Way Up”	1
Begriffsschrift’s Logic	1
Poly-Connexivity: Connexive Conjunction and Disjunction	1
Games on Base Matrices	1
Isometry Groups of Borel Randomizations	1
Supercompactness Can Be Equiconsistent with Measurability	1
Definable Functions and Stratifications in Power-Bounded T -Convex Fields	1
Effective Domination and the Bounded Jump	1
Full Satisfaction Classes, Definability, and Automorphisms	1
Nondefinability of Rings of Integers in Most Algebraic Fields	1
Weak Density and Nondensity among Transfinite Levels of the Ershov Hierarchy	1
Mirroring Theorems in Free Logic	1
Modal Logics That Are Both Monotone and Antitone: Makinson’s Extension Results and Affinities between Logics	1
There Are No Minimal Effectively Inseparable Theories	0
Term-Space Semantics of Typed Lambda Calculus	0
Dialetheias and Numbers Distinct from Themselves	0
Coalgebra and Abstraction	0
Monotone Subintuitionistic Logic: Duality and Transfer Results	0
Deduction Theorem in Congruential Modal Logics	0
Outline of an Intensional Theory of Truth	0
Grothendieck Ring of the Pairing Function without Cycles	0
An Effective Analysis of the Denjoy Rank	0
A Choice-Free Cardinal Equality	0
Stage Comparison, Fixed Points, and Least Fixed Points in Kripke–Platek Environments	0
Thin Set Versions of Hindman’s Theorem	0
Terence Tao, Hilbert’s Fifth Problem and Related Topics. American Mathematical Society, Providence, 2014. 338 pp.	0
Substitutional Validity for Modal Logic	0
Witt Vectors and Separably Closed Fields with Higher Derivations	0
Weak Kleene and Other Weak Logics of Conditionals	0
Topologizing Interpretable Groups in p-Adically Closed Fields	0
Representations and the Foundations of Mathematics	0
Bicontextualism	0
Erratum for “Conditionals and Conditional Probabilities without Triviality”	0
Reflexive-Insensitive Logics, the Boxdot Translation, and the Modal Logic of Generic Absoluteness	0
Model-Theoretic Properties of Dynamics on the Cantor Set	0
Characterizing von Neumann Regular Rings in Reverse Mathematics	0
Two Variants of Noncontingency Operator	0
Existence of Certain Finite Relation Algebras Implies Failure of Omitting Types for L n	0

Quasi-Polyadic Algebras and Their Dual Position	0
Definable Continuous Solutions of Linear Equations	0
Tall Cardinals in Extender Models	0
An Invitation to Extension Domination	0
Proof Nets for Classical Logic	0
Burden of Henselian Valued Fields in the Denef–Pas Language	0
Core Gödel	0
Modal Metatheory for Quantified Modal Logic, With and Without the Barcan Formulas	0
Measuring Inconsistency in Some Logics with Tense Operators	0
In Memoriam: Yoram Hirshfeld	0
Lower Bounds of Sets of P-points	0
A Note on Torsion Modules with Pure Embeddings	0
Unitary Representations of Locally Compact Groups as Metric Structures	0
Products of Classes of Finite Structures	0
On the Virtue of Categoricity	0
A Completeness Proof for a Regular Predicate Logic with Undefined Truth Value	0
Connexive Restricted Quantification	0
Revisiting Chaitin’s Incompleteness Theorem	0
Hierarchical Multiverse of Sets	0
On Coincidence of Dimensions in Closed Ordered Differential Fields	0
Identity and the Cognitive Value of Logical Equations in Frege’s Foundational Project	0
Generalizing Montague’s Theorem on Recursive Definitions	0
A Probabilistic Semantics for Belief Logic	0
One Lie Group to Define Them All	0
Effectively Constructible Fixed Points in Sacchetti’s Modal Logics of Provability	0
Existentially Closed Closure Algebras	0
On Amalgamation in NTP2 Theories and Generically Simple Generics	0
The Diversity of Minimal Cofinal Extensions	0
Definable Version of Wedderburn–Artin Theorem in O-Minimal Structures	0
Spiritus Asper versus Lambda: On the Nature of Functional Abstraction	0
Embeddings between Partial Combinatory Algebras	0
The Complexity of Decomposability of Computable Rings	0
Definability of Boolean Functions in Kripke Semantics	0
Geometric Modal Logic	0
Some Results on Non-Club Isomorphic Aronszajn Trees	0
Topic-Theoretic Extensions of Analytic Implication	0
C. I. Lewis’s Intensional Semantics	0
Introduction	0
Remarks on Purity of Methods	0
On VC-Density in VC-Minimal Theories	0