Volume 56, Number 1, March 1991
export record as
dblp key:
journals/jsyml/Feferman91 export record as
dblp key:
journals/jsyml/Zivaljevic91 Bosko Zivaljevic :
The Structure of Graphs All of Whose Y-Sections Are Internal Sets.
50-66
export record as
dblp key:
journals/jsyml/Hatzikiriakou91 export record as
dblp key:
journals/jsyml/KeislerL91 export record as
dblp key:
Maxim R. Burke :
Powers of the Ideal of Lebesgue Measure Zero Sets.
103-107
export record as
dblp key:
journals/jsyml/Schlingmann91 export record as
dblp key:
journals/jsyml/Grossberg91 Rami P. Grossberg :
Indiscernable Sequences in a Model Which Fails to Have the Order Property.
115-123
export record as
dblp key:
journals/jsyml/Grossberg91a Rami P. Grossberg :
On Chains of Relatively Saturated Submodels of a Model Without the Order Property.
124-128
export record as
dblp key:
journals/jsyml/Stalmarck91 Gunnar Stålmarck :
Normalization Theorems for Full First Order Classical Natural Deduction.
129-149
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Seema Ahmad :
Embedding the Diamond in the Sigma2 Enumeration Degrees.
195-212
export record as
dblp key:
export record as
dblp key:
journals/jsyml/Schellinx91 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Arnon Avron :
Natural 3-Valued Logics - Characterization and Proof Theory.
276-294
export record as
dblp key:
journals/jsyml/Gluschankof91 Daniel Gluschankof :
The Elementary Class of Products of Totally Ordered Abelian Groups.
295-299
export record as
dblp key:
export record as
dblp key:
journals/jsyml/ForsterK91
Volume 56, Number 2, June 1991
export record as
dblp key:
export record as
dblp key:
journals/jsyml/Bankston91 Paul Bankston :
Corrigendum to ``Taxonomies of Model-Theoretically Defined Topological Properties''.
425-426
export record as
dblp key:
journals/jsyml/PacholskiS91 export record as
dblp key:
Kai Hauser :
Indescribable Cardinals and Elementary Embeddings.
439-457
export record as
dblp key:
Richard Kaye :
A Generalization of Specker's Theorem on Typical Ambiguity.
458-466
export record as
dblp key:
M. D. G. Swaen :
The Logic of First Order Intuitionistic Type Theory with Weak Sigma-Elimination.
467-483
export record as
dblp key:
Ido Efrat :
The Elementary Theory of Free Pseudo p-adically Closed Fields of Finite Corank.
484-496
export record as
dblp key:
Kevin Lano :
Intuitionistic Modal Logic and Set Theory.
497-516
export record as
dblp key:
journals/jsyml/Ghilardi91 export record as
dblp key:
Luc Bélair :
Anneaux p-Adiquement Clos et Anneaux de Fonctions Définissables.
539-553
export record as
dblp key:
journals/jsyml/Goldblatt91 export record as
dblp key:
export record as
dblp key:
Mitchell Spector :
Extended Ultrapowers and the Vopenka-Hrbácek Theorem Without Choice.
592-607
export record as
dblp key:
journals/jsyml/KrynickiT91 export record as
dblp key:
journals/jsyml/AguzarovFG91 export record as
dblp key:
export record as
dblp key:
journals/jsyml/Vourtsanis91 Yiannis Vourtsanis :
A Direct Proof of the Feferman-Vaught Theorem and Other Preservations Theorems in Products.
632-636
export record as
dblp key:
Joseph Y. Halpern :
Presburger Arithmetic with Unarr Predicates is Pi1 1 Complete.
637-642
export record as
dblp key:
Robert A. Di Paola ,
Franco Montagna :
Some Properties of the Syntactic p-Recursion Categories Generated by Consistent, Recursively Enumerable Extensions of Peano Arithmetic.
643-660
export record as
dblp key:
journals/jsyml/OshersonSW91 export record as
dblp key:
export record as
dblp key:
journals/jsyml/JockuschLR91 export record as
dblp key:
Ali Nesin :
Poly-Separated and omega-Stable Nilpotent Groups.
694-699
export record as
dblp key:
journals/jsyml/Boughattas91 export record as
dblp key:
Michael Rathjen :
The Role of Parameters in Bar Rule and Bar Induction.
715-730
export record as
dblp key:
journals/jsyml/Nishimura91 export record as
dblp key:
journals/jsyml/JacksonM91
Volume 56, Number 3, September 1991
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/jsyml/Scheepers91 export record as
dblp key:
export record as
dblp key:
Margarita Otero :
Corrigendum: On Diophantine Equations Solvable in Models of Open Induction.
811-812
export record as
dblp key:
Siu-Ah Ng :
A Generalization of Forking.
813-822
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/jsyml/MacphersonS91 export record as
dblp key:
journals/jsyml/Adamowicz91 export record as
dblp key:
journals/jsyml/AdlemanB91 export record as
dblp key:
Kees Doets :
Axiomatizing Universal Properties of Quantifiers.
901-905
export record as
dblp key:
journals/jsyml/Zivaljevic91a Bosko Zivaljevic :
U-Meager Sets when the Cofinality and the Coinitiality of U Are Uncountable.
906-914
export record as
dblp key:
Ali Nesin :
On Bad Groups, Bad Fields, and Pseudoplanes.
915-931
export record as
dblp key:
journals/jsyml/MarshallC91 export record as
dblp key:
Richard Kaye :
Model-Theoretic Properties Characterizing Peano Arithmetic.
949-963
export record as
dblp key:
Jaap van Oosten :
Extension of Lifschitz' Realizability to Higher Order Arithmetic, and a Solution to a Problem of F. Richman.
964-973
export record as
dblp key:
Françoise Delon :
Plongement Dense d'un Corps Ordonné dans sa Clôture Réelle.
974-980
export record as
dblp key:
Anand Pillay :
Some Remarks on Modular Regular Types.
1003-1011
export record as
dblp key:
journals/jsyml/Palmgren91 Erik Palmgren :
A Construction of Type: Type in Martin-Löf's Partial Type Theory with One Universe.
1012-1015
export record as
dblp key:
journals/jsyml/KeislerS91 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/jsyml/Zrotowski91 export record as
dblp key:
Martin Kummer :
Diagonals and Semihyperhypersimple Sets.
1068-1074
export record as
dblp key:
Masahiro Kumabe :
Relative Recursive Enumerability of Generic Degrees.
1075-1084
Volume 56, Number 4, December 1991
export record as
dblp key:
journals/jsyml/HerreKPV91 export record as
dblp key:
journals/jsyml/Buechler91 Steven Buechler :
Pseudoprojective Strongly Minimal Sets Are Locally Projective.
1184-1194
export record as
dblp key:
journals/jsyml/BaumgartnerS91 export record as
dblp key:
export record as
dblp key:
journals/jsyml/ParlamentoP91 export record as
dblp key:
Françoise Delon :
Indécidabilité de la Théorie des Paires Immédiates de Corps Valués Henseliens.
1236-1242
export record as
dblp key:
export record as
dblp key:
journals/jsyml/Chagrova91 L. A. Chagrova :
An Undecidable Problem in Correspondence Theory.
1261-1272
export record as
dblp key:
journals/jsyml/CichonMPS91 export record as
dblp key:
export record as
dblp key:
Shaughan Lavine :
Dual Easy Uniformization and Model-Theoretic Descriptive Set Theory.
1290-1316
export record as
dblp key:
journals/jsyml/Macpherson91 export record as
dblp key:
Tom Linton :
Countable Structures, Ehrenfeucht Stratagies, and Wadge Reductions.
1325-1348
export record as
dblp key:
journals/jsyml/Ishihara91 Hajime Ishihara :
Continuity and Nondiscontinuity in Constructive Mathematics.
1349-1354
export record as
dblp key:
journals/jsyml/BurrisMV91 export record as
dblp key:
journals/jsyml/Andretta91 export record as
dblp key:
journals/jsyml/Baudisch91 export record as
dblp key:
Ali Nesin :
Generalized Fitting Subgroup of a Group of Finite Morley Rank.
1391-1399
export record as
dblp key:
Péter Komjáth :
A Set Mapping with No Infinite Free Subsets.
1400-1402
export record as
dblp key:
V. Michele Abrusci :
Phase Semantics and Sequent Calculus for Pure Noncommutative Classical Linear Propositional Logic.
1403-1451
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
data released under the ODC-BY 1.0 license
