default search action
Notre Dame Journal of Formal Logic, Volume 61
Volume 61, Number 1, January 2020
- Ali Valizadeh, Massoud Pourmahdian
:
Pseudofiniteness in Hrushovski Constructions. 1-10 - Guillermo Badia, Grigory K. Olkhovikov:
A Lindström Theorem for Intuitionistic Propositional Logic. 11-30 - Anton Freund, Fedor Pakhomov:
Short Proofs for Slow Consistency. 31-49 - Sam Sanders:
Splittings and Disjunctions in Reverse Mathematics. 51-74 - Ivano Ciardelli, Rosalie Iemhoff
Questions and Dependency in Intuitionistic Logic. 75-115 - Vladimir Kanovei
Canonization of Smooth Equivalence Relations on Infinite-Dimensional E0-Large Products. 117-128 - Sergi Oms
A Remark on Probabilistic Measures of Coherence. 129-140 - Huishan Wu:
The Complexity of Radicals and Socles of Modules. 141-153 - Eduardo Hermo Reyes, Joost J. Joosten:
The Logic of Turing Progressions. 155-180
Volume 61, Number 2, May 2020
- Fabrice Correia, Sven Rosenkranz:
The Formalities of Temporaryism without Presentness. 181-202 - Keng Meng Ng, Hongyuan Yu:
Effective Domination and the Bounded Jump. 203-225 - Guozhen Shen
A Note on Strongly Almost Disjoint Families. 227-231 - Pierre Simon:
On Amalgamation in NTP2 Theories and Generically Simple Generics. 233-243 - Linda Westrick:
An Effective Analysis of the Denjoy Rank. 245-263 - Michael C. Laskowski, Caroline A. Terry
Uniformly Bounded Arrays and Mutually Algebraic Structures. 265-282 - J. C. Beall, Caleb Camrud:
A Note on FDE "All the Way Up". 283-296 - Alexander Berenstein, Rafael Zamora
Isometry Groups of Borel Randomizations. 297-316 - Volker Halbach:
Formal Notes on the Substitutional Analysis of Logical Consequence. 317-339 - Allen Gehret, Elliot Kaplan:
Distality for the Asymptotic Couple of the Field of Logarithmic Transseries. 341-361
Volume 61, Number 3, September 2020
- Will Johnson:
On the Proof of Elimination of Imaginaries in Algebraically Closed Valued Fields. 363-381 - Nissim Francez:
Connexive Restricted Quantification. 383-402 - David Chodounský, Jindrich Zapletal
Ideals and Their Generic Ultrafilters. 403-408 - Calixto Badesa, Joan Bertran-San Millán
Begriffsschrift's Logic. 409-440 - Erick Garcia-Ramirez:
Definable Functions and Stratifications in Power-Bounded T -Convex Fields. 441-465 - Jon Erling Litland:
Prospects for a Theory of Decycling. 467-499 - Alexander R. Pruss:
Erratum for "Conditionals and Conditional Probabilities without Triviality". 501
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-11-18 20:48 CET 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: