![](https://dblp.uni-trier.de./img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de./img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de./img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/journals/ndjfl/ndjfl48.bht:"
@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} }
![](https://dblp.uni-trier.de./img/cog.dark.24x24.png)
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.