| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jie Fan |
Two Variants of Noncontingency Operator.  |
Notre Dame J. Formal Log.  |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Emmylou Haffner |
The Shaping of Dedekind's Rigorous Mathematics: What Do Dedekind's Drafts Tell Us about His Ideal of Rigor? |
Notre Dame J. Formal Log. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Anand Pillay |
Remarks on Purity of Methods. |
Notre Dame J. Formal Log. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruno Da Ré |
Structural Weakening and Paradoxes. |
Notre Dame J. Formal Log. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Graham Leach-Krouse |
Coalgebra and Abstraction. |
Notre Dame J. Formal Log. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Nam Trang |
Supercompactness Can Be Equiconsistent with Measurability. |
Notre Dame J. Formal Log. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Patricia A. Blanchette, Curtis Franks, Timothy Bays |
Introduction. |
Notre Dame J. Formal Log. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Timothy McCarthy |
Induction, Constructivity, and Grounding. |
Notre Dame J. Formal Log. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Philip Dittmann, Arno Fehm |
Nondefinability of Rings of Integers in Most Algebraic Fields. |
Notre Dame J. Formal Log. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Huishan Wu |
Characterizing von Neumann Regular Rings in Reverse Mathematics. |
Notre Dame J. Formal Log. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiaqi He, Hu Liu |
A Probabilistic Semantics for Belief Logic. |
Notre Dame J. Formal Log. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Saronsad Sokantika, Athipat Thamrongthanyalak |
Definable Continuous Solutions of Linear Equations. |
Notre Dame J. Formal Log. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel Fernandes, Ralf Schindler |
Tall Cardinals in Extender Models. |
Notre Dame J. Formal Log. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergi Oms, Elia Zardini |
Inclosure and Intolerance. |
Notre Dame J. Formal Log. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Iris van der Giessen, Rosalie Iemhoff |
Sequent Calculi for Intuitionistic Gödel-Löb Logic. |
Notre Dame J. Formal Log. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Damir D. Dzhafarov, Stephen Flood, Reed Solomon, Linda Brown Westrick |
Effectiveness for the Dual Ramsey Theorem. |
Notre Dame J. Formal Log. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Anh Tran-Hoang |
On the Virtue of Categoricity. |
Notre Dame J. Formal Log. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Chris J. Conidis |
The Complexity of Module Radicals. |
Notre Dame J. Formal Log. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Joan Rand Moschovakis |
Solovay's Relative Consistency Proof for FIM and BI. |
Notre Dame J. Formal Log. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Sara L. Uckelman |
What Problem Did Ladd-Franklin (Think She) Solve(d)? |
Notre Dame J. Formal Log. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | David R. Gilbert, Giorgio Venturi |
Reflexive-Insensitive Logics, the Boxdot Translation, and the Modal Logic of Generic Absoluteness. |
Notre Dame J. Formal Log. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Shawn Standefer |
An Incompleteness Theorem for Modal Relevant Logics. |
Notre Dame J. Formal Log. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Guozhen Shen |
A Choice-Free Cardinal Equality. |
Notre Dame J. Formal Log. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlo Nicolai |
Cut Elimination for Systems of Transparent Truth with Restricted Initial Sequents. |
Notre Dame J. Formal Log. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher P. Porter |
Revisiting Chaitin's Incompleteness Theorem. |
Notre Dame J. Formal Log. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Damián Enrique Szmuc, Thomas Macaulay Ferguson |
Meaningless Divisions. |
Notre Dame J. Formal Log. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Stewart Shapiro, Craige Roberts |
Open Texture and Mathematics. |
Notre Dame J. Formal Log. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Fjellstad, Jan-Fredrik Olsen |
IKTω and Łukasiewicz-Models. |
Notre Dame J. Formal Log. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Joseph McCarthy |
Modal Metatheory for Quantified Modal Logic, With and Without the Barcan Formulas. |
Notre Dame J. Formal Log. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Ellen Lehet |
Impurity in Contemporary Mathematics. |
Notre Dame J. Formal Log. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Guerrini, Andrea Masini |
Proof Nets for Classical Logic. |
Notre Dame J. Formal Log. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Pantelis E. Eleftheriou, Omar León Sánchez, Nathalie Regnault |
On Coincidence of Dimensions in Closed Ordered Differential Fields. |
Notre Dame J. Formal Log. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Edoardo Rivello |
Generalizing Montague's Theorem on Recursive Definitions. |
Notre Dame J. Formal Log. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Linda Westrick |
An Effective Analysis of the Denjoy Rank. |
Notre Dame J. Formal Log. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Volker Halbach |
Formal Notes on the Substitutional Analysis of Logical Consequence. |
Notre Dame J. Formal Log. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Guozhen Shen |
A Note on Strongly Almost Disjoint Families. |
Notre Dame J. Formal Log. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael C. Laskowski, Caroline A. Terry |
Uniformly Bounded Arrays and Mutually Algebraic Structures. |
Notre Dame J. Formal Log. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Nissim Francez |
Connexive Restricted Quantification. |
Notre Dame J. Formal Log. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabrice Correia, Sven Rosenkranz |
The Formalities of Temporaryism without Presentness. |
Notre Dame J. Formal Log. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergi Oms |
A Remark on Probabilistic Measures of Coherence. |
Notre Dame J. Formal Log. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Jon Erling Litland |
Prospects for a Theory of Decycling. |
Notre Dame J. Formal Log. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Eduardo Hermo Reyes, Joost J. Joosten |
The Logic of Turing Progressions. |
Notre Dame J. Formal Log. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | J. C. Beall, Caleb Camrud |
A Note on FDE "All the Way Up". |
Notre Dame J. Formal Log. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Simon |
On Amalgamation in NTP2 Theories and Generically Simple Generics. |
Notre Dame J. Formal Log. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Huishan Wu |
The Complexity of Radicals and Socles of Modules. |
Notre Dame J. Formal Log. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillermo Badia, Grigory K. Olkhovikov |
A Lindström Theorem for Intuitionistic Propositional Logic. |
Notre Dame J. Formal Log. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Erick Garcia-Ramirez |
Definable Functions and Stratifications in Power-Bounded T -Convex Fields. |
Notre Dame J. Formal Log. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Calixto Badesa, Joan Bertran-San Millán |
Begriffsschrift's Logic. |
Notre Dame J. Formal Log. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | David Chodounský, Jindrich Zapletal |
Ideals and Their Generic Ultrafilters. |
Notre Dame J. Formal Log. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander R. Pruss |
Erratum for "Conditionals and Conditional Probabilities without Triviality". |
Notre Dame J. Formal Log. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Allen Gehret, Elliot Kaplan |
Distality for the Asymptotic Couple of the Field of Logarithmic Transseries. |
Notre Dame J. Formal Log. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Will Johnson |
On the Proof of Elimination of Imaginaries in Algebraically Closed Valued Fields. |
Notre Dame J. Formal Log. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivano Ciardelli, Rosalie Iemhoff, Fan Yang 0004 |
Questions and Dependency in Intuitionistic Logic. |
Notre Dame J. Formal Log. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Berenstein, Rafael Zamora |
Isometry Groups of Borel Randomizations. |
Notre Dame J. Formal Log. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Anton Freund, Fedor Pakhomov |
Short Proofs for Slow Consistency. |
Notre Dame J. Formal Log. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Sam Sanders |
Splittings and Disjunctions in Reverse Mathematics. |
Notre Dame J. Formal Log. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Ali Valizadeh, Massoud Pourmahdian |
Pseudofiniteness in Hrushovski Constructions. |
Notre Dame J. Formal Log. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimir Kanovei, Vassily A. Lyubetsky |
Canonization of Smooth Equivalence Relations on Infinite-Dimensional E0-Large Products. |
Notre Dame J. Formal Log. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Keng Meng Ng, Hongyuan Yu |
Effective Domination and the Bounded Jump. |
Notre Dame J. Formal Log. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Benoit Monin, Ludovic Patey |
Π1-Encodability and Omniscient Reductions. |
Notre Dame J. Formal Log. |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Erik Walsberg |
The Marker-Steinhorn Theorem via Definable Linear Orders. |
Notre Dame J. Formal Log. |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Emanuele Frittaion |
On Goodman Realizability. |
Notre Dame J. Formal Log. |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Jie Fan |
A Family of Neighborhood Contingency Logics. |
Notre Dame J. Formal Log. |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Heike Mildenberger, Saharon Shelah |
Specializing Aronszajn Trees with Strong Axiom A and Halving. |
Notre Dame J. Formal Log. |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Sean Ebels-Duggan |
Abstraction Principles and the Classification of Second-Order Equivalence Relations. |
Notre Dame J. Formal Log. |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Blossier, Amador Martin-Pizarro |
Un critère simple. |
Notre Dame J. Formal Log. |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander R. Pruss |
Conditionals and Conditional Probabilities without Triviality. |
Notre Dame J. Formal Log. |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad Ardeshir, Erfan Khaniki, Mohsen Shahriari |
A Counterexample to Polynomially Bounded Realizability of Basic Arithmetic. |
Notre Dame J. Formal Log. |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Artem Chernikov, Daniel Palacín, Kota Takeuchi |
On n-Dependence. |
Notre Dame J. Formal Log. |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Achilles Beros, Colin de la Higuera |
Teachers, Learners, and Oracles. |
Notre Dame J. Formal Log. |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | John Mumma |
The Eu Approach to Formalizing Euclid: A Response to "On the Inconsistency of Mumma's Eu". |
Notre Dame J. Formal Log. |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Brian Hill, Francesca Poggiolesi |
An Analytic Calculus for the Intuitionistic Logic of Proofs. |
Notre Dame J. Formal Log. |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Rutger Kuyper |
Levels of Uniformity. |
Notre Dame J. Formal Log. |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Tapani Hyttinen, Gianluca Paolini |
Coxeter Groups and Abstract Elementary Classes: The Right-Angled Case. |
Notre Dame J. Formal Log. |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Haydar Göral |
Tame Expansions of ω-Stable Theories and Definable Groups. |
Notre Dame J. Formal Log. |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Keng Meng Ng, Hongyuan Yu |
On the Degree Structure of Equivalence Relations Under Computable Reducibility. |
Notre Dame J. Formal Log. |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodney G. Downey, Satyadev Nandakumar, André Nies |
Martin-Löf Randomness Implies Multiple Recurrence in Effectively Closed Sets. |
Notre Dame J. Formal Log. |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Simon, Erik Walsberg |
Tame Topology over dp-Minimal Structures. |
Notre Dame J. Formal Log. |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Brent Cody |
Adding a Nonreflecting Weakly Compact Set. |
Notre Dame J. Formal Log. |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruno Bentzen |
Frege on Referentiality and Julius Caesar in Grundgesetze Section 10. |
Notre Dame J. Formal Log. |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudio Mazzola |
The Mereotopology of Time. |
Notre Dame J. Formal Log. |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | David Asperó, Tapani Hyttinen, Vadim Kulikov, Miguel Moreno |
Reducibility of Equivalence Relations Arising from Nonstationary Ideals under Large Cardinal Assumptions. |
Notre Dame J. Formal Log. |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincenzo Dimonte |
LD-Algebras Beyond I0. |
Notre Dame J. Formal Log. |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Jie Fan |
A Modal Logic of Supervenience. |
Notre Dame J. Formal Log. |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Alex Kruckman |
Disjoint n-Amalgamation and Pseudofinite Countably Categorical Theories. |
Notre Dame J. Formal Log. |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Jie Fan 0001 |
Strong Noncontingency: On the Modal Logics of an Operator Expressively Weaker Than Necessity. |
Notre Dame J. Formal Log. |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Philipp Lücke |
Closed Maximality Principles and Generalized Baire Spaces. |
Notre Dame J. Formal Log. |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Ari Meir Brodsky, Assaf Rinot |
More Notions of Forcing Add a Souslin Tree. |
Notre Dame J. Formal Log. |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucas Rosenblatt |
Noncontractive Classical Logic. |
Notre Dame J. Formal Log. |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Sean Cox 0001 |
Layered Posets and Kunen's Universal Collapse. |
Notre Dame J. Formal Log. |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Wesley H. Holliday |
A Note on Algebraic Semantics for S5 with Propositional Quantifiers. |
Notre Dame J. Formal Log. |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Clifton F. Ealy, Deirdre Haskell, Jana Maríková |
Residue Field Domination in Real Closed Valued Fields. |
Notre Dame J. Formal Log. |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | James H. Schmerl |
More Automorphism Groups of Countable, Arithmetically Saturated Models of Peano Arithmetic. |
Notre Dame J. Formal Log. |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Palacín, Rizos Sklinos |
On Superstable Expansions of Free Abelian Groups. |
Notre Dame J. Formal Log. |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Allen P. Hazen, Francis Jeffry Pelletier |
Second-Order Logic of Paradox. |
Notre Dame J. Formal Log. |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Claribet Piña |
A Partition Theorem of ωωα. |
Notre Dame J. Formal Log. |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | David R. Bélanger, Richard A. Shore |
On the Jumps of the Degrees Below a Recursively Enumerable Degree. |
Notre Dame J. Formal Log. |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Shahram Mohsenipour, Saharon Shelah |
Set Mappings on 4-Tuples. |
Notre Dame J. Formal Log. |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Victor Pambuccian |
Negation-Free and Contradiction-Free Proof of the Steiner-Lehmus Theorem. |
Notre Dame J. Formal Log. |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard G. Heck Jr. |
The Logical Strength of Compositional Principles. |
Notre Dame J. Formal Log. |
2018 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license