default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/ndjfl/ndjfl48.bht:"
download as .bib file
@article{DBLP:journals/ndjfl/Baldwin07,
author = {John T. Baldwin},
title = {The Vaught Conjecture: Do Uncountable Models Count?},
journal = {Notre Dame J. Formal Log.},
volume = {48},
number = {1},
pages = {79--92},
year = {2007},
url = {https://doi.org/10.1305/ndjfl/1172787546},
doi = {10.1305/NDJFL/1172787546},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Baldwin07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Binns07,
author = {Stephen Binns},
title = {Hyperimmunity in 2\({}^{\mbox{{\(\mathbb{N}\)}}}\)},
journal = {Notre Dame J. Formal Log.},
volume = {48},
number = {2},
pages = {293--316},
year = {2007},
url = {https://doi.org/10.1305/ndjfl/1179323269},
doi = {10.1305/NDJFL/1179323269},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Binns07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Camerlo07,
author = {Riccardo Camerlo},
title = {Finiteness Axioms on Fragments of Intuitionistic Set Theory},
journal = {Notre Dame J. Formal Log.},
volume = {48},
number = {4},
pages = {473--488},
year = {2007},
url = {https://doi.org/10.1305/ndjfl/1193667705},
doi = {10.1305/NDJFL/1193667705},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Camerlo07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Cholak07,
author = {Peter Cholak},
title = {Introduction to the Special Issue on Vaught's Conjecture},
journal = {Notre Dame J. Formal Log.},
volume = {48},
number = {1},
pages = {1--2},
year = {2007},
url = {https://doi.org/10.1305/ndjfl/1172787540},
doi = {10.1305/NDJFL/1172787540},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Cholak07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Dolich07,
author = {Alfred Dolich},
title = {A Note on Weakly O-Minimal Structures and Definable Completeness},
journal = {Notre Dame J. Formal Log.},
volume = {48},
number = {2},
pages = {281--292},
year = {2007},
url = {https://doi.org/10.1305/ndjfl/1179323268},
doi = {10.1305/NDJFL/1179323268},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Dolich07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Gao07,
author = {Su Gao},
title = {Complexity Ranks of Countable Models},
journal = {Notre Dame J. Formal Log.},
volume = {48},
number = {1},
pages = {33--48},
year = {2007},
url = {https://doi.org/10.1305/ndjfl/1172787543},
doi = {10.1305/NDJFL/1172787543},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Gao07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Hall07,
author = {Eric J. Hall},
title = {Permutation Models and {SVC}},
journal = {Notre Dame J. Formal Log.},
volume = {48},
number = {2},
pages = {229--235},
year = {2007},
url = {https://doi.org/10.1305/ndjfl/1179323265},
doi = {10.1305/NDJFL/1179323265},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Hall07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Harris07,
author = {Charles M. Harris},
title = {On the Symmetric Enumeration Degrees},
journal = {Notre Dame J. Formal Log.},
volume = {48},
number = {2},
pages = {175--204},
year = {2007},
url = {https://doi.org/10.1305/ndjfl/1179323263},
doi = {10.1305/NDJFL/1179323263},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Harris07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/HertelHM07,
author = {Alexander Hertel and
Philipp Hertel and
Charles Morgan},
title = {A Sound and Complete Proof Theory for Propositional Logical Contingencies},
journal = {Notre Dame J. Formal Log.},
volume = {48},
number = {4},
pages = {521--530},
year = {2007},
url = {https://doi.org/10.1305/ndjfl/1193667709},
doi = {10.1305/NDJFL/1193667709},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/HertelHM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/HirschfeldtMP07,
author = {Denis R. Hirschfeldt and
Russell G. Miller and
Sergei Podzorov},
title = {Order-Computable Sets},
journal = {Notre Dame J. Formal Log.},
volume = {48},
number = {3},
pages = {317--347},
year = {2007},
url = {https://doi.org/10.1305/ndjfl/1187031407},
doi = {10.1305/NDJFL/1187031407},
timestamp = {Wed, 16 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ndjfl/HirschfeldtMP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Hjorth07,
author = {Greg Hjorth},
title = {A Note on Counterexamples to the Vaught Conjecture},
journal = {Notre Dame J. Formal Log.},
volume = {48},
number = {1},
pages = {49--51},
year = {2007},
url = {https://doi.org/10.1305/ndjfl/1172787544},
doi = {10.1305/NDJFL/1172787544},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Hjorth07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/IvanovM07,
author = {Aleksander Ivanov and
K. Majcher},
title = {Ages of Expansions of {\(\omega\)}-Categorical Structures},
journal = {Notre Dame J. Formal Log.},
volume = {48},
number = {3},
pages = {371--380},
year = {2007},
url = {https://doi.org/10.1305/ndjfl/1187031409},
doi = {10.1305/NDJFL/1187031409},
timestamp = {Sat, 01 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/IvanovM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Joosten07,
author = {Joost J. Joosten},
title = {Propositional Proof Systems and Fast Consistency Provers},
journal = {Notre Dame J. Formal Log.},
volume = {48},
number = {3},
pages = {381--398},
year = {2007},
url = {https://doi.org/10.1305/ndjfl/1187031410},
doi = {10.1305/NDJFL/1187031410},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Joosten07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/KaminskiT07,
author = {Michael Kaminski and
Michael L. Tiomkin},
title = {The Modal Logic of Cluster-Decomposable Kripke Interpretations},
journal = {Notre Dame J. Formal Log.},
volume = {48},
number = {4},
pages = {511--520},
year = {2007},
url = {https://doi.org/10.1305/ndjfl/1193667708},
doi = {10.1305/NDJFL/1193667708},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/KaminskiT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/KayeW07,
author = {Richard Kaye and
Tin Lok Wong},
title = {On Interpretations of Arithmetic and Set Theory},
journal = {Notre Dame J. Formal Log.},
volume = {48},
number = {4},
pages = {497--510},
year = {2007},
url = {https://doi.org/10.1305/ndjfl/1193667707},
doi = {10.1305/NDJFL/1193667707},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/KayeW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Knight07,
author = {R. W. Knight},
title = {Categories of Topological Spaces and Scattered Theories},
journal = {Notre Dame J. Formal Log.},
volume = {48},
number = {1},
pages = {53--77},
year = {2007},
url = {https://doi.org/10.1305/ndjfl/1172787545},
doi = {10.1305/NDJFL/1172787545},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Knight07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/KummerS07,
author = {Martin Kummer and
Marcus Sch{\"{a}}fer},
title = {Cuppability of Simple and Hypersimple Sets},
journal = {Notre Dame J. Formal Log.},
volume = {48},
number = {3},
pages = {349--369},
year = {2007},
url = {https://doi.org/10.1305/ndjfl/1187031408},
doi = {10.1305/NDJFL/1187031408},
timestamp = {Thu, 17 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/KummerS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/LangeS07,
author = {Karen M. Lange and
Robert I. Soare},
title = {Computability of Homogeneous Models},
journal = {Notre Dame J. Formal Log.},
volume = {48},
number = {1},
pages = {143--170},
year = {2007},
url = {https://doi.org/10.1305/ndjfl/1172787551},
doi = {10.1305/NDJFL/1172787551},
timestamp = {Mon, 29 Mar 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/LangeS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Laskowski07,
author = {Michael C. Laskowski},
title = {An Old Friend Revisited: Countable Models of {\(\omega\)}-Stable Theories},
journal = {Notre Dame J. Formal Log.},
volume = {48},
number = {1},
pages = {133--141},
year = {2007},
url = {https://doi.org/10.1305/ndjfl/1172787550},
doi = {10.1305/NDJFL/1172787550},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Laskowski07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Marcone07,
author = {Alberto Marcone},
title = {Interval Orders and Reverse Mathematics},
journal = {Notre Dame J. Formal Log.},
volume = {48},
number = {3},
pages = {425--448},
year = {2007},
url = {https://doi.org/10.1305/ndjfl/1187031412},
doi = {10.1305/NDJFL/1187031412},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Marcone07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Mares07,
author = {Edwin D. Mares},
title = {The Fact Semantics for Ramified Type Theory and the Axiom of Reducibility},
journal = {Notre Dame J. Formal Log.},
volume = {48},
number = {2},
pages = {237--251},
year = {2007},
url = {https://doi.org/10.1305/ndjfl/1179323266},
doi = {10.1305/NDJFL/1179323266},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Mares07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Marker07,
author = {David Marker},
title = {The Borel Complexity of Isomorphism for Theories with Many Types},
journal = {Notre Dame J. Formal Log.},
volume = {48},
number = {1},
pages = {93--97},
year = {2007},
url = {https://doi.org/10.1305/ndjfl/1172787547},
doi = {10.1305/NDJFL/1172787547},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Marker07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Marker07a,
author = {David Marker},
title = {The Number of Countable Differentially Closed Fields},
journal = {Notre Dame J. Formal Log.},
volume = {48},
number = {1},
pages = {99--113},
year = {2007},
url = {https://doi.org/10.1305/ndjfl/1172787548},
doi = {10.1305/NDJFL/1172787548},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Marker07a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Martinez-Fernandez07,
author = {Jos{\'{e}} Mart{\'{\i}}nez{-}Fern{\'{a}}ndez},
title = {Maximal Three-Valued Clones with the Gupta-Belnap Fixed-Point Property},
journal = {Notre Dame J. Formal Log.},
volume = {48},
number = {4},
pages = {449--472},
year = {2007},
url = {https://doi.org/10.1305/ndjfl/1193667704},
doi = {10.1305/NDJFL/1193667704},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Martinez-Fernandez07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Newelski07,
author = {Ludomir Newelski},
title = {Relative Vaught's Conjecture for Some Meager Groups},
journal = {Notre Dame J. Formal Log.},
volume = {48},
number = {1},
pages = {115--132},
year = {2007},
url = {https://doi.org/10.1305/ndjfl/1172787549},
doi = {10.1305/NDJFL/1172787549},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Newelski07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Rescorla07,
author = {Michael Rescorla},
title = {Church's Thesis and the Conceptual Analysis of Computability},
journal = {Notre Dame J. Formal Log.},
volume = {48},
number = {2},
pages = {253--280},
year = {2007},
url = {https://doi.org/10.1305/ndjfl/1179323267},
doi = {10.1305/NDJFL/1179323267},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Rescorla07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Sacks07,
author = {Gerald E. Sacks},
title = {Bounds on Weak Scattering},
journal = {Notre Dame J. Formal Log.},
volume = {48},
number = {1},
pages = {5--31},
year = {2007},
url = {https://doi.org/10.1305/ndjfl/1172787542},
doi = {10.1305/NDJFL/1172787542},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Sacks07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/SanoS07,
author = {Katsuhiko Sano and
Kentaro Sato},
title = {Semantical Characterizations for Irreflexive and Generalized Modal
Languages},
journal = {Notre Dame J. Formal Log.},
volume = {48},
number = {2},
pages = {205--228},
year = {2007},
url = {https://doi.org/10.1305/ndjfl/1179323264},
doi = {10.1305/NDJFL/1179323264},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ndjfl/SanoS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Scowcroft07,
author = {Philip Scowcroft},
title = {The Complexity of Bounded Quantifiers in Some Ordered Abelian Groups},
journal = {Notre Dame J. Formal Log.},
volume = {48},
number = {4},
pages = {521--550},
year = {2007},
url = {https://doi.org/10.1305/ndjfl/1193667710},
doi = {10.1305/NDJFL/1193667710},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Scowcroft07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Souma07,
author = {Daisuke Souma},
title = {An Algebraic Approach to the Disjunction Property of Substructural
Logics},
journal = {Notre Dame J. Formal Log.},
volume = {48},
number = {4},
pages = {489--495},
year = {2007},
url = {https://doi.org/10.1305/ndjfl/1193667706},
doi = {10.1305/NDJFL/1193667706},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Souma07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Sureson07,
author = {Claude Sureson},
title = {Rumely Domains with Atomic Constructible Boolean Algebra. An Effective
Viewpoint},
journal = {Notre Dame J. Formal Log.},
volume = {48},
number = {3},
pages = {399--423},
year = {2007},
url = {https://doi.org/10.1305/ndjfl/1187031411},
doi = {10.1305/NDJFL/1187031411},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Sureson07.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-11-12 13:43 CET 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:
