Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNotre 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
a service of 
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.
last updated on 2024-08-20 20:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
