Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/ndjfl/Alexander13,
  author       = {Samuel Alexander},
  title        = {The First-Order Syntax of Variadic Functions},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {54},
  number       = {1},
  pages        = {47--59},
  year         = {2013},
  url          = {https://doi.org/10.1215/00294527-1731380},
  doi          = {10.1215/00294527-1731380},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Alexander13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/ApterC13,
  author       = {Arthur W. Apter and
                  Brent Cody},
  title        = {Consecutive Singular Cardinals and the Continuum Function},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {54},
  number       = {2},
  pages        = {125--136},
  year         = {2013},
  url          = {https://doi.org/10.1215/00294527-1960434},
  doi          = {10.1215/00294527-1960434},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/ApterC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/AschenbrennerDH13,
  author       = {Matthias Aschenbrenner and
                  Lou van den Dries and
                  Joris van der Hoeven},
  title        = {Toward a Model Theory for Transseries},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {54},
  number       = {3-4},
  pages        = {279--310},
  year         = {2013},
  url          = {https://doi.org/10.1215/00294527-2143898},
  doi          = {10.1215/00294527-2143898},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ndjfl/AschenbrennerDH13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/AschenbrennerDHMS13,
  author       = {Matthias Aschenbrenner and
                  Alf Dolich and
                  Deirdre Haskell and
                  Dugald Macpherson and
                  Sergei Starchenko},
  title        = {Vapnik-Chervonenkis Density in Some Theories without the Independence
                  Property, {II}},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {54},
  number       = {3-4},
  pages        = {311--363},
  year         = {2013},
  url          = {https://doi.org/10.1215/00294527-2143862},
  doi          = {10.1215/00294527-2143862},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/AschenbrennerDHMS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Bacon13,
  author       = {Andrew Bacon},
  title        = {A New Conditional for Naive Truth Theory},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {54},
  number       = {1},
  pages        = {87--104},
  year         = {2013},
  url          = {https://doi.org/10.1215/00294527-1731407},
  doi          = {10.1215/00294527-1731407},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Bacon13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/BeallFS13,
  author       = {J. C. Beall and
                  Thomas Forster and
                  Jeremy Seligman},
  title        = {A Note on Freedom from Detachment in the Logic of Paradox},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {54},
  number       = {1},
  pages        = {15--20},
  year         = {2013},
  url          = {https://doi.org/10.1215/00294527-1731353},
  doi          = {10.1215/00294527-1731353},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/BeallFS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Bertrand13,
  author       = {D. Bertrand},
  title        = {Unlikely Intersections in Poincar{\'{e}} Biextensions over Elliptic
                  Schemes},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {54},
  number       = {3-4},
  pages        = {365--375},
  year         = {2013},
  url          = {https://doi.org/10.1215/00294527-2143907},
  doi          = {10.1215/00294527-2143907},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Bertrand13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/BinnsN13,
  author       = {Stephen Binns and
                  Marie Nicholson},
  title        = {Compressibility and Kolmogorov Complexity},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {54},
  number       = {1},
  pages        = {105--123},
  year         = {2013},
  url          = {https://doi.org/10.1215/00294527-1731416},
  doi          = {10.1215/00294527-1731416},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/BinnsN13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Bost13,
  author       = {Jean{-}Beno{\^{\i}}t Bost},
  title        = {Algebraization, Transcendence, and D-Group Schemes},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {54},
  number       = {3-4},
  pages        = {377--434},
  year         = {2013},
  url          = {https://doi.org/10.1215/00294527-2143961},
  doi          = {10.1215/00294527-2143961},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Bost13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/BoxallBKAP13,
  author       = {Gareth Boxall and
                  David Bradley{-}Williams and
                  Charlotte Kestner and
                  Alexandra Omar Aziz and
                  Davide Penazzi},
  title        = {Weak One-Basedness},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {54},
  number       = {3-4},
  pages        = {435--448},
  year         = {2013},
  url          = {https://doi.org/10.1215/00294527-2143934},
  doi          = {10.1215/00294527-2143934},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/BoxallBKAP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/ChatzidakisMMMS13,
  author       = {Zo{\'{e}} Chatzidakis and
                  David Marker and
                  Amador Martin{-}Pizarro and
                  Rahim Moosa and
                  Sergei Starchenko},
  title        = {Introduction},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {54},
  number       = {3-4},
  pages        = {277},
  year         = {2013},
  url          = {https://doi.org/10.1215/00294527-2143880},
  doi          = {10.1215/00294527-2143880},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/ChatzidakisMMMS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/ConidisGT13,
  author       = {Chris J. Conidis and
                  Noam Greenberg and
                  Daniel Turetsky},
  title        = {Galvin's "Racing Pawns" Game, Internal Hyperarithmetic Comprehension,
                  and the Law of Excluded Middle},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {54},
  number       = {2},
  pages        = {233--252},
  year         = {2013},
  url          = {https://doi.org/10.1215/00294527-1960488},
  doi          = {10.1215/00294527-1960488},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/ConidisGT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/CsimaFS13,
  author       = {Barbara F. Csima and
                  Johanna N. Y. Franklin and
                  Richard A. Shore},
  title        = {Degrees of Categoricity and the Hyperarithmetic Hierarchy},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {54},
  number       = {2},
  pages        = {215--231},
  year         = {2013},
  url          = {https://doi.org/10.1215/00294527-1960479},
  doi          = {10.1215/00294527-1960479},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/CsimaFS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/EleftheriouP13,
  author       = {Pantelis E. Eleftheriou and
                  Ya'acov Peterzil},
  title        = {Lattices in Locally Definable Subgroups of {\textless}R\({}^{\mbox{n}}\),+{\textgreater}},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {54},
  number       = {3-4},
  pages        = {449--461},
  year         = {2013},
  url          = {https://doi.org/10.1215/00294527-2143889},
  doi          = {10.1215/00294527-2143889},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ndjfl/EleftheriouP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/FriedmanHK13,
  author       = {Sy{-}David Friedman and
                  Tapani Hyttinen and
                  Martin Koerwien},
  title        = {The Nonabsoluteness of Model Existence in Uncountable Cardinals for
                  L\({}_{\mbox{{\(\omega\)}\({}_{\mbox{1}}\),{\(\omega\)}}}\)},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {54},
  number       = {2},
  pages        = {137--151},
  year         = {2013},
  url          = {https://doi.org/10.1215/00294527-1960443},
  doi          = {10.1215/00294527-1960443},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/FriedmanHK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Galliani13,
  author       = {Pietro Galliani},
  title        = {General Models and Entailment Semantics for Independence Logic},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {54},
  number       = {2},
  pages        = {253--275},
  year         = {2013},
  url          = {https://doi.org/10.1215/00294527-1960506},
  doi          = {10.1215/00294527-1960506},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Galliani13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/HahmannG13,
  author       = {Torsten Hahmann and
                  Michael Gr{\"{u}}ninger},
  title        = {Complementation in Representable Theories of Region-Based Space},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {54},
  number       = {2},
  pages        = {177--214},
  year         = {2013},
  url          = {https://doi.org/10.1215/00294527-1731344},
  doi          = {10.1215/00294527-1731344},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/HahmannG13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Hrushovski13,
  author       = {Ehud Hrushovski},
  title        = {On Pseudo-Finite Dimensions},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {54},
  number       = {3-4},
  pages        = {463--495},
  year         = {2013},
  url          = {https://doi.org/10.1215/00294527-2143952},
  doi          = {10.1215/00294527-2143952},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Hrushovski13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Johnson13,
  author       = {Hunter Johnson},
  title        = {dp-Rank and Forbidden Configurations},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {54},
  number       = {1},
  pages        = {1--13},
  year         = {2013},
  url          = {https://doi.org/10.1215/00294527-1731335},
  doi          = {10.1215/00294527-1731335},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Johnson13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Kim13,
  author       = {Byunghan Kim},
  title        = {The Lascar Group and the Strong Types of Hyperimaginaries},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {54},
  number       = {3-4},
  pages        = {497--507},
  year         = {2013},
  url          = {https://doi.org/10.1215/00294527-2143916},
  doi          = {10.1215/00294527-2143916},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Kim13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Kirby13,
  author       = {Jonathan Kirby},
  title        = {A Note on the Axioms for Zilber's Pseudo-Exponential Fields},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {54},
  number       = {3-4},
  pages        = {509--520},
  year         = {2013},
  url          = {https://doi.org/10.1215/00294527-2143844},
  doi          = {10.1215/00294527-2143844},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Kirby13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Lieberman13,
  author       = {Michael J. Lieberman},
  title        = {Rank Functions and Partial Stability Spectra for Tame Abstract Elementary
                  Classes},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {54},
  number       = {2},
  pages        = {153--166},
  year         = {2013},
  url          = {https://doi.org/10.1215/00294527-1960452},
  doi          = {10.1215/00294527-1960452},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Lieberman13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/LouderPS13,
  author       = {Larsen Louder and
                  Chlo{\'{e}} Perin and
                  Rizos Sklinos},
  title        = {Hyperbolic Towers and Independent Generic Sets in the Theory of Free
                  Groups},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {54},
  number       = {3-4},
  pages        = {521--539},
  year         = {2013},
  url          = {https://doi.org/10.1215/00294527-2143988},
  doi          = {10.1215/00294527-2143988},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/LouderPS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Lu13,
  author       = {Yun Lu},
  title        = {Reducts of the Random Bipartite Graph},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {54},
  number       = {1},
  pages        = {33--46},
  year         = {2013},
  url          = {https://doi.org/10.1215/00294527-1731371},
  doi          = {10.1215/00294527-1731371},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Lu13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Nation13,
  author       = {James B. Nation},
  title        = {Lattices of Theories in Languages without Equality},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {54},
  number       = {2},
  pages        = {167--175},
  year         = {2013},
  url          = {https://doi.org/10.1215/00294527-1960470},
  doi          = {10.1215/00294527-1960470},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Nation13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/PalacinW13,
  author       = {Daniel Palac{\'{\i}}n and
                  Frank O. Wagner},
  title        = {Elimination of Hyperimaginaries and Stable Independence in Simple
                  CM-Trivial Theories},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {54},
  number       = {3-4},
  pages        = {541--551},
  year         = {2013},
  url          = {https://doi.org/10.1215/00294527-2143970},
  doi          = {10.1215/00294527-2143970},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/PalacinW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Patten13,
  author       = {Daniel R. Patten},
  title        = {Mereology on Topological and Convergence Spaces},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {54},
  number       = {1},
  pages        = {21--31},
  year         = {2013},
  url          = {https://doi.org/10.1215/00294527-1731362},
  doi          = {10.1215/00294527-1731362},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Patten13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Pila13,
  author       = {Jonathan Pila},
  title        = {Modular Ax-Lindemann-Weierstrass with Derivatives},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {54},
  number       = {3-4},
  pages        = {553--565},
  year         = {2013},
  url          = {https://doi.org/10.1215/00294527-2143853},
  doi          = {10.1215/00294527-2143853},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Pila13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Pillay13,
  author       = {Anand Pillay},
  title        = {Weight and Measure in {NIP} Theories},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {54},
  number       = {3-4},
  pages        = {567--578},
  year         = {2013},
  url          = {https://doi.org/10.1215/00294527-2143871},
  doi          = {10.1215/00294527-2143871},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Pillay13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Rossler13,
  author       = {Damian R{\"{o}}ssler},
  title        = {Infinitely p-Divisible Points on Abelian Varieties Defined over Function
                  Fields of Characteristic p {\textgreater} 0},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {54},
  number       = {3-4},
  pages        = {579--589},
  year         = {2013},
  url          = {https://doi.org/10.1215/00294527-2143943},
  doi          = {10.1215/00294527-2143943},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Rossler13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Shkop13,
  author       = {Ahuva C. Shkop},
  title        = {Real Closed Exponential Subfields of Pseudo-Exponential Fields},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {54},
  number       = {3-4},
  pages        = {591--601},
  year         = {2013},
  url          = {https://doi.org/10.1215/00294527-2143925},
  doi          = {10.1215/00294527-2143925},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Shkop13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Steinberger13,
  author       = {Florian Steinberger},
  title        = {On the Equivalence Conjecture for Proof-Theoretic Harmony},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {54},
  number       = {1},
  pages        = {79--86},
  year         = {2013},
  url          = {https://doi.org/10.1215/00294527-1731398},
  doi          = {10.1215/00294527-1731398},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Steinberger13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Wilkie13,
  author       = {A. J. Wilkie},
  title        = {Some Results and Problems on Complex Germs with Definable Mittag-Leffler
                  Stars},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {54},
  number       = {3-4},
  pages        = {603--610},
  year         = {2013},
  url          = {https://doi.org/10.1215/00294527-2143979},
  doi          = {10.1215/00294527-2143979},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Wilkie13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/XuL13,
  author       = {Wenyan Xu and
                  Sanyang Liu},
  title        = {The Parallel versus Branching Recurrences in Computability Logic},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {54},
  number       = {1},
  pages        = {61--78},
  year         = {2013},
  url          = {https://doi.org/10.1215/00294527-1731389},
  doi          = {10.1215/00294527-1731389},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/XuL13.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.