Search dblp for Publications

export results for "toc:db/journals/ndjfl/ndjfl51.bht:"

 download as .bib file

@article{DBLP:journals/ndjfl/Andrews10,
  author       = {Simon Andrews},
  title        = {Definable Open Sets As Finite Unions of Definable Open Cells},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {51},
  number       = {2},
  pages        = {247--251},
  year         = {2010},
  url          = {https://doi.org/10.1215/00294527-2010-015},
  doi          = {10.1215/00294527-2010-015},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Andrews10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Antonelli10,
  author       = {Gian Aldo Antonelli},
  title        = {Numerical Abstraction via the Frege Quantifier},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {51},
  number       = {2},
  pages        = {161--179},
  year         = {2010},
  url          = {https://doi.org/10.1215/00294527-2010-010},
  doi          = {10.1215/00294527-2010-010},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Antonelli10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/AtkinsonP10,
  author       = {David Atkinson and
                  Jeanne Peijnenburg},
  title        = {Justification by Infinite Loops},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {51},
  number       = {4},
  pages        = {407--416},
  year         = {2010},
  url          = {https://doi.org/10.1215/00294527-2010-025},
  doi          = {10.1215/00294527-2010-025},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/AtkinsonP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Barmpalias10,
  author       = {George Barmpalias},
  title        = {Relative Randomness and Cardinality},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {51},
  number       = {2},
  pages        = {195--205},
  year         = {2010},
  url          = {https://doi.org/10.1215/00294527-2010-012},
  doi          = {10.1215/00294527-2010-012},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Barmpalias10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Burgess10,
  author       = {John P. Burgess},
  title        = {Axiomatizing the Logic of Comparative Probability},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {51},
  number       = {1},
  pages        = {119--126},
  year         = {2010},
  url          = {https://doi.org/10.1215/00294527-2010-008},
  doi          = {10.1215/00294527-2010-008},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Burgess10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Cai10,
  author       = {Mingzhong Cai},
  title        = {A Hyperimmune Minimal Degree and an {ANR} 2-Minimal Degree},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {51},
  number       = {4},
  pages        = {443--455},
  year         = {2010},
  url          = {https://doi.org/10.1215/00294527-2010-028},
  doi          = {10.1215/00294527-2010-028},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Cai10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Citkin10,
  author       = {Alex Citkin},
  title        = {Metalogic of Intuitionistic Propositional Calculus},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {51},
  number       = {4},
  pages        = {485--502},
  year         = {2010},
  url          = {https://doi.org/10.1215/00294527-2010-031},
  doi          = {10.1215/00294527-2010-031},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Citkin10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/CoppolaGM10,
  author       = {Cristina Coppola and
                  Giangiacomo Gerla and
                  Annamaria Miranda},
  title        = {Point-free Foundation of Geometry and Multivalued Logic},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {51},
  number       = {3},
  pages        = {383--405},
  year         = {2010},
  url          = {https://doi.org/10.1215/00294527-2010-024},
  doi          = {10.1215/00294527-2010-024},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ndjfl/CoppolaGM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Cunningham10,
  author       = {Daniel W. Cunningham},
  title        = {A Covering Lemma for {HOD} of \emph{K}({\(\mathbb{R}\)})},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {51},
  number       = {4},
  pages        = {427--442},
  year         = {2010},
  url          = {https://doi.org/10.1215/00294527-2010-027},
  doi          = {10.1215/00294527-2010-027},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Cunningham10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Detlefsen10,
  author       = {Michael Detlefsen},
  title        = {Introduction to the Fiftieth Anniversary Issues},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {51},
  number       = {1},
  pages        = {1--2},
  year         = {2010},
  url          = {https://doi.org/10.1215/00294527-2010-001},
  doi          = {10.1215/00294527-2010-001},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Detlefsen10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/DiamondstoneDS10,
  author       = {David Diamondstone and
                  Damir D. Dzhafarov and
                  Robert I. Soare},
  title        = {{\(\Pi\)}\({}^{\mbox{0}}\)\({}_{\mbox{1}}\) Classes, Peano Arithmetic,
                  Randomness, and Computable Domination},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {51},
  number       = {1},
  pages        = {127--159},
  year         = {2010},
  url          = {https://doi.org/10.1215/00294527-2010-009},
  doi          = {10.1215/00294527-2010-009},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/DiamondstoneDS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Dietz10,
  author       = {Richard Dietz},
  title        = {On Generalizing Kolmogorov},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {51},
  number       = {3},
  pages        = {323--335},
  year         = {2010},
  url          = {https://doi.org/10.1215/00294527-2010-019},
  doi          = {10.1215/00294527-2010-019},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Dietz10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/DowneyGKKKMT10,
  author       = {Rodney G. Downey and
                  Sergei S. Goncharov and
                  Asher M. Kach and
                  Julia F. Knight and
                  Oleg V. Kudinov and
                  Alexander G. Melnikov and
                  Daniel Turetsky},
  title        = {Decidability and Computability of Certain Torsion-Free Abelian Groups},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {51},
  number       = {1},
  pages        = {85--96},
  year         = {2010},
  url          = {https://doi.org/10.1215/00294527-2010-006},
  doi          = {10.1215/00294527-2010-006},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/DowneyGKKKMT10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/DowneyN10,
  author       = {Rod Downey and
                  Keng Meng Ng},
  title        = {Effective Packing Dimension and Traceability},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {51},
  number       = {2},
  pages        = {279--290},
  year         = {2010},
  url          = {https://doi.org/10.1215/00294527-2010-017},
  doi          = {10.1215/00294527-2010-017},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ndjfl/DowneyN10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Feferman10,
  author       = {Solomon Feferman},
  title        = {Set-theoretical Invariance Criteria for Logicality},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {51},
  number       = {1},
  pages        = {3--20},
  year         = {2010},
  url          = {https://doi.org/10.1215/00294527-2010-002},
  doi          = {10.1215/00294527-2010-002},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Feferman10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Fine10,
  author       = {Kit Fine},
  title        = {Some Puzzles of Ground},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {51},
  number       = {1},
  pages        = {97--118},
  year         = {2010},
  url          = {https://doi.org/10.1215/00294527-2010-007},
  doi          = {10.1215/00294527-2010-007},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Fine10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Fleischmann10,
  author       = {Jonathan Fleischmann},
  title        = {Syntactic Preservation Theorems for Intuitionistic Predicate Logic},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {51},
  number       = {2},
  pages        = {225--245},
  year         = {2010},
  url          = {https://doi.org/10.1215/00294527-2010-014},
  doi          = {10.1215/00294527-2010-014},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Fleischmann10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Franklin10,
  author       = {Johanna N. Y. Franklin},
  title        = {Subclasses of the Weakly Random Reals},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {51},
  number       = {4},
  pages        = {417--426},
  year         = {2010},
  url          = {https://doi.org/10.1215/00294527-2010-026},
  doi          = {10.1215/00294527-2010-026},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Franklin10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/GitmanH10,
  author       = {Victoria Gitman and
                  Joel David Hamkins},
  title        = {A Natural Model of the Multiverse Axioms},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {51},
  number       = {4},
  pages        = {475--484},
  year         = {2010},
  url          = {https://doi.org/10.1215/00294527-2010-030},
  doi          = {10.1215/00294527-2010-030},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/GitmanH10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/HamkinsJ10,
  author       = {Joel David Hamkins and
                  Thomas A. Johnstone},
  title        = {Indestructible Strong Unfoldability},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {51},
  number       = {3},
  pages        = {291--321},
  year         = {2010},
  url          = {https://doi.org/10.1215/00294527-2010-018},
  doi          = {10.1215/00294527-2010-018},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/HamkinsJ10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Hansson10,
  author       = {Sven Ove Hansson},
  title        = {Past Probabilities},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {51},
  number       = {2},
  pages        = {207--223},
  year         = {2010},
  url          = {https://doi.org/10.1215/00294527-2010-013},
  doi          = {10.1215/00294527-2010-013},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Hansson10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Johnson10,
  author       = {Gregory M. Johnson},
  title        = {Abstract Elementary Classes with L{\"{o}}wenheim-Skolem Number
                  Cofinal with {\(\omega\)}},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {51},
  number       = {3},
  pages        = {361--371},
  year         = {2010},
  url          = {https://doi.org/10.1215/00294527-2010-022},
  doi          = {10.1215/00294527-2010-022},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Johnson10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/KachLS10,
  author       = {Asher M. Kach and
                  Oscar Levin and
                  Reed Solomon},
  title        = {Embeddings of Computable Structures},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {51},
  number       = {1},
  pages        = {55--68},
  year         = {2010},
  url          = {https://doi.org/10.1215/00294527-2010-004},
  doi          = {10.1215/00294527-2010-004},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/KachLS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Leibman10,
  author       = {George Leibman},
  title        = {The Consistency Strength of MP\({}_{\mbox{CCC}}\)(R)},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {51},
  number       = {2},
  pages        = {181--193},
  year         = {2010},
  url          = {https://doi.org/10.1215/00294527-2010-011},
  doi          = {10.1215/00294527-2010-011},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Leibman10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Leitgeb10,
  author       = {Hannes Leitgeb},
  title        = {On the Ramsey Test without Triviality},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {51},
  number       = {1},
  pages        = {21--54},
  year         = {2010},
  url          = {https://doi.org/10.1215/00294527-2010-003},
  doi          = {10.1215/00294527-2010-003},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Leitgeb10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Miyabe10,
  author       = {Kenshi Miyabe},
  title        = {An Extension of van Lambalgen's Theorem to Infinitely Many Relative
                  1-Random Reals},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {51},
  number       = {3},
  pages        = {337--349},
  year         = {2010},
  url          = {https://doi.org/10.1215/00294527-2010-020},
  doi          = {10.1215/00294527-2010-020},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Miyabe10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/OmoriW10,
  author       = {Hitoshi Omori and
                  Toshiharu Waragai},
  title        = {A Note on Majkic's Systems},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {51},
  number       = {4},
  pages        = {503--506},
  year         = {2010},
  url          = {https://doi.org/10.1215/00294527-2010-032},
  doi          = {10.1215/00294527-2010-032},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/OmoriW10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Paseau10,
  author       = {Alexander Paseau},
  title        = {Pure Second-Order Logic with Second-Order Identity},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {51},
  number       = {3},
  pages        = {351--360},
  year         = {2010},
  url          = {https://doi.org/10.1215/00294527-2010-021},
  doi          = {10.1215/00294527-2010-021},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Paseau10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Pickel10,
  author       = {Bryan Pickel},
  title        = {Syntax in \emph{Basic Laws} paragraph paragraph 29-32},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {51},
  number       = {2},
  pages        = {253--277},
  year         = {2010},
  url          = {https://doi.org/10.1215/00294527-2010-016},
  doi          = {10.1215/00294527-2010-016},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Pickel10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Priest10,
  author       = {Graham Priest},
  title        = {Inclosures, Vagueness, and Self-Reference},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {51},
  number       = {1},
  pages        = {69--84},
  year         = {2010},
  url          = {https://doi.org/10.1215/00294527-2010-005},
  doi          = {10.1215/00294527-2010-005},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Priest10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Simchen10,
  author       = {Ori Simchen},
  title        = {Polyadic Quantification via Denoting Concepts},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {51},
  number       = {3},
  pages        = {373--381},
  year         = {2010},
  url          = {https://doi.org/10.1215/00294527-2010-023},
  doi          = {10.1215/00294527-2010-023},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Simchen10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/SorensenU10,
  author       = {Morten Heine S{\o}rensen and
                  Pawel Urzyczyn},
  title        = {A Syntactic Embedding of Predicate Logic into Second-Order Propositional
                  Logic},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {51},
  number       = {4},
  pages        = {457--473},
  year         = {2010},
  url          = {https://doi.org/10.1215/00294527-2010-029},
  doi          = {10.1215/00294527-2010-029},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/SorensenU10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.