![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Notre Dame Journal of Formal Logic, Volume 60
Volume 60, Number 1, 2019
- Benoit Monin, Ludovic Patey
:
Π1-Encodability and Omniscient Reductions. 1-12 - Achilles Beros, Colin de la Higuera:
Teachers, Learners, and Oracles. 13-26 - Sean Cox:
Layered Posets and Kunen's Universal Collapse. 27-60 - Pierre Simon, Erik Walsberg:
Tame Topology over dp-Minimal Structures. 61-76 - Sean Ebels-Duggan
:
Abstraction Principles and the Classification of Second-Order Equivalence Relations. 77-117 - Rutger Kuyper:
Levels of Uniformity. 119-138 - Alex Kruckman:
Disjoint n-Amalgamation and Pseudofinite Countably Categorical Theories. 139-160
Volume 60, Number 2, May 2019
- Haydar Göral:
Tame Expansions of ω-Stable Theories and Definable Groups. 161-194 - Artem Chernikov, Daniel Palacín
, Kota Takeuchi:
On n-Dependence. 195-214 - Claudio Mazzola:
The Mereotopology of Time. 215-252 - Philipp Lücke
:
Closed Maximality Principles and Generalized Baire Spaces. 253-282 - Jie Fan:
A Modal Logic of Supervenience. 283-309 - Wesley H. Holliday
:
A Note on Algebraic Semantics for S5 with Propositional Quantifiers. 311-332
Volume 60, Number 3, August 2019
- Clifton F. Ealy, Deirdre Haskell
, Jana Maríková
:
Residue Field Domination in Real Closed Valued Fields. 333-351 - Brian Hill, Francesca Poggiolesi:
An Analytic Calculus for the Intuitionistic Logic of Proofs. 353-393 - Vincenzo Dimonte:
LD-Algebras Beyond I0. 395-405 - Jie Fan:
Strong Noncontingency: On the Modal Logics of an Operator Expressively Weaker Than Necessity. 407-435 - Ari Meir Brodsky, Assaf Rinot
:
More Notions of Forcing Add a Souslin Tree. 437-455 - John Mumma:
The Eu Approach to Formalizing Euclid: A Response to "On the Inconsistency of Mumma's Eu". 457-480 - Mohammad Ardeshir, Erfan Khaniki, Mohsen Shahriari:
A Counterexample to Polynomially Bounded Realizability of Basic Arithmetic. 481-489 - Rodney G. Downey, Satyadev Nandakumar
, André Nies:
Martin-Löf Randomness Implies Multiple Recurrence in Effectively Closed Sets. 491-502 - Brent Cody
:
Adding a Nonreflecting Weakly Compact Set. 503-521 - Emanuele Frittaion
:
On Goodman Realizability. 523-550 - Alexander R. Pruss:
Conditionals and Conditional Probabilities without Triviality. 551-558
Volume 60, Number 4, November 2019
- Lucas Rosenblatt:
Noncontractive Classical Logic. 559-585 - Heike Mildenberger, Saharon Shelah
:
Specializing Aronszajn Trees with Strong Axiom A and Halving. 587-616 - Bruno Bentzen
:
Frege on Referentiality and Julius Caesar in Grundgesetze Section 10. 617-637 - Thomas Blossier, Amador Martin-Pizarro
:
Un critère simple. 639-663 - David Asperó
, Tapani Hyttinen
, Vadim Kulikov, Miguel Moreno
:
Reducibility of Equivalence Relations Arising from Nonstationary Ideals under Large Cardinal Assumptions. 665-682 - Jie Fan:
A Family of Neighborhood Contingency Logics. 683-699 - Erik Walsberg:
The Marker-Steinhorn Theorem via Definable Linear Orders. 701-706 - Tapani Hyttinen
, Gianluca Paolini:
Coxeter Groups and Abstract Elementary Classes: The Right-Angled Case. 707-731 - Keng Meng Ng
, Hongyuan Yu:
On the Degree Structure of Equivalence Relations Under Computable Reducibility. 733-761
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.