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/jsyml56.bht:"
download as .bib file
@article{DBLP:journals/jsyml/Abrusci91,
author = {V. Michele Abrusci},
title = {Phase Semantics and Sequent Calculus for Pure Noncommutative Classical
Linear Propositional Logic},
journal = {J. Symb. Log.},
volume = {56},
number = {4},
pages = {1403--1451},
year = {1991},
url = {https://doi.org/10.2307/2275485},
doi = {10.2307/2275485},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Abrusci91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Adamowicz91,
author = {Zofia Adamowicz},
title = {On Maximal Theories},
journal = {J. Symb. Log.},
volume = {56},
number = {3},
pages = {885--890},
year = {1991},
url = {https://doi.org/10.2307/2275057},
doi = {10.2307/2275057},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Adamowicz91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/AdlemanB91,
author = {Leonard M. Adleman and
Manuel Blum},
title = {Inductive Inference and Unsolvability},
journal = {J. Symb. Log.},
volume = {56},
number = {3},
pages = {891--900},
year = {1991},
url = {https://doi.org/10.2307/2275058},
doi = {10.2307/2275058},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/AdlemanB91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/AguzarovFG91,
author = {I. Aguzarov and
R. E. Farey and
John B. Goode},
title = {An Infinite Superstable Group Has Infinitely Many Conjugacy Classes},
journal = {J. Symb. Log.},
volume = {56},
number = {2},
pages = {618--623},
year = {1991},
url = {https://doi.org/10.2307/2274703},
doi = {10.2307/2274703},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/AguzarovFG91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Ahmad91,
author = {Seema Ahmad},
title = {Embedding the Diamond in the Sigma\({}_{\mbox{2}}\) Enumeration Degrees},
journal = {J. Symb. Log.},
volume = {56},
number = {1},
pages = {195--212},
year = {1991},
url = {https://doi.org/10.2307/2274914},
doi = {10.2307/2274914},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Ahmad91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Andretta91,
author = {Alessandro Andretta},
title = {Building Iteration Trees},
journal = {J. Symb. Log.},
volume = {56},
number = {4},
pages = {1369--1384},
year = {1991},
url = {https://doi.org/10.2307/2275481},
doi = {10.2307/2275481},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Andretta91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Ash91,
author = {Christopher J. Ash},
title = {A Construction for Recursive Linear Orderings},
journal = {J. Symb. Log.},
volume = {56},
number = {2},
pages = {673--683},
year = {1991},
url = {https://doi.org/10.2307/2274709},
doi = {10.2307/2274709},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Ash91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Avron91,
author = {Arnon Avron},
title = {Natural 3-Valued Logics - Characterization and Proof Theory},
journal = {J. Symb. Log.},
volume = {56},
number = {1},
pages = {276--294},
year = {1991},
url = {https://doi.org/10.2307/2274919},
doi = {10.2307/2274919},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Avron91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BaloghG91,
author = {Z. Balogh and
Gary Gruenhage},
title = {On a Problem of C. H. Dowker},
journal = {J. Symb. Log.},
volume = {56},
number = {4},
pages = {1284--1289},
year = {1991},
url = {https://doi.org/10.2307/2275475},
doi = {10.2307/2275475},
timestamp = {Thu, 30 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/BaloghG91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Bankston91,
author = {Paul Bankston},
title = {Corrigendum to "Taxonomies of Model-Theoretically Defined Topological
Properties"},
journal = {J. Symb. Log.},
volume = {56},
number = {2},
pages = {425--426},
year = {1991},
url = {https://doi.org/10.2307/2274690},
doi = {10.2307/2274690},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Bankston91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Baudisch91,
author = {Andreas Baudisch},
title = {A Construction of Superstable {NDOP-NOTOP} Groups},
journal = {J. Symb. Log.},
volume = {56},
number = {4},
pages = {1385--1390},
year = {1991},
url = {https://doi.org/10.2307/2275482},
doi = {10.2307/2275482},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Baudisch91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BaumgartnerS91,
author = {James E. Baumgartner and
Otmar Spinas},
title = {Independence and Consistency Proofs in Quadratic Form Theory},
journal = {J. Symb. Log.},
volume = {56},
number = {4},
pages = {1195--1211},
year = {1991},
url = {https://doi.org/10.2307/2275468},
doi = {10.2307/2275468},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/BaumgartnerS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Belair91,
author = {Luc B{\'{e}}lair},
title = {Anneaux p-Adiquement Clos et Anneaux de Fonctions D{\'{e}}finissables},
journal = {J. Symb. Log.},
volume = {56},
number = {2},
pages = {539--553},
year = {1991},
url = {https://doi.org/10.2307/2274698},
doi = {10.2307/2274698},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Belair91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BelairD91,
author = {Luc B{\'{e}}lair and
Jean{-}Louis Duret},
title = {D{\'{e}}finissabilit{\'{e}} dans les Corps de Fonctions
p-Adiques},
journal = {J. Symb. Log.},
volume = {56},
number = {3},
pages = {783--785},
year = {1991},
url = {https://doi.org/10.2178/jsl/1183743726},
doi = {10.2178/JSL/1183743726},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/BelairD91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BonnetR91,
author = {Robert Bonnet and
Matatyahu Rubin},
title = {Elementary Embeddings Between Countable Boolean Algebras},
journal = {J. Symb. Log.},
volume = {56},
number = {4},
pages = {1212--1229},
year = {1991},
url = {https://doi.org/10.2307/2275469},
doi = {10.2307/2275469},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/BonnetR91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Boughattas91,
author = {Sedki Boughattas},
title = {L'Arithem{\'{e}}tique Ouverte et ses Mod{\`{e}}les Non-Standards},
journal = {J. Symb. Log.},
volume = {56},
number = {2},
pages = {700--714},
year = {1991},
url = {https://doi.org/10.2307/2274712},
doi = {10.2307/2274712},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Boughattas91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Brendle91,
author = {J{\"{o}}rg Brendle},
title = {Larger Cardinals in Cichon's Diagram},
journal = {J. Symb. Log.},
volume = {56},
number = {3},
pages = {795--810},
year = {1991},
url = {https://doi.org/10.2178/jsl/1183743728},
doi = {10.2178/JSL/1183743728},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Brendle91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Buechler91,
author = {Steven Buechler},
title = {Pseudoprojective Strongly Minimal Sets Are Locally Projective},
journal = {J. Symb. Log.},
volume = {56},
number = {4},
pages = {1184--1194},
year = {1991},
url = {https://doi.org/10.2307/2275467},
doi = {10.2307/2275467},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Buechler91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Burke91,
author = {Maxim R. Burke},
title = {Powers of the Ideal of Lebesgue Measure Zero Sets},
journal = {J. Symb. Log.},
volume = {56},
number = {1},
pages = {103--107},
year = {1991},
url = {https://doi.org/10.2307/2274906},
doi = {10.2307/2274906},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Burke91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BurrisMV91,
author = {Stanley Burris and
Ralph McKenzie and
Matthew Valeriote},
title = {Decidable Discriminator Varieties from Unary Varieties},
journal = {J. Symb. Log.},
volume = {56},
number = {4},
pages = {1355--1368},
year = {1991},
url = {https://doi.org/10.2307/2275480},
doi = {10.2307/2275480},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/BurrisMV91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/CainD91,
author = {James Cain and
Zlatan Damnjanovic},
title = {On the Weak Kleene Scheme in Kripke's Theory of Truth},
journal = {J. Symb. Log.},
volume = {56},
number = {4},
pages = {1452--1468},
year = {1991},
url = {https://doi.org/10.2307/2275486},
doi = {10.2307/2275486},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/CainD91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Chagrova91,
author = {L. A. Chagrova},
title = {An Undecidable Problem in Correspondence Theory},
journal = {J. Symb. Log.},
volume = {56},
number = {4},
pages = {1261--1272},
year = {1991},
url = {https://doi.org/10.2307/2275473},
doi = {10.2307/2275473},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Chagrova91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/CichonMPS91,
author = {Jacek Cichon and
M. Morayne and
Janusz Pawlikowski and
Slawomir Solecki},
title = {Decomposing Baire Functions},
journal = {J. Symb. Log.},
volume = {56},
number = {4},
pages = {1273--1283},
year = {1991},
url = {https://doi.org/10.2307/2275474},
doi = {10.2307/2275474},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/CichonMPS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Crabbe91,
author = {Marcel Crabb{\'{e}}},
title = {Stratification and Cut-Elimination},
journal = {J. Symb. Log.},
volume = {56},
number = {1},
pages = {213--226},
year = {1991},
url = {https://doi.org/10.2307/2274915},
doi = {10.2307/2274915},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Crabbe91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Delon91,
author = {Fran{\c{c}}oise Delon},
title = {Plongement Dense d'un Corps Ordonn{\'{e}} dans sa Cl{\^{o}}ture
R{\'{e}}elle},
journal = {J. Symb. Log.},
volume = {56},
number = {3},
pages = {974--980},
year = {1991},
url = {https://doi.org/10.2307/2275065},
doi = {10.2307/2275065},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Delon91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Delon91a,
author = {Fran{\c{c}}oise Delon},
title = {Ind{\'{e}}cidabilit{\'{e}} de la Th{\'{e}}orie des
Paires Imm{\'{e}}diates de Corps Valu{\'{e}}s Henseliens},
journal = {J. Symb. Log.},
volume = {56},
number = {4},
pages = {1236--1242},
year = {1991},
url = {https://doi.org/10.2307/2275471},
doi = {10.2307/2275471},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Delon91a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/DelonG91,
author = {Fran{\c{c}}oise Delon and
Danielle Gondard},
title = {XVII{\`{e}}me Probl{\`{e}}me de Hilbert sur les Corps Chai{\^{\i}}ne-Clos},
journal = {J. Symb. Log.},
volume = {56},
number = {3},
pages = {853--861},
year = {1991},
url = {https://doi.org/10.2178/jsl/1183743733},
doi = {10.2178/JSL/1183743733},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/DelonG91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Doets91,
author = {Kees Doets},
title = {Axiomatizing Universal Properties of Quantifiers},
journal = {J. Symb. Log.},
volume = {56},
number = {3},
pages = {901--905},
year = {1991},
url = {https://doi.org/10.2307/2275059},
doi = {10.2307/2275059},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Doets91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Efrat91,
author = {Ido Efrat},
title = {The Elementary Theory of Free Pseudo p-adically Closed Fields of Finite
Corank},
journal = {J. Symb. Log.},
volume = {56},
number = {2},
pages = {484--496},
year = {1991},
url = {https://doi.org/10.2307/2274695},
doi = {10.2307/2274695},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Efrat91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Feferman91,
author = {Solomon Feferman},
title = {Reflecting on Incompleteness},
journal = {J. Symb. Log.},
volume = {56},
number = {1},
pages = {1--49},
year = {1991},
url = {https://doi.org/10.2307/2274902},
doi = {10.2307/2274902},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Feferman91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/ForsterK91,
author = {Thomas Forster and
Richard Kaye},
title = {End-Extensions Preserving Power Set},
journal = {J. Symb. Log.},
volume = {56},
number = {1},
pages = {323--328},
year = {1991},
url = {https://doi.org/10.2307/2274922},
doi = {10.2307/2274922},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/ForsterK91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Ghilardi91,
author = {Silvio Ghilardi},
title = {Incompleteness Results in Kripke Semantics},
journal = {J. Symb. Log.},
volume = {56},
number = {2},
pages = {517--538},
year = {1991},
url = {https://doi.org/10.2307/2274697},
doi = {10.2307/2274697},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Ghilardi91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Gluschankof91,
author = {Daniel Gluschankof},
title = {The Elementary Class of Products of Totally Ordered Abelian Groups},
journal = {J. Symb. Log.},
volume = {56},
number = {1},
pages = {295--299},
year = {1991},
url = {https://doi.org/10.2307/2274920},
doi = {10.2307/2274920},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Gluschankof91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Goldblatt91,
author = {Robert Goldblatt},
title = {The McKinsey Axiom Is Not Canonical},
journal = {J. Symb. Log.},
volume = {56},
number = {2},
pages = {554--562},
year = {1991},
url = {https://doi.org/10.2307/2274699},
doi = {10.2307/2274699},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Goldblatt91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Goode91,
author = {John B. Goode},
title = {Some Trivial Considerations},
journal = {J. Symb. Log.},
volume = {56},
number = {2},
pages = {624--631},
year = {1991},
url = {https://doi.org/10.2307/2274704},
doi = {10.2307/2274704},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Goode91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Grossberg91,
author = {Rami P. Grossberg},
title = {Indiscernable Sequences in a Model Which Fails to Have the Order Property},
journal = {J. Symb. Log.},
volume = {56},
number = {1},
pages = {115--123},
year = {1991},
url = {https://doi.org/10.2307/2274908},
doi = {10.2307/2274908},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Grossberg91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Grossberg91a,
author = {Rami P. Grossberg},
title = {On Chains of Relatively Saturated Submodels of a Model Without the
Order Property},
journal = {J. Symb. Log.},
volume = {56},
number = {1},
pages = {124--128},
year = {1991},
url = {https://doi.org/10.2307/2274909},
doi = {10.2307/2274909},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Grossberg91a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Halpern91,
author = {Joseph Y. Halpern},
title = {Presburger Arithmetic with Unarr Predicates is Pi\({}_{\mbox{1}}\)\({}^{\mbox{1}}\)
Complete},
journal = {J. Symb. Log.},
volume = {56},
number = {2},
pages = {637--642},
year = {1991},
url = {https://doi.org/10.2307/2274706},
doi = {10.2307/2274706},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Halpern91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/HartV91,
author = {Bradd Hart and
Matthew Valeriote},
title = {A Structure Theorem for Strongly Abelian Varieties with Few Models},
journal = {J. Symb. Log.},
volume = {56},
number = {3},
pages = {832--852},
year = {1991},
url = {https://doi.org/10.2178/jsl/1183743732},
doi = {10.2178/JSL/1183743732},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/HartV91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Hatzikiriakou91,
author = {Kostas Hatzikiriakou},
title = {Minimal Prime Ideals and Arithmetic Comprehension},
journal = {J. Symb. Log.},
volume = {56},
number = {1},
pages = {67--70},
year = {1991},
url = {https://doi.org/10.2307/2274904},
doi = {10.2307/2274904},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Hatzikiriakou91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Hauser91,
author = {Kai Hauser},
title = {Indescribable Cardinals and Elementary Embeddings},
journal = {J. Symb. Log.},
volume = {56},
number = {2},
pages = {439--457},
year = {1991},
url = {https://doi.org/10.2307/2274692},
doi = {10.2307/2274692},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/Hauser91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/HerreKPV91,
author = {Heinrich Herre and
Michal Krynicki and
Alexander G. Pinus and
Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen},
title = {The H{\"{a}}rtig Quantifier: {A} Survey},
journal = {J. Symb. Log.},
volume = {56},
number = {4},
pages = {1153--1183},
year = {1991},
url = {https://doi.org/10.2307/2275466},
doi = {10.2307/2275466},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/HerreKPV91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/HinmanS91,
author = {Peter G. Hinman and
Theodore A. Slaman},
title = {Jump Embeddings in Turing Degrees},
journal = {J. Symb. Log.},
volume = {56},
number = {2},
pages = {563--591},
year = {1991},
url = {https://doi.org/10.2307/2274700},
doi = {10.2307/2274700},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/HinmanS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Hodes91,
author = {Harold T. Hodes},
title = {Where Do Sets Come From?},
journal = {J. Symb. Log.},
volume = {56},
number = {1},
pages = {150--175},
year = {1991},
url = {https://doi.org/10.2307/2274911},
doi = {10.2307/2274911},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Hodes91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Hodes91a,
author = {Harold T. Hodes},
title = {Corrections to "Where Do Sets Come From?"},
journal = {J. Symb. Log.},
volume = {56},
number = {4},
pages = {1486},
year = {1991},
url = {https://doi.org/10.2307/2275488},
doi = {10.2307/2275488},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Hodes91a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/HodgesS91,
author = {Wilfried Hodges and
Saharon Shelah},
title = {There Are Reasonably Nice Logics},
journal = {J. Symb. Log.},
volume = {56},
number = {1},
pages = {300--322},
year = {1991},
url = {https://doi.org/10.2307/2274921},
doi = {10.2307/2274921},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/HodgesS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Ishihara91,
author = {Hajime Ishihara},
title = {Continuity and Nondiscontinuity in Constructive Mathematics},
journal = {J. Symb. Log.},
volume = {56},
number = {4},
pages = {1349--1354},
year = {1991},
url = {https://doi.org/10.2307/2275479},
doi = {10.2307/2275479},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Ishihara91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Itai91,
author = {Masanori Itai},
title = {On the Strong Martin Conjecture},
journal = {J. Symb. Log.},
volume = {56},
number = {3},
pages = {862--875},
year = {1991},
url = {https://doi.org/10.2307/2275055},
doi = {10.2307/2275055},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Itai91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Jackson91,
author = {Steve Jackson},
title = {Admissible Suslin Cardinals in {L(R)}},
journal = {J. Symb. Log.},
volume = {56},
number = {1},
pages = {260--275},
year = {1991},
url = {https://doi.org/10.2307/2274918},
doi = {10.2307/2274918},
timestamp = {Mon, 26 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Jackson91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/JacksonM91,
author = {Steve Jackson and
R. Daniel Mauldin},
title = {Nonuniformization Results for the Projective Hierarchy},
journal = {J. Symb. Log.},
volume = {56},
number = {2},
pages = {742--748},
year = {1991},
url = {https://doi.org/10.2307/2274715},
doi = {10.2307/2274715},
timestamp = {Mon, 26 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/JacksonM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/JockuschLR91,
author = {Carl G. Jockusch Jr. and
Andrew E. M. Lewis and
Jeffrey B. Remmel},
title = {Pi\({}^{\mbox{0}}\)\({}_{\mbox{1}}\)-Classes and Rado's Selection
Principle},
journal = {J. Symb. Log.},
volume = {56},
number = {2},
pages = {684--693},
year = {1991},
url = {https://doi.org/10.2307/2274710},
doi = {10.2307/2274710},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/JockuschLR91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/JudahS91,
author = {Haim Judah and
Saharon Shelah},
title = {Forcing Minimal Degree of Constructibility},
journal = {J. Symb. Log.},
volume = {56},
number = {3},
pages = {769--782},
year = {1991},
url = {https://doi.org/10.2178/jsl/1183743725},
doi = {10.2178/JSL/1183743725},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/JudahS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Kaye91,
author = {Richard Kaye},
title = {A Generalization of Specker's Theorem on Typical Ambiguity},
journal = {J. Symb. Log.},
volume = {56},
number = {2},
pages = {458--466},
year = {1991},
url = {https://doi.org/10.2307/2274693},
doi = {10.2307/2274693},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Kaye91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Kaye91a,
author = {Richard Kaye},
title = {Model-Theoretic Properties Characterizing Peano Arithmetic},
journal = {J. Symb. Log.},
volume = {56},
number = {3},
pages = {949--963},
year = {1991},
url = {https://doi.org/10.2307/2275063},
doi = {10.2307/2275063},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Kaye91a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Kechris91,
author = {Alexander S. Kechris},
title = {Amenable Equivalence Relations and Turing Degrees},
journal = {J. Symb. Log.},
volume = {56},
number = {1},
pages = {182--194},
year = {1991},
url = {https://doi.org/10.2307/2274913},
doi = {10.2307/2274913},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Kechris91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/KeislerL91,
author = {H. Jerome Keisler and
Steven C. Leth},
title = {Meager Sets on the Hyperfinite Time Line},
journal = {J. Symb. Log.},
volume = {56},
number = {1},
pages = {71--102},
year = {1991},
url = {https://doi.org/10.2307/2274905},
doi = {10.2307/2274905},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/KeislerL91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/KeislerS91,
author = {H. Jerome Keisler and
James H. Schmerl},
title = {Making the Hyperreal Line Both Saturated and Complete},
journal = {J. Symb. Log.},
volume = {56},
number = {3},
pages = {1016--1025},
year = {1991},
url = {https://doi.org/10.2307/2275069},
doi = {10.2307/2275069},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/KeislerS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Komjath91,
author = {P{\'{e}}ter Komj{\'{a}}th},
title = {A Set Mapping with No Infinite Free Subsets},
journal = {J. Symb. Log.},
volume = {56},
number = {4},
pages = {1400--1402},
year = {1991},
url = {https://doi.org/10.2307/2275484},
doi = {10.2307/2275484},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Komjath91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/KrachtW91,
author = {Marcus Kracht and
Frank Wolter},
title = {Properties of Independently Axiomatizable Bimodal Logics},
journal = {J. Symb. Log.},
volume = {56},
number = {4},
pages = {1469--1485},
year = {1991},
url = {https://doi.org/10.2307/2275487},
doi = {10.2307/2275487},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/KrachtW91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/KrynickiT91,
author = {Michal Krynicki and
Hans{-}Peter Tuschik},
title = {An Axiomatization of the Logic with the Rough Quantifier},
journal = {J. Symb. Log.},
volume = {56},
number = {2},
pages = {608--617},
year = {1991},
url = {https://doi.org/10.2307/2274702},
doi = {10.2307/2274702},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/KrynickiT91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Kumabe91,
author = {Masahiro Kumabe},
title = {Relative Recursive Enumerability of Generic Degrees},
journal = {J. Symb. Log.},
volume = {56},
number = {3},
pages = {1075--1084},
year = {1991},
url = {https://doi.org/10.2307/2275074},
doi = {10.2307/2275074},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/Kumabe91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Kummer91,
author = {Martin Kummer},
title = {Diagonals and Semihyperhypersimple Sets},
journal = {J. Symb. Log.},
volume = {56},
number = {3},
pages = {1068--1074},
year = {1991},
url = {https://doi.org/10.2307/2275073},
doi = {10.2307/2275073},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Kummer91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Lano91,
author = {Kevin Lano},
title = {Intuitionistic Modal Logic and Set Theory},
journal = {J. Symb. Log.},
volume = {56},
number = {2},
pages = {497--516},
year = {1991},
url = {https://doi.org/10.2307/2274696},
doi = {10.2307/2274696},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Lano91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Lavine91,
author = {Shaughan Lavine},
title = {Dual Easy Uniformization and Model-Theoretic Descriptive Set Theory},
journal = {J. Symb. Log.},
volume = {56},
number = {4},
pages = {1290--1316},
year = {1991},
url = {https://doi.org/10.2307/2275476},
doi = {10.2307/2275476},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Lavine91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Linton91,
author = {Tom Linton},
title = {Countable Structures, Ehrenfeucht Stratagies, and Wadge Reductions},
journal = {J. Symb. Log.},
volume = {56},
number = {4},
pages = {1325--1348},
year = {1991},
url = {https://doi.org/10.2307/2275478},
doi = {10.2307/2275478},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Linton91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Loveys91,
author = {James Loveys},
title = {Abelian Groups with Modular Generic},
journal = {J. Symb. Log.},
volume = {56},
number = {1},
pages = {250--259},
year = {1991},
url = {https://doi.org/10.2307/2274917},
doi = {10.2307/2274917},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Loveys91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Macpherson91,
author = {Dugald Macpherson},
title = {Interpreting Groups in omega-Categorical Structures},
journal = {J. Symb. Log.},
volume = {56},
number = {4},
pages = {1317--1324},
year = {1991},
url = {https://doi.org/10.2307/2275477},
doi = {10.2307/2275477},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Macpherson91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/MacphersonS91,
author = {Dugald Macpherson and
James H. Schmerl},
title = {Binary Relational Structures Having Only Countably Many Nonisomorphic
Substructures},
journal = {J. Symb. Log.},
volume = {56},
number = {3},
pages = {876--884},
year = {1991},
url = {https://doi.org/10.2307/2275056},
doi = {10.2307/2275056},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/MacphersonS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/MarshallC91,
author = {M. Victoria Marshall and
Rolando Chuaqui},
title = {Sentences of Type Theory: The Only Sentences Preserved Under Isomorphisms},
journal = {J. Symb. Log.},
volume = {56},
number = {3},
pages = {932--948},
year = {1991},
url = {https://doi.org/10.2307/2275062},
doi = {10.2307/2275062},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/MarshallC91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/McLarty91,
author = {Colin McLarty},
title = {Axiomatizing a Category of Categories},
journal = {J. Symb. Log.},
volume = {56},
number = {4},
pages = {1243--1260},
year = {1991},
url = {https://doi.org/10.2307/2275472},
doi = {10.2307/2275472},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/McLarty91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Mints91,
author = {Grigori Mints},
title = {Proof Theory in the {USSR} 1925-1969},
journal = {J. Symb. Log.},
volume = {56},
number = {2},
pages = {385--424},
year = {1991},
url = {https://doi.org/10.2307/2274689},
doi = {10.2307/2274689},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Mints91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Nesin91,
author = {Ali Nesin},
title = {Poly-Separated and omega-Stable Nilpotent Groups},
journal = {J. Symb. Log.},
volume = {56},
number = {2},
pages = {694--699},
year = {1991},
url = {https://doi.org/10.2307/2274711},
doi = {10.2307/2274711},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Nesin91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Nesin91a,
author = {Ali Nesin},
title = {On Bad Groups, Bad Fields, and Pseudoplanes},
journal = {J. Symb. Log.},
volume = {56},
number = {3},
pages = {915--931},
year = {1991},
url = {https://doi.org/10.2307/2275061},
doi = {10.2307/2275061},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Nesin91a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Nesin91b,
author = {Ali Nesin},
title = {Generalized Fitting Subgroup of a Group of Finite Morley Rank},
journal = {J. Symb. Log.},
volume = {56},
number = {4},
pages = {1391--1399},
year = {1991},
url = {https://doi.org/10.2307/2275483},
doi = {10.2307/2275483},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Nesin91b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Ng91,
author = {Siu{-}Ah Ng},
title = {A Generalization of Forking},
journal = {J. Symb. Log.},
volume = {56},
number = {3},
pages = {813--822},
year = {1991},
url = {https://doi.org/10.2178/jsl/1183743730},
doi = {10.2178/JSL/1183743730},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Ng91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Ng91a,
author = {Siu{-}Ah Ng},
title = {Definable {FN} Bases},
journal = {J. Symb. Log.},
volume = {56},
number = {3},
pages = {823--831},
year = {1991},
url = {https://doi.org/10.2178/jsl/1183743731},
doi = {10.2178/JSL/1183743731},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Ng91a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Nishimura91,
author = {Hirokazu Nishimura},
title = {Boolean Valued Lie Algebras},
journal = {J. Symb. Log.},
volume = {56},
number = {2},
pages = {731--741},
year = {1991},
url = {https://doi.org/10.2307/2274714},
doi = {10.2307/2274714},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Nishimura91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Oosten91,
author = {Jaap van Oosten},
title = {Extension of Lifschitz' Realizability to Higher Order Arithmetic,
and a Solution to a Problem of F. Richman},
journal = {J. Symb. Log.},
volume = {56},
number = {3},
pages = {964--973},
year = {1991},
url = {https://doi.org/10.2307/2275064},
doi = {10.2307/2275064},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Oosten91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/OshersonSW91,
author = {Daniel N. Osherson and
Michael Stob and
Scott Weinstein},
title = {A Universal Inductive Inference Machine},
journal = {J. Symb. Log.},
volume = {56},
number = {2},
pages = {661--672},
year = {1991},
url = {https://doi.org/10.2307/2274708},
doi = {10.2307/2274708},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/OshersonSW91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Otero91,
author = {Margarita Otero},
title = {Corrigendum: On Diophantine Equations Solvable in Models of Open Induction},
journal = {J. Symb. Log.},
volume = {56},
number = {3},
pages = {811--812},
year = {1991},
url = {http://projecteuclid.org/euclid.jsl/1183743729},
timestamp = {Fri, 23 Apr 2010 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Otero91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/PacholskiS91,
author = {Leszek Pacholski and
Wieslaw Szwast},
title = {Asymptotic Probabilities of Existential Second-Order G{\"{o}}del
Structures},
journal = {J. Symb. Log.},
volume = {56},
number = {2},
pages = {427--438},
year = {1991},
url = {https://doi.org/10.2307/2274691},
doi = {10.2307/2274691},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/PacholskiS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Palmgren91,
author = {Erik Palmgren},
title = {A Construction of Type: Type in Martin-L{\"{o}}f's Partial Type
Theory with One Universe},
journal = {J. Symb. Log.},
volume = {56},
number = {3},
pages = {1012--1015},
year = {1991},
url = {https://doi.org/10.2307/2275068},
doi = {10.2307/2275068},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Palmgren91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/PaolaM91,
author = {Robert A. Di Paola and
Franco Montagna},
title = {Some Properties of the Syntactic p-Recursion Categories Generated
by Consistent, Recursively Enumerable Extensions of Peano Arithmetic},
journal = {J. Symb. Log.},
volume = {56},
number = {2},
pages = {643--660},
year = {1991},
url = {https://doi.org/10.2307/2274707},
doi = {10.2307/2274707},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/PaolaM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/ParlamentoP91,
author = {Franco Parlamento and
Alberto Policriti},
title = {Expressing Infinity Without Foundation},
journal = {J. Symb. Log.},
volume = {56},
number = {4},
pages = {1230--1235},
year = {1991},
url = {https://doi.org/10.2307/2275470},
doi = {10.2307/2275470},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/ParlamentoP91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Pillay91,
author = {Anand Pillay},
title = {Some Remarks on Modular Regular Types},
journal = {J. Symb. Log.},
volume = {56},
number = {3},
pages = {1003--1011},
year = {1991},
url = {https://doi.org/10.2307/2275067},
doi = {10.2307/2275067},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Pillay91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Rathjen91,
author = {Michael Rathjen},
title = {The Role of Parameters in Bar Rule and Bar Induction},
journal = {J. Symb. Log.},
volume = {56},
number = {2},
pages = {715--730},
year = {1991},
url = {https://doi.org/10.2307/2274713},
doi = {10.2307/2274713},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Rathjen91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Scanlan91,
author = {Michael Scanlan},
title = {Who Were the American Postulate Theorists},
journal = {J. Symb. Log.},
volume = {56},
number = {3},
pages = {981--1002},
year = {1991},
url = {https://doi.org/10.2307/2275066},
doi = {10.2307/2275066},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Scanlan91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Scheepers91,
author = {Marion Scheepers},
title = {Concerning n-Tactics in the Countable-Finite Game},
journal = {J. Symb. Log.},
volume = {56},
number = {3},
pages = {786--794},
year = {1991},
url = {https://doi.org/10.2178/jsl/1183743727},
doi = {10.2178/JSL/1183743727},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Scheepers91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Schellinx91,
author = {Harold Schellinx},
title = {Isomorphisms and Nonisomorphisms of Graph Models},
journal = {J. Symb. Log.},
volume = {56},
number = {1},
pages = {227--249},
year = {1991},
url = {https://doi.org/10.2307/2274916},
doi = {10.2307/2274916},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/Schellinx91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Schlingmann91,
author = {Dirk R. H. Schlingmann},
title = {Ramsey Cardinals, alpha-Erd{\"{o}}s Cardinals, and the Core Model},
journal = {J. Symb. Log.},
volume = {56},
number = {1},
pages = {108--114},
year = {1991},
url = {https://doi.org/10.2307/2274907},
doi = {10.2307/2274907},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Schlingmann91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Spector91,
author = {Mitchell Spector},
title = {Extended Ultrapowers and the Vopenka-Hrb{\'{a}}cek Theorem Without
Choice},
journal = {J. Symb. Log.},
volume = {56},
number = {2},
pages = {592--607},
year = {1991},
url = {https://doi.org/10.2307/2274701},
doi = {10.2307/2274701},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Spector91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Stalmarck91,
author = {Gunnar St{\aa}lmarck},
title = {Normalization Theorems for Full First Order Classical Natural Deduction},
journal = {J. Symb. Log.},
volume = {56},
number = {1},
pages = {129--149},
year = {1991},
url = {https://doi.org/10.2307/2274910},
doi = {10.2307/2274910},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Stalmarck91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Swaen91,
author = {M. D. G. Swaen},
title = {The Logic of First Order Intuitionistic Type Theory with Weak Sigma-Elimination},
journal = {J. Symb. Log.},
volume = {56},
number = {2},
pages = {467--483},
year = {1991},
url = {https://doi.org/10.2307/2274694},
doi = {10.2307/2274694},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Swaen91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Takeuti91,
author = {Gaisi Takeuti},
title = {A Second Order Version of S\({}^{\mbox{i}}\)\({}_{\mbox{2}}\) and
U\({}^{\mbox{1}}\)\({}_{\mbox{2}}\)},
journal = {J. Symb. Log.},
volume = {56},
number = {3},
pages = {1038--1063},
year = {1991},
url = {https://doi.org/10.2307/2275071},
doi = {10.2307/2275071},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Takeuti91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Thomas91,
author = {Simon Thomas},
title = {Reducts of the Random Graph},
journal = {J. Symb. Log.},
volume = {56},
number = {1},
pages = {176--181},
year = {1991},
url = {https://doi.org/10.2307/2274912},
doi = {10.2307/2274912},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Thomas91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Vourtsanis91,
author = {Yiannis Vourtsanis},
title = {A Direct Proof of the Feferman-Vaught Theorem and Other Preservations
Theorems in Products},
journal = {J. Symb. Log.},
volume = {56},
number = {2},
pages = {632--636},
year = {1991},
url = {https://doi.org/10.2307/2274705},
doi = {10.2307/2274705},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Vourtsanis91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Wagner91,
author = {Frank O. Wagner},
title = {Small Stable Groups and Generics},
journal = {J. Symb. Log.},
volume = {56},
number = {3},
pages = {1026--1037},
year = {1991},
url = {https://doi.org/10.2307/2275070},
doi = {10.2307/2275070},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Wagner91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Zivaljevic91,
author = {Bosko Zivaljevic},
title = {The Structure of Graphs All of Whose Y-Sections Are Internal Sets},
journal = {J. Symb. Log.},
volume = {56},
number = {1},
pages = {50--66},
year = {1991},
url = {https://doi.org/10.2307/2274903},
doi = {10.2307/2274903},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Zivaljevic91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Zivaljevic91a,
author = {Bosko Zivaljevic},
title = {U-Meager Sets when the Cofinality and the Coinitiality of {U} Are
Uncountable},
journal = {J. Symb. Log.},
volume = {56},
number = {3},
pages = {906--914},
year = {1991},
url = {https://doi.org/10.2307/2275060},
doi = {10.2307/2275060},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Zivaljevic91a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Zrotowski91,
author = {R. Zrotowski},
title = {Normality and P(kappa)/J},
journal = {J. Symb. Log.},
volume = {56},
number = {3},
pages = {1064--1067},
year = {1991},
url = {https://doi.org/10.2307/2275072},
doi = {10.2307/2275072},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Zrotowski91.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-06-06 04:04 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:
