Volume 58, Number 1, March 1993
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/jsyml/CichonRSW93 export record as
dblp key:
export record as
dblp key:
journals/jsyml/CornarosD93 export record as
dblp key:
export record as
dblp key:
Shaughan Lavine :
Generalized Reduction Theorems for Model-Theoretic Analogs of the Class of Coanalytic Sets.
81-98
export record as
dblp key:
Andreas Knobel :
Constructive Set Theoretic Models of Typed Combinatory Logic.
99-118
export record as
dblp key:
journals/jsyml/Barbanel93 Julius B. Barbanel :
On the Relationship Between the Partition Property and the Weak Partition Property for Normal Ultrafilters on Pkappa lambda.
119-127
export record as
dblp key:
journals/jsyml/Koszmider93 export record as
dblp key:
export record as
dblp key:
journals/jsyml/Shlapentokh93 Alexandra Shlapentokh :
Diophantine Relations Between Rings of S-Integers of Fields of Algebraic Functions in One Variable Over Constant Fields of Positive Characteristic.
158-192
export record as
dblp key:
journals/jsyml/JockuschS93 export record as
dblp key:
journals/jsyml/Belegradek93 export record as
dblp key:
Masahiro Kumabe :
Every n-Generic Degree Is a Minimal Cover of an n-Generic Degree.
219-231
export record as
dblp key:
Akito Tsuboi :
Algebraic Types and Automorphism Groups.
232-239
export record as
dblp key:
journals/jsyml/Cummings93 export record as
dblp key:
journals/jsyml/Ignatiev93 export record as
dblp key:
journals/jsyml/Lubarsky93 export record as
dblp key:
Edward L. Keenan :
Natural Languages, Sortal Reducibility and Generalized Quantifiers.
314-325
export record as
dblp key:
journals/jsyml/Boughattas93 Sedki Boughattas :
Resultats Optimaux sur L'Existenece d'une Partie Entiere dans les Corps Ordonnes.
326-333
export record as
dblp key:
Philip Kremer :
Quantifying over Propositions in Relevance Logic: Nonaxiomatisability of Primary Interpretations of forall p and exists p.
334-349
Volume 58, Number 2, June 1993
export record as
dblp key:
export record as
dblp key:
journals/jsyml/BartoszynskiJS93 export record as
dblp key:
Pawel Pazdyka :
Definability of Models by Means of Existential Formulas without Identity.
424-434
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Andrea Cantini :
Extending the First-Order Theory of Combinators with Self-Referential Truth.
477-513
export record as
dblp key:
journals/jsyml/AllweinD93 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Richard G. Heck Jr. :
The Development of Arithmetic in Frege's Grundgesetze der Arithmetik.
579-601
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/jsyml/MourguesR93 export record as
dblp key:
journals/jsyml/Newelski93 export record as
dblp key:
journals/jsyml/Weiermann93 Andreas Weiermann :
Bounds for the Closure Ordinals of Essentially Monotonic Increasing Functions.
664-671
export record as
dblp key:
journals/jsyml/BatemanJW93 export record as
dblp key:
Volume 58, Number 3, September 1993
export record as
dblp key:
journals/jsyml/BarendregtBD93 export record as
dblp key:
Makoto Tatsuta :
Uniqueness of Normal Proofs of Minimal Formulas.
789-799
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
G. P. Monro :
Logic, Sheaves, and Factorization Systems.
872-893
export record as
dblp key:
export record as
dblp key:
journals/jsyml/Goldfarb93 export record as
dblp key:
Rafel Farré :
A Transfer Theorem for Henselian Valued and Ordered Fields.
915-930
export record as
dblp key:
John R. Steel :
The Well-Foundedness of the Mitchell Order.
931-940
export record as
dblp key:
journals/jsyml/Ben-ArieJ93 export record as
dblp key:
journals/jsyml/Peterzil93 export record as
dblp key:
journals/jsyml/ChagrovZ93 export record as
dblp key:
Yde Venema :
Derivation Rules as Anti-Axioms in Modal Logic.
1003-1034
export record as
dblp key:
journals/jsyml/Scheepers93 Marion Scheepers :
Variations on a Game of Gale (I): Coding Strategies.
1035-1043
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Volume 58, Number 4, December 1993
export record as
dblp key:
Greg Hjorth :
Thin Equivalence Relations and Effective Decompositions.
1153-1164
export record as
dblp key:
Siu-Ah Ng :
A Remark on Locally Pure Measures.
1165-1170
export record as
dblp key:
journals/jsyml/FrankiewiczSZ93 export record as
dblp key:
John Todd Hammond :
Nonisomorphism of Lattices of Recursively Enumerable Sets.
1177-1188
export record as
dblp key:
journals/jsyml/LaskowskiS93 export record as
dblp key:
journals/jsyml/Palmgren93 export record as
dblp key:
Kecheng Liu :
Stationary Subsets of (aleph(omega)) < omega(n).
1201-1218
export record as
dblp key:
export record as
dblp key:
Stefano Stefani :
A Relativization Mechanism in Recursion Categories.
1251-1267
export record as
dblp key:
journals/jsyml/Steprans93 export record as
dblp key:
Jörg Brendle :
Amoeba-Absoluteness and Projective Measurability.
1284-1290
export record as
dblp key:
journals/jsyml/BaldwinLS93 export record as
dblp key:
journals/jsyml/BouscarenL93 export record as
dblp key:
journals/jsyml/GoldsternJS93 export record as
dblp key:
journals/jsyml/GluschankofL93 export record as
dblp key:
James J. Moloney :
An Existence Theorem for a Special Ultrafilter when d = c.
1359-1364
export record as
dblp key:
journals/jsyml/FerrariM93 export record as
dblp key:
journals/jsyml/ShelahTV93 export record as
dblp key:
export record as
dblp key:
Hans Rott :
Belief Contraction in the Context for the General Theory of Rational Choice.
1426-1450
export record as
dblp key:
Anatole Khelif :
The Bass-Milnor-Serre Theorem for Nonstandard Models in Peano Arithmetic.
1451-1458
data released under the ODC-BY 1.0 license
