default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNotre Dame Journal of Formal Logic, Volume 58
Volume 58, Number 1, 2017
- Hartry Field:
Disarming a Paradox of Validity. 1-19 - Guram Bezhanishvili, Nick Bezhanishvili
:
Locally Finite Reducts of Heyting Algebras and Canonical Formulas. 21-45 - Brice Halimi:
Models as Universes. 47-78 - Osvaldo Guzmán González, Michael Hrusák, Arturo Martínez-Celis:
Canjar Filters. 79-95 - Howard Becker:
Strange Structures from Computable Model Theory. 97-105 - Owen Griffiths:
Inferentialism and Quantification. 107-113 - Wen Chean Teh:
Ramsey Algebras and Formal Orderly Terms. 115-125 - Sebastien Vasey:
Indiscernible Extraction and Morley Sequences. 127-132 - Will Boney:
Computing the Number of Types of Infinite Length. 133-154 - Editorial Notice.
- Erratum.
Volume 58, Number 2, 2017
- Saharon Shelah:
Universal Structures. 159-177 - Ruggero Pagnan:
Concrete Fibrations. 179-204 - Patrick Reeder:
Infinitesimal Comparisons: Homomorphisms between Giordano's Ring and the Hyperreal Field. 205-214 - Achilles Beros, Konstantinos A. Beros:
Normal Numbers and Limit Computable Cantor Series. 215-220 - Thomas Macaulay Ferguson:
Dunn-Priest Quotients of Many-Valued Structures. 221-239 - Joseph Vidal-Rosset:
Why Intuitionistic Relevant Logic Cannot Be a Core Logic. 241-248 - Merlin Carl, Philipp Schlicht:
Infinite Computations with Random Oracles. 249-270 - Su Gao, Caleb Ziegler:
On Polynomial-Time Relation Reducibility. 271-285 - Agi Kurucz:
Bimodal Logics with a "Weakly Connected" Component without the Finite Model Property. 287-299
Volume 58, Number 3, 2017
- Laurent Bienvenu, Rupert Hölzl, Christopher P. Porter, Paul Shafer:
Randomness and Semimeasures. 301-328 - Pierre Joray:
A Completed System for Robin Smith's Incomplete Ecthetic Syllogistic. 329-342 - Amar Hadzihasanovic, Benno van den Berg:
Nonstandard Functional Interpretations and Categorical Models. 343-380 - Teruyuki Yorioka:
Club-Isomorphisms of Aronszajn Trees in the Extension with a Suslin Tree. 381-396 - Daniel W. Cunningham:
A Diamond Principle Consistent with AD. 397-407 - Martin Zeman:
Two Upper Bounds on Consistency Strength of ¬□ℵω and Stationary Set Reflection at Two Successive ℵn. 409-432 - Anuj Dawar, Thomas Forster, Zachiri McKenzie:
Decidable Fragments of the Simple Theory of Types with Infinity and NF. 433-451 - Oleksandr Petrenko, Igor Protasov:
Selective and Ramsey Ultrafilters on G-spaces. 453-459
Volume 58, Number 4, 2017
- Hartry Field, Harvey Lederman, Tore Fjetland Øgaard:
Prospects for a Naive Theory of Classes. 461-506 - Alexander G. Melnikov:
New Degree Spectra of Abelian Groups. 507-525 - Tim Button:
Grades of Discrimination: Indiscernibility, Symmetry, and Relativity. 527-553 - Gabriel Conant:
Forking and Dividing in Henson Graphs. 555-566 - Peter Schroeder-Heister, Luca Tranchini:
Ekman's Paradox. 567-581
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 2025-02-21 19:36 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:
