Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/jsyml/jsyml55.bht:"
download as .bib file
@article{DBLP:journals/jsyml/AbrusciGW90,
author = {V. Michele Abrusci and
Jean{-}Yves Girard and
Jacques Van de Wiele},
title = {Some Uses of Dilators in Combinatorial Problems, {II}},
journal = {J. Symb. Log.},
volume = {55},
number = {1},
pages = {32--40},
year = {1990},
url = {https://doi.org/10.2307/2274952},
doi = {10.2307/2274952},
timestamp = {Sat, 30 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/AbrusciGW90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/AjtaiF90,
author = {Mikl{\'{o}}s Ajtai and
Ronald Fagin},
title = {Reachability Is Harder for Directed than for Undirected Finite Graphs},
journal = {J. Symb. Log.},
volume = {55},
number = {1},
pages = {113--150},
year = {1990},
url = {https://doi.org/10.2307/2274958},
doi = {10.2307/2274958},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/AjtaiF90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/AlbertG90,
author = {Michael H. Albert and
Rami P. Grossberg},
title = {Rich Models},
journal = {J. Symb. Log.},
volume = {55},
number = {3},
pages = {1292--1298},
year = {1990},
url = {https://doi.org/10.2307/2274488},
doi = {10.2307/2274488},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/AlbertG90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/AndrekaNT90,
author = {Hajnal Andr{\'{e}}ka and
Istv{\'{a}}n N{\'{e}}meti and
R. J. Thompson},
title = {Weak Cylindric Set Algebra and Weak Subdirect Indecomposability},
journal = {J. Symb. Log.},
volume = {55},
number = {2},
pages = {577--588},
year = {1990},
url = {https://doi.org/10.2307/2274648},
doi = {10.2307/2274648},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/AndrekaNT90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Apter90,
author = {Arthur W. Apter},
title = {Successors of Singular Cardinals and Measurability Revisited},
journal = {J. Symb. Log.},
volume = {55},
number = {2},
pages = {492--501},
year = {1990},
url = {https://doi.org/10.2307/2274642},
doi = {10.2307/2274642},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Apter90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/ArtemovD90,
author = {Sergei N. Art{\"{e}}mov and
Giorgie Dzhaparidze},
title = {Finite Kripke Models and Predicate Logics of Provability},
journal = {J. Symb. Log.},
volume = {55},
number = {3},
pages = {1090--1098},
year = {1990},
url = {https://doi.org/10.2307/2274475},
doi = {10.2307/2274475},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/ArtemovD90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Avron90,
author = {Arnon Avron},
title = {Relevance and Paraconsistency - {A} New Approach},
journal = {J. Symb. Log.},
volume = {55},
number = {2},
pages = {707--732},
year = {1990},
url = {https://doi.org/10.2307/2274660},
doi = {10.2307/2274660},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Avron90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Baldwin90,
author = {John T. Baldwin},
title = {The Spectrum of Resplendency},
journal = {J. Symb. Log.},
volume = {55},
number = {2},
pages = {626--636},
year = {1990},
url = {https://doi.org/10.2307/2274652},
doi = {10.2307/2274652},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Baldwin90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Bankston90,
author = {Paul Bankston},
title = {Taxonomies of Model-Theoretically Defined Topological Properties},
journal = {J. Symb. Log.},
volume = {55},
number = {2},
pages = {589--603},
year = {1990},
url = {https://doi.org/10.2307/2274649},
doi = {10.2307/2274649},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Bankston90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BankstonR90,
author = {Paul Bankston and
Wim Ruitenburg},
title = {Notions of Relative Ubiquity for Invariant Sets of Relational Structures},
journal = {J. Symb. Log.},
volume = {55},
number = {3},
pages = {948--986},
year = {1990},
url = {https://doi.org/10.2307/2274467},
doi = {10.2307/2274467},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/BankstonR90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Berarducci90,
author = {Alessandro Berarducci},
title = {The Interpretability Logic of Peano Arithmetic},
journal = {J. Symb. Log.},
volume = {55},
number = {3},
pages = {1059--1089},
year = {1990},
url = {https://doi.org/10.2307/2274474},
doi = {10.2307/2274474},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/Berarducci90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Blass90,
author = {Andreas Blass},
title = {Infinitary Combinatorics and Modal Logic},
journal = {J. Symb. Log.},
volume = {55},
number = {2},
pages = {761--778},
year = {1990},
url = {https://doi.org/10.2307/2274663},
doi = {10.2307/2274663},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Blass90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Blizard90,
author = {Wayne D. Blizard},
title = {A Formal Theory of Objects, Space and Time},
journal = {J. Symb. Log.},
volume = {55},
number = {1},
pages = {74--89},
year = {1990},
url = {https://doi.org/10.2307/2274955},
doi = {10.2307/2274955},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Blizard90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Booth90,
author = {David Booth},
title = {Hereditarily Finite Finsler Sets},
journal = {J. Symb. Log.},
volume = {55},
number = {2},
pages = {700--706},
year = {1990},
url = {https://doi.org/10.2307/2274659},
doi = {10.2307/2274659},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Booth90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BorovikP90,
author = {Alexandre V. Borovik and
Bruno Poizat},
title = {Tores et p-Groupes},
journal = {J. Symb. Log.},
volume = {55},
number = {2},
pages = {478--491},
year = {1990},
url = {https://doi.org/10.2307/2274641},
doi = {10.2307/2274641},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/BorovikP90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Bunder90,
author = {Martin W. Bunder},
title = {Some Improvements to Turner's Algorithm for Bracket Abstraction},
journal = {J. Symb. Log.},
volume = {55},
number = {2},
pages = {656--669},
year = {1990},
url = {https://doi.org/10.2307/2274655},
doi = {10.2307/2274655},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Bunder90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Cantini90,
author = {Andrea Cantini},
title = {A Theory of Formal Truth Arithmetically Equivalent to ID\({}_{\mbox{1}}\)},
journal = {J. Symb. Log.},
volume = {55},
number = {1},
pages = {244--259},
year = {1990},
url = {https://doi.org/10.2307/2274965},
doi = {10.2307/2274965},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Cantini90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Carroll90,
author = {Jeffrey S. Carroll},
title = {Maximal {R.E.} Equivalence Relations},
journal = {J. Symb. Log.},
volume = {55},
number = {3},
pages = {1048--1058},
year = {1990},
url = {https://doi.org/10.2307/2274473},
doi = {10.2307/2274473},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Carroll90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Chisholm90,
author = {John Chisholm},
title = {Effective Model Theory vs. Recursive Model Theory},
journal = {J. Symb. Log.},
volume = {55},
number = {3},
pages = {1168--1191},
year = {1990},
url = {https://doi.org/10.2307/2274481},
doi = {10.2307/2274481},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Chisholm90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Chisholm90a,
author = {John Chisholm},
title = {The Complexity of Intrinsically {R.E.} Subsets of Existentially Decidable
Models},
journal = {J. Symb. Log.},
volume = {55},
number = {3},
pages = {1213--1232},
year = {1990},
url = {https://doi.org/10.2307/2274483},
doi = {10.2307/2274483},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Chisholm90a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Cholak90,
author = {Peter Cholak},
title = {Boolean Algebras and Orbits of the Lattice of {R.E.} Sets Modulo the
Finite Sets},
journal = {J. Symb. Log.},
volume = {55},
number = {2},
pages = {744--760},
year = {1990},
url = {https://doi.org/10.2307/2274662},
doi = {10.2307/2274662},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Cholak90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/David90,
author = {R. David},
title = {Some Results on Higher Suslin Trees},
journal = {J. Symb. Log.},
volume = {55},
number = {2},
pages = {526--536},
year = {1990},
url = {https://doi.org/10.2307/2274644},
doi = {10.2307/2274644},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/David90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/DuBose90,
author = {Derrick Albert DuBose},
title = {The Equivalence of Determinacy and Iterated Sharps},
journal = {J. Symb. Log.},
volume = {55},
number = {2},
pages = {502--525},
year = {1990},
url = {https://doi.org/10.2307/2274643},
doi = {10.2307/2274643},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/DuBose90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Enderton90,
author = {Herbert B. Enderton},
title = {Cumulative Index to Volumes 27-55 {(1962-1990)}},
journal = {J. Symb. Log.},
volume = {55},
number = {4},
pages = {1329},
year = {1990},
url = {https://doi.org/10.1017/S0022481200025366},
doi = {10.1017/S0022481200025366},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Enderton90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Farmer90,
author = {William M. Farmer},
title = {A Partial Functions Version of Church's Simple Theory of Types},
journal = {J. Symb. Log.},
volume = {55},
number = {3},
pages = {1269--1291},
year = {1990},
url = {https://doi.org/10.2307/2274487},
doi = {10.2307/2274487},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Farmer90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Feldman90,
author = {Normam Feldman},
title = {Cylindric Algebra with Terms},
journal = {J. Symb. Log.},
volume = {55},
number = {2},
pages = {854--866},
year = {1990},
url = {https://doi.org/10.2307/2274669},
doi = {10.2307/2274669},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Feldman90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Gerla90,
author = {Giangiacomo Gerla},
title = {Pointless Metric Spaces},
journal = {J. Symb. Log.},
volume = {55},
number = {1},
pages = {207--219},
year = {1990},
url = {https://doi.org/10.2307/2274963},
doi = {10.2307/2274963},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Gerla90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Goodman90,
author = {Nicolas D. Goodman},
title = {Mathematics and Natural Science},
journal = {J. Symb. Log.},
volume = {55},
number = {1},
pages = {182--193},
year = {1990},
url = {https://doi.org/10.2307/2274961},
doi = {10.2307/2274961},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Goodman90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Gordeev90,
author = {Lew Gordeev},
title = {Generalizations of the Kruskal-Friedman Theories},
journal = {J. Symb. Log.},
volume = {55},
number = {1},
pages = {157--181},
year = {1990},
url = {https://doi.org/10.2307/2274960},
doi = {10.2307/2274960},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Gordeev90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Grigorieff90,
author = {Serge Grigorieff},
title = {Every Recursive Linear Ordering Has a Copy in DTIME-SPACE(n, log(n))},
journal = {J. Symb. Log.},
volume = {55},
number = {1},
pages = {260--276},
year = {1990},
url = {https://doi.org/10.2307/2274966},
doi = {10.2307/2274966},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Grigorieff90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/GuteR90,
author = {Hans B. Gute and
K. K. Reuter},
title = {The Last Word on Elimination of Quantifiers in Modules},
journal = {J. Symb. Log.},
volume = {55},
number = {2},
pages = {670--673},
year = {1990},
url = {https://doi.org/10.2307/2274656},
doi = {10.2307/2274656},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/GuteR90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/HaddadM90,
author = {Labib Haddad and
Marianne Morillon},
title = {L'Axiome de Normalit{\'{e}} pour les Espaces Totalement Ordonn{\'{e}}s},
journal = {J. Symb. Log.},
volume = {55},
number = {1},
pages = {277--283},
year = {1990},
url = {https://doi.org/10.2307/2274967},
doi = {10.2307/2274967},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/HaddadM90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/HaughtS90,
author = {Christine Ann Haught and
Richard A. Shore},
title = {Undecidability and Initial Segments of the {R.E.} tt-Degrees},
journal = {J. Symb. Log.},
volume = {55},
number = {3},
pages = {987--1006},
year = {1990},
url = {https://doi.org/10.2307/2274468},
doi = {10.2307/2274468},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/HaughtS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Heller90,
author = {Alex Heller},
title = {An Existence Theorem for Recursion Categories},
journal = {J. Symb. Log.},
volume = {55},
number = {3},
pages = {1252--1268},
year = {1990},
url = {https://doi.org/10.2307/2274486},
doi = {10.2307/2274486},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Heller90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Henle90,
author = {James M. Henle},
title = {Partition Properties and Prikry Forcing on Simple Spaces},
journal = {J. Symb. Log.},
volume = {55},
number = {3},
pages = {938--947},
year = {1990},
url = {https://doi.org/10.2307/2274466},
doi = {10.2307/2274466},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Henle90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/HindleyM90,
author = {J. Roger Hindley and
David Meredith},
title = {Principal Type-Schemes and Condensed Detachment},
journal = {J. Symb. Log.},
volume = {55},
number = {1},
pages = {90--105},
year = {1990},
url = {https://doi.org/10.2307/2274956},
doi = {10.2307/2274956},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/HindleyM90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Howard90,
author = {Paul E. Howard},
title = {Definitions of Compact},
journal = {J. Symb. Log.},
volume = {55},
number = {2},
pages = {645--655},
year = {1990},
url = {https://doi.org/10.2307/2274654},
doi = {10.2307/2274654},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Howard90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/HyttinenV90,
author = {Tapani Hyttinen and
Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen},
title = {On Scott and Karp Trees of Uncountable Models},
journal = {J. Symb. Log.},
volume = {55},
number = {3},
pages = {897--908},
year = {1990},
url = {https://doi.org/10.2307/2274463},
doi = {10.2307/2274463},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/HyttinenV90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Ivanov90,
author = {Lyubomir Ivanov},
title = {Operative vs. Combinatory Spaces},
journal = {J. Symb. Log.},
volume = {55},
number = {2},
pages = {561--572},
year = {1990},
url = {https://doi.org/10.2307/2274646},
doi = {10.2307/2274646},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Ivanov90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/JechS90,
author = {Thomas Jech and
Saharon Shelah},
title = {Full Reflection of Stationary Sets Below aleph\({}_{\mbox{omega}}\)},
journal = {J. Symb. Log.},
volume = {55},
number = {2},
pages = {822--830},
year = {1990},
url = {https://doi.org/10.2307/2274667},
doi = {10.2307/2274667},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/JechS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/JockuschO90,
author = {Carl G. Jockusch Jr. and
James C. Owings},
title = {Weakly Semirecursive Sets},
journal = {J. Symb. Log.},
volume = {55},
number = {2},
pages = {637--644},
year = {1990},
url = {https://doi.org/10.2307/2274653},
doi = {10.2307/2274653},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/JockuschO90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/JudahS90,
author = {Haim Judah and
Saharon Shelah},
title = {The Kunen-Miller Chart (Lebesgue Measure, the Baire Property, Laver
Reals and Preservation Theorems for Forcing)},
journal = {J. Symb. Log.},
volume = {55},
number = {3},
pages = {909--927},
year = {1990},
url = {https://doi.org/10.2307/2274464},
doi = {10.2307/2274464},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/JudahS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/JustMPS90,
author = {Winfried Just and
A. R. D. Mathias and
Karel Prikry and
Petr Simon},
title = {On the Existence of Large p-Ideals},
journal = {J. Symb. Log.},
volume = {55},
number = {2},
pages = {457--465},
year = {1990},
url = {https://doi.org/10.2307/2274639},
doi = {10.2307/2274639},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/JustMPS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Knight90,
author = {Julia F. Knight},
title = {A Metatheorem for Constructions by Finitely Many Workers},
journal = {J. Symb. Log.},
volume = {55},
number = {2},
pages = {787--804},
year = {1990},
url = {https://doi.org/10.2307/2274665},
doi = {10.2307/2274665},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Knight90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Kumabe90,
author = {Masahiro Kumabe},
title = {A 1-Generic Degree which Bounds a Minimal Degree},
journal = {J. Symb. Log.},
volume = {55},
number = {2},
pages = {733--743},
year = {1990},
url = {https://doi.org/10.2307/2274661},
doi = {10.2307/2274661},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/Kumabe90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Laflamme90,
author = {Claude Laflamme},
title = {Upward Directedness of the Rudin-Keisler Ordering of P-Points},
journal = {J. Symb. Log.},
volume = {55},
number = {2},
pages = {449--456},
year = {1990},
url = {https://doi.org/10.2307/2274638},
doi = {10.2307/2274638},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Laflamme90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Lambalgen90,
author = {Michiel van Lambalgen},
title = {The Axiomatization of Randomness},
journal = {J. Symb. Log.},
volume = {55},
number = {3},
pages = {1143--1167},
year = {1990},
url = {https://doi.org/10.2307/2274480},
doi = {10.2307/2274480},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Lambalgen90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Leloup90,
author = {G{\'{e}}rard Leloup},
title = {Th{\'{e}}eories Compl{\'{e}}etes de Paires de Corps Valu{\'{e}}es
Henseliens},
journal = {J. Symb. Log.},
volume = {55},
number = {1},
pages = {323--339},
year = {1990},
url = {https://doi.org/10.2307/2274971},
doi = {10.2307/2274971},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Leloup90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Lopez-Escobar90,
author = {E. G. K. L{\'{o}}pez{-}Escobar},
title = {Remarks on the Church-Rosser Property},
journal = {J. Symb. Log.},
volume = {55},
number = {1},
pages = {106--112},
year = {1990},
url = {https://doi.org/10.2307/2274957},
doi = {10.2307/2274957},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Lopez-Escobar90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/LouveauS90,
author = {Alain Louveau and
Jean Saint{-}Raymond},
title = {On the Quasi-Ordering of Borel Linear Orders under Embeddability},
journal = {J. Symb. Log.},
volume = {55},
number = {2},
pages = {537--560},
year = {1990},
url = {https://doi.org/10.2307/2274645},
doi = {10.2307/2274645},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/LouveauS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Loveys90,
author = {James Loveys},
title = {Weakly Minimal Groups of Unbounded Exponent},
journal = {J. Symb. Log.},
volume = {55},
number = {3},
pages = {928--937},
year = {1990},
url = {https://doi.org/10.2307/2274465},
doi = {10.2307/2274465},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Loveys90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Lubarsky90,
author = {Robert S. Lubarsky},
title = {An Introduction to gamma-Recursion Theory (Or What to Do in KP-Foundation)},
journal = {J. Symb. Log.},
volume = {55},
number = {1},
pages = {194--206},
year = {1990},
url = {https://doi.org/10.2307/2274962},
doi = {10.2307/2274962},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Lubarsky90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Malinowski90,
author = {Jacek Malinowski},
title = {The Deduction Theorem for Quantum Logic - Some Negative Results},
journal = {J. Symb. Log.},
volume = {55},
number = {2},
pages = {615--625},
year = {1990},
url = {https://doi.org/10.2307/2274651},
doi = {10.2307/2274651},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Malinowski90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/MarkerP90,
author = {David Marker and
Anand Pillay},
title = {Reducts of (C, +, *) which Contain +},
journal = {J. Symb. Log.},
volume = {55},
number = {3},
pages = {1243--1251},
year = {1990},
url = {https://doi.org/10.2307/2274485},
doi = {10.2307/2274485},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/MarkerP90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Mekler90,
author = {Alan H. Mekler},
title = {Universal Structures in Power aleph\({}_{\mbox{1}}\)},
journal = {J. Symb. Log.},
volume = {55},
number = {2},
pages = {466--477},
year = {1990},
url = {https://doi.org/10.2307/2274640},
doi = {10.2307/2274640},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Mekler90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Merrill90,
author = {John W. L. Merrill},
title = {{UFA} Fails in the Bell-Kunen Model},
journal = {J. Symb. Log.},
volume = {55},
number = {1},
pages = {284--296},
year = {1990},
url = {https://doi.org/10.2307/2274968},
doi = {10.2307/2274968},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Merrill90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Miller90,
author = {Arnold W. Miller},
title = {Set Theoretic Properties of Loeb Measure},
journal = {J. Symb. Log.},
volume = {55},
number = {3},
pages = {1022--1036},
year = {1990},
url = {https://doi.org/10.2307/2274471},
doi = {10.2307/2274471},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Miller90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/MinariTO90,
author = {Pierluigi Minari and
Mitio Takano and
Hiroakira Ono},
title = {Intermediate Predicate Logics Determined by Ordinals},
journal = {J. Symb. Log.},
volume = {55},
number = {3},
pages = {1099--1124},
year = {1990},
url = {https://doi.org/10.2307/2274476},
doi = {10.2307/2274476},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/MinariTO90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/NadelS90,
author = {Mark E. Nadel and
Jonathan Stavi},
title = {On Models of the Elementary Theory of (Z, +, 1)},
journal = {J. Symb. Log.},
volume = {55},
number = {1},
pages = {1--20},
year = {1990},
url = {https://doi.org/10.2307/2274950},
doi = {10.2307/2274950},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/NadelS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Newelski90,
author = {Ludomir Newelski},
title = {Omitting Types for Stable {CCC} Theories},
journal = {J. Symb. Log.},
volume = {55},
number = {3},
pages = {1037--1047},
year = {1990},
url = {https://doi.org/10.2307/2274472},
doi = {10.2307/2274472},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Newelski90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Oikkonen90,
author = {Juha Oikkonen},
title = {On Ehrenfeucht-Fra{\"{\i}}ss{\'{e}} Equivalence of Linear
Orderings},
journal = {J. Symb. Log.},
volume = {55},
number = {1},
pages = {65--73},
year = {1990},
url = {https://doi.org/10.2307/2274954},
doi = {10.2307/2274954},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Oikkonen90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Oosten90,
author = {Jaap van Oosten},
title = {Lifschitz' Realizability},
journal = {J. Symb. Log.},
volume = {55},
number = {2},
pages = {805--821},
year = {1990},
url = {https://doi.org/10.2307/2274666},
doi = {10.2307/2274666},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Oosten90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Otero90,
author = {Margarita Otero},
title = {On Diophantine Equations Solvable in Models of Open Induction},
journal = {J. Symb. Log.},
volume = {55},
number = {2},
pages = {779--786},
year = {1990},
url = {https://doi.org/10.2307/2274664},
doi = {10.2307/2274664},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Otero90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Pas90,
author = {John Pas},
title = {On the Angular Component Map Modulo {P}},
journal = {J. Symb. Log.},
volume = {55},
number = {3},
pages = {1125--1129},
year = {1990},
url = {https://doi.org/10.2307/2274477},
doi = {10.2307/2274477},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Pas90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Pawlikowski90,
author = {Janusz Pawlikowski},
title = {Finite Support Iteration and Strong Measure Zero Sets},
journal = {J. Symb. Log.},
volume = {55},
number = {2},
pages = {674--677},
year = {1990},
url = {https://doi.org/10.2307/2274657},
doi = {10.2307/2274657},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Pawlikowski90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Pillay90,
author = {Anand Pillay},
title = {Differentially Algebraic Group Chunks},
journal = {J. Symb. Log.},
volume = {55},
number = {3},
pages = {1138--1142},
year = {1990},
url = {https://doi.org/10.2307/2274479},
doi = {10.2307/2274479},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Pillay90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/RobinsonR90,
author = {Edmund Robinson and
Giuseppe Rosolini},
title = {Colimit Completions and the Effective Topos},
journal = {J. Symb. Log.},
volume = {55},
number = {2},
pages = {678--699},
year = {1990},
url = {https://doi.org/10.2307/2274658},
doi = {10.2307/2274658},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/RobinsonR90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Ross90,
author = {David Ross},
title = {The Special Model Axiom in Nonstandard Analysis},
journal = {J. Symb. Log.},
volume = {55},
number = {3},
pages = {1233--1242},
year = {1990},
url = {https://doi.org/10.2307/2274484},
doi = {10.2307/2274484},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Ross90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Schmerl90,
author = {James H. Schmerl},
title = {Coinductive aleph\({}_{\mbox{0}}\)-Categorical Theories},
journal = {J. Symb. Log.},
volume = {55},
number = {3},
pages = {1130--1137},
year = {1990},
url = {https://doi.org/10.2307/2274478},
doi = {10.2307/2274478},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Schmerl90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Shelah90,
author = {Saharon Shelah},
title = {Strong Negative Partition Above the Continuum},
journal = {J. Symb. Log.},
volume = {55},
number = {1},
pages = {21--31},
year = {1990},
url = {https://doi.org/10.2307/2274951},
doi = {10.2307/2274951},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Shelah90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Sorbi90,
author = {Andrea Sorbi},
title = {Some Remarks on the Algebraic Structure of the Medvedev Lattice},
journal = {J. Symb. Log.},
volume = {55},
number = {2},
pages = {831--853},
year = {1990},
url = {https://doi.org/10.2307/2274668},
doi = {10.2307/2274668},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Sorbi90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Sutner90,
author = {Klaus Sutner},
title = {The Ordertype of beta-R.E. sets},
journal = {J. Symb. Log.},
volume = {55},
number = {2},
pages = {573--576},
year = {1990},
url = {https://doi.org/10.2307/2274647},
doi = {10.2307/2274647},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Sutner90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Touraille90,
author = {Alain Touraille},
title = {Th{\'{e}}ories d'Alg{\'{e}}bres de Boole Munies d'Id{\'{e}}aux
Distingu{\'{e}}s, {II}},
journal = {J. Symb. Log.},
volume = {55},
number = {3},
pages = {1192--1212},
year = {1990},
url = {https://doi.org/10.2307/2274482},
doi = {10.2307/2274482},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Touraille90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Tung90,
author = {Shih Ping Tung},
title = {Decidable Fragments of Field Theories},
journal = {J. Symb. Log.},
volume = {55},
number = {3},
pages = {1007--1018},
year = {1990},
url = {https://doi.org/10.2307/2274469},
doi = {10.2307/2274469},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Tung90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Velleman90,
author = {Dan Velleman},
title = {Partitioning Pairs of Countable Sets of Ordinals},
journal = {J. Symb. Log.},
volume = {55},
number = {3},
pages = {1019--1021},
year = {1990},
url = {https://doi.org/10.2307/2274470},
doi = {10.2307/2274470},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Velleman90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Wagner90,
author = {Frank O. Wagner},
title = {Subgroups of Stable Groups},
journal = {J. Symb. Log.},
volume = {55},
number = {1},
pages = {151--156},
year = {1990},
url = {https://doi.org/10.2307/2274959},
doi = {10.2307/2274959},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Wagner90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Williams90,
author = {James G. Williams},
title = {On the Formalization of Semantic Conventions},
journal = {J. Symb. Log.},
volume = {55},
number = {1},
pages = {220--243},
year = {1990},
url = {https://doi.org/10.2307/2274964},
doi = {10.2307/2274964},
timestamp = {Wed, 15 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Williams90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Williamson90,
author = {Timothy Williamson},
title = {Two Incomplete Anti-Realist Modal Epistemic Logics},
journal = {J. Symb. Log.},
volume = {55},
number = {1},
pages = {297--314},
year = {1990},
url = {https://doi.org/10.2307/2274969},
doi = {10.2307/2274969},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Williamson90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Yetter90,
author = {David N. Yetter},
title = {Quantales and (Noncommutative) Linear Logic},
journal = {J. Symb. Log.},
volume = {55},
number = {1},
pages = {41--64},
year = {1990},
url = {https://doi.org/10.2307/2274953},
doi = {10.2307/2274953},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/Yetter90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Zafrany90,
author = {Samy Zafrany},
title = {On Analytic Filters and Prefilters},
journal = {J. Symb. Log.},
volume = {55},
number = {1},
pages = {315--322},
year = {1990},
url = {https://doi.org/10.2307/2274970},
doi = {10.2307/2274970},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Zafrany90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Zivaljevic90,
author = {Bosko Zivaljevic},
title = {Some Results about Borel Sets in Descriptive Set Theory of Hyperfinite
Sets},
journal = {J. Symb. Log.},
volume = {55},
number = {2},
pages = {604--614},
year = {1990},
url = {https://doi.org/10.2307/2274650},
doi = {10.2307/2274650},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Zivaljevic90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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-05-07 15:21 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:
