default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/ndjfl/ndjfl52.bht:"
download as .bib file
@article{DBLP:journals/ndjfl/BezhanishviliGJ11,
author = {Guram Bezhanishvili and
Silvio Ghilardi and
Mamuka Jibladze},
title = {An Algebraic Approach to Subframe Logics. Modal Case},
journal = {Notre Dame J. Formal Log.},
volume = {52},
number = {2},
pages = {187--202},
year = {2011},
url = {https://doi.org/10.1215/00294527-1306190},
doi = {10.1215/00294527-1306190},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/BezhanishviliGJ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Bleybel11,
author = {Ali Bleybel},
title = {The Field of LE-Series with a Nonstandard Analytic Structure},
journal = {Notre Dame J. Formal Log.},
volume = {52},
number = {3},
pages = {255--265},
year = {2011},
url = {https://doi.org/10.1215/00294527-1435447},
doi = {10.1215/00294527-1435447},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Bleybel11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Combase11,
author = {Jo{\"{e}}l Combase},
title = {A Silver-like Perfect Set Theorem with an Application to Borel Model
Theory},
journal = {Notre Dame J. Formal Log.},
volume = {52},
number = {4},
pages = {415--429},
year = {2011},
url = {https://doi.org/10.1215/00294527-1499372},
doi = {10.1215/00294527-1499372},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Combase11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/CortonesiMM11,
author = {Tommaso Cortonesi and
Enrico Marchioni and
Franco Montagna},
title = {Quantifier Elimination and Other Model-Theoretic Properties of BL-Algebras},
journal = {Notre Dame J. Formal Log.},
volume = {52},
number = {4},
pages = {339--379},
year = {2011},
url = {https://doi.org/10.1215/00294527-1499336},
doi = {10.1215/00294527-1499336},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/CortonesiMM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/CoskeyH11,
author = {Samuel Coskey and
Joel David Hamkins},
title = {Infinite Time Decidable Equivalence Relation Theory},
journal = {Notre Dame J. Formal Log.},
volume = {52},
number = {2},
pages = {203--228},
year = {2011},
url = {https://doi.org/10.1215/00294527-1306199},
doi = {10.1215/00294527-1306199},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/CoskeyH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/DolichGL11,
author = {Alfred Dolich and
John Goodrick and
David Lippel},
title = {Dp-Minimality: Basic Facts and Examples},
journal = {Notre Dame J. Formal Log.},
volume = {52},
number = {3},
pages = {267--288},
year = {2011},
url = {https://doi.org/10.1215/00294527-1435456},
doi = {10.1215/00294527-1435456},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/DolichGL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/DowneyK11,
author = {Rodney G. Downey and
Asher M. Kach},
title = {Euclidean Functions of Computable Euclidean Domains},
journal = {Notre Dame J. Formal Log.},
volume = {52},
number = {2},
pages = {163--172},
year = {2011},
url = {https://doi.org/10.1215/00294527-1306172},
doi = {10.1215/00294527-1306172},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/DowneyK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Dresner11,
author = {Eli Dresner},
title = {Logical Consequence and First-Order Soundness and Completeness: {A}
Bottom Up Approach},
journal = {Notre Dame J. Formal Log.},
volume = {52},
number = {1},
pages = {75--93},
year = {2011},
url = {https://doi.org/10.1215/00294527-2010-038},
doi = {10.1215/00294527-2010-038},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Dresner11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Dzhafarov11,
author = {Damir D. Dzhafarov},
title = {Stable Ramsey's Theorem and Measure},
journal = {Notre Dame J. Formal Log.},
volume = {52},
number = {1},
pages = {95--112},
year = {2011},
url = {https://doi.org/10.1215/00294527-2010-039},
doi = {10.1215/00294527-2010-039},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Dzhafarov11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/ForsterL11,
author = {Thomas Forster and
Thierry Libert},
title = {An Order-Theoretic Account of Some Set-Theoretic Paradoxes},
journal = {Notre Dame J. Formal Log.},
volume = {52},
number = {1},
pages = {1--19},
year = {2011},
url = {https://doi.org/10.1215/00294527-2010-033},
doi = {10.1215/00294527-2010-033},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/ForsterL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/FranklinS11,
author = {Johanna N. Y. Franklin and
Frank Stephan},
title = {Van Lambalgen's Theorem and High Degrees},
journal = {Notre Dame J. Formal Log.},
volume = {52},
number = {2},
pages = {173--185},
year = {2011},
url = {https://doi.org/10.1215/00294527-1306181},
doi = {10.1215/00294527-1306181},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/FranklinS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/FriedmanK11,
author = {Sy{-}David Friedman and
Martin Koerwien},
title = {On Absoluteness of Categoricity in Abstract Elementary Classes},
journal = {Notre Dame J. Formal Log.},
volume = {52},
number = {4},
pages = {395--402},
year = {2011},
url = {https://doi.org/10.1215/00294527-1499354},
doi = {10.1215/00294527-1499354},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/FriedmanK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/GartiS11,
author = {Shimon Garti and
Saharon Shelah},
title = {Depth of Boolean Algebras},
journal = {Notre Dame J. Formal Log.},
volume = {52},
number = {3},
pages = {307--314},
year = {2011},
url = {https://doi.org/10.1215/00294527-1435474},
doi = {10.1215/00294527-1435474},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/GartiS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/HirstM11,
author = {Jeffry L. Hirst and
Carl Mummert},
title = {Reverse Mathematics and Uniformity in Proofs without Excluded Middle},
journal = {Notre Dame J. Formal Log.},
volume = {52},
number = {2},
pages = {149--162},
year = {2011},
url = {https://doi.org/10.1215/00294527-1306163},
doi = {10.1215/00294527-1306163},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/HirstM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/HyttinenK11,
author = {Tapani Hyttinen and
Meeri Kes{\"{a}}l{\"{a}}},
title = {Lascar Types and Lascar Automorphisms in Abstract Elementary Classes},
journal = {Notre Dame J. Formal Log.},
volume = {52},
number = {1},
pages = {39--54},
year = {2011},
url = {https://doi.org/10.1215/00294527-2010-035},
doi = {10.1215/00294527-2010-035},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/HyttinenK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/JonesMT11,
author = {Gareth O. Jones and
Daniel J. Miller and
Margaret E. M. Thomas},
title = {Mildness and the Density of Rational Points on Certain Transcendental
Curves},
journal = {Notre Dame J. Formal Log.},
volume = {52},
number = {1},
pages = {67--74},
year = {2011},
url = {https://doi.org/10.1215/00294527-2010-037},
doi = {10.1215/00294527-2010-037},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/JonesMT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/KontinenV11,
author = {Juha Kontinen and
Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen},
title = {A Remark on Negation in Dependence Logic},
journal = {Notre Dame J. Formal Log.},
volume = {52},
number = {1},
pages = {55--65},
year = {2011},
url = {https://doi.org/10.1215/00294527-2010-036},
doi = {10.1215/00294527-2010-036},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/KontinenV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Linnebo11,
author = {{\O}ystein Linnebo},
title = {Some Criteria for Acceptable Abstraction},
journal = {Notre Dame J. Formal Log.},
volume = {52},
number = {3},
pages = {331--338},
year = {2011},
url = {https://doi.org/10.1215/00294527-1435492},
doi = {10.1215/00294527-1435492},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Linnebo11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Medina11,
author = {Ronald F. Bustamante Medina},
title = {Rank and Dimension in Difference-Differential Fields},
journal = {Notre Dame J. Formal Log.},
volume = {52},
number = {4},
pages = {403--414},
year = {2011},
url = {https://doi.org/10.1215/00294527-1499363},
doi = {10.1215/00294527-1499363},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Medina11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Mildenberger11,
author = {Heike Mildenberger},
title = {On Milliken-Taylor Ultrafilters},
journal = {Notre Dame J. Formal Log.},
volume = {52},
number = {4},
pages = {381--394},
year = {2011},
url = {https://doi.org/10.1215/00294527-1499345},
doi = {10.1215/00294527-1499345},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Mildenberger11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Moses11,
author = {Michael Moses},
title = {The Block Relation in Computable Linear Orders},
journal = {Notre Dame J. Formal Log.},
volume = {52},
number = {3},
pages = {289--305},
year = {2011},
url = {https://doi.org/10.1215/00294527-1435465},
doi = {10.1215/00294527-1435465},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Moses11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/NurkhaidarovS11,
author = {Ermek S. Nurkhaidarov and
Erez Shochat},
title = {Automorphisms of Saturated and Boundedly Saturated Models of Arithmetic},
journal = {Notre Dame J. Formal Log.},
volume = {52},
number = {3},
pages = {315--329},
year = {2011},
url = {https://doi.org/10.1215/00294527-1435483},
doi = {10.1215/00294527-1435483},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/NurkhaidarovS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Oosten11,
author = {Jaap van Oosten},
title = {Partial Combinatory Algebras of Functions},
journal = {Notre Dame J. Formal Log.},
volume = {52},
number = {4},
pages = {431--448},
year = {2011},
url = {https://doi.org/10.1215/00294527-1499381},
doi = {10.1215/00294527-1499381},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Oosten11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/RoslanowskiS11,
author = {Andrzej Roslanowski and
Saharon Shelah},
title = {Reasonable Ultrafilters, Again},
journal = {Notre Dame J. Formal Log.},
volume = {52},
number = {2},
pages = {113--147},
year = {2011},
url = {https://doi.org/10.1215/00294527-1306154},
doi = {10.1215/00294527-1306154},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/RoslanowskiS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Shafer11,
author = {Paul Shafer},
title = {Characterizing the Join-Irreducible Medvedev Degrees},
journal = {Notre Dame J. Formal Log.},
volume = {52},
number = {1},
pages = {21--38},
year = {2011},
url = {https://doi.org/10.1215/00294527-2010-034},
doi = {10.1215/00294527-2010-034},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Shafer11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/SimpsonY11,
author = {Stephen G. Simpson and
Keita Yokoyama},
title = {A Nonstandard Counterpart of {WWKL}},
journal = {Notre Dame J. Formal Log.},
volume = {52},
number = {3},
pages = {229--243},
year = {2011},
url = {https://doi.org/10.1215/00294527-1435429},
doi = {10.1215/00294527-1435429},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/SimpsonY11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Steinsvold11,
author = {Christopher Steinsvold},
title = {Being Wrong: Logics for False Belief},
journal = {Notre Dame J. Formal Log.},
volume = {52},
number = {3},
pages = {245--253},
year = {2011},
url = {https://doi.org/10.1215/00294527-1435438},
doi = {10.1215/00294527-1435438},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Steinsvold11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
retrieved on 2024-09-26 01:49 CEST from data curated 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:
