Volume 63, Number 1, March 1998
export record as
dblp key:
journals/jsyml/HarringtonS98 export record as
dblp key:
export record as
dblp key:
Maurice Boffa :
More on an Undecidability Result of Bateman, Jockusch and Woods.
50
export record as
dblp key:
export record as
dblp key:
journals/jsyml/LachlanS98 export record as
dblp key:
export record as
dblp key:
journals/jsyml/LipshitzR98 export record as
dblp key:
export record as
dblp key:
journals/jsyml/LifschesS98 export record as
dblp key:
journals/jsyml/BalcerzakRS98 export record as
dblp key:
Arthur W. Apter :
Laver Indestructability and the Class of Compact Ordinals.
149-157
export record as
dblp key:
journals/jsyml/Friedman98 export record as
dblp key:
journals/jsyml/AndrekaGN98 export record as
dblp key:
export record as
dblp key:
Mauro Di Nasso :
Pseudo-Superstructures as Nonstandard Universes.
222-236
export record as
dblp key:
export record as
dblp key:
journals/jsyml/Antonelli98 Gian Aldo Antonelli :
Extensional Quotients for Type Theory and the Consistency Property for NF.
247-261
export record as
dblp key:
journals/jsyml/Schilling98 export record as
dblp key:
Tomasz Polacik :
Propositional Quantification in the Monadic Fragment of Intuitionistic Logic.
269-300
export record as
dblp key:
journals/jsyml/ScheepersW98
Volume 63, Number 2, June 1998
export record as
dblp key:
Jacob Lurie :
The Effective Content of Surreal Algebra.
337-371
export record as
dblp key:
journals/jsyml/BallardB98 export record as
dblp key:
export record as
dblp key:
Paola D'Aquino :
Solving Pell Equations Locally in Models of I Delta0 .
402-410
export record as
dblp key:
journals/jsyml/ArslanovLS98 export record as
dblp key:
journals/jsyml/Belegradek98 export record as
dblp key:
journals/jsyml/BaldwinS98 export record as
dblp key:
Mike Priest :
The Representation Theories of Elementarily Equivalent Rings.
439-450
export record as
dblp key:
journals/jsyml/HurkensMMMW98 export record as
dblp key:
export record as
dblp key:
journals/jsyml/DebonisN98 Mark J. Debonis ,
Ali Nesin :
There Are 2aleph0 Many Almost Strongly Minimal Generalized n-gons That Do Not Interpret an Infinite Group.
485-508
export record as
dblp key:
Michael Rathjen :
Explicit Mathematics with the Monotone Fixed Point Principle.
509-542
export record as
dblp key:
Timothy Bays :
Some Two-Cardinal Results for O-Minimal Theories.
543-548
export record as
dblp key:
journals/jsyml/HamkinsS98 export record as
dblp key:
journals/jsyml/Langholm98 Tore Langholm :
A Strong Version of Herbrand's Theorem for Introvert Sentences.
555-569
export record as
dblp key:
journals/jsyml/BaisalovP98 export record as
dblp key:
journals/jsyml/BridgesM98 export record as
dblp key:
journals/jsyml/LaflammeZ98 export record as
dblp key:
journals/jsyml/Mildenberger98 Heike Mildenberger :
Changing Cardinal Invariants of the Reals without Changing Cardinals or the Reals.
593-599
export record as
dblp key:
journals/jsyml/BerardiBC98 export record as
dblp key:
journals/jsyml/MacCaull98 Wendy MacCaull :
Relational Semantics and a Relational Proof System for Full Lambek Calculus.
623-637
export record as
dblp key:
journals/jsyml/Benedikt98 export record as
dblp key:
Greg Hjorth :
An Absoluteness Principle for Borel Sets.
663-693
export record as
dblp key:
journals/jsyml/Schlatter98 export record as
dblp key:
export record as
dblp key:
journals/jsyml/HaskellM98
Volume 63, Number 3, September 1998
export record as
dblp key:
Charles G. Morgan :
Higher Gap Morasses, IA: Gap-Two Morasses and Condensation.
753-787
export record as
dblp key:
Anand Pillay :
Definability and Definable Groups in Simple Theories.
788-796
export record as
dblp key:
Chi Tat Chong ,
Yue Yang :
Sigma2 Induction and Infinite Injury Priority Argument, Part I: Maximal Sets and the Jump Operator.
797-814
export record as
dblp key:
Friederike Körner :
Automorphisms Moving All Non-Algebraic Points and an Application to NF.
815-830
export record as
dblp key:
Arnon Avron :
Multiplicative Conjunction and an Algebraic Meaning of Contraction and Weakening.
831-859
export record as
dblp key:
journals/jsyml/TakeutiY98 export record as
dblp key:
journals/jsyml/DekkersBB98 export record as
dblp key:
Su Gao :
On Automorphism Groups of Countable Structures.
891-896
export record as
dblp key:
export record as
dblp key:
Byunghan Kim :
A Note on Lascar Strong Types in Simple Theories.
926-936
export record as
dblp key:
journals/jsyml/Cunningham98 export record as
dblp key:
export record as
dblp key:
journals/jsyml/MatsubaraS98 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/jsyml/Koszmider98 Piotr Koszmider :
On the Existence of Strong Chains in P(omega1 )/Fin.
1055-1062
export record as
dblp key:
journals/jsyml/McAllister98 Alex M. McAllister :
Completions of PA: Models and Enumerations of Representable Sets.
1063-1082
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/jsyml/Villaveces98 Andrés Villaveces :
Chains of End Elementary Extensions of Models of Set Theory.
1116-1136
export record as
dblp key:
Peter Koepke :
Extenders, Embedding Normal Forms, and the Martin-Steel-Theorem.
1137-1176
Volume 63, Number 4, December 1998
export record as
dblp key:
Norman Feldman :
The Cylindric Algebras of Three-Valued Logic.
1201-1217
export record as
dblp key:
journals/jsyml/Kohlenbach98 export record as
dblp key:
journals/jsyml/OuwehandR98 export record as
dblp key:
journals/jsyml/Simonetta98 Patrick Simonetta :
Equivalence Elementaire et Decidabilite Pour des Structures du Type Groupe Agissant Sur un Groupe Abelien.
1255-1285
export record as
dblp key:
journals/jsyml/Rodenburg98 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/jsyml/Weiermann98 Andreas Weiermann :
How Is It that Infinitary Methods Can Be Applied to Finitary Mathematics? Gödel's T: A Case Study.
1348-1370
export record as
dblp key:
export record as
dblp key:
journals/jsyml/Mitchell98 export record as
dblp key:
journals/jsyml/Zambella98 Domenico Zambella :
Foundation Versus Induction in Kripke-Platek Set Theory.
1399-1403
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/jsyml/Zapletal98 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Andy Lewis :
Large Cardinals and Large Dilators.
1496-1510
export record as
dblp key:
journals/jsyml/Kulpeshov98 export record as
dblp key:
Rainer Kerth :
The Interpretation of Unsolvable lambda-Terms in Models of Untyped lambda-Calculus.
1529-1548
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/jsyml/Krajicek98 Jan Krajícek :
Discretely Ordered Modules as a First-Order Extension of The Cutting Planes Proof System.
1582-1596
export record as
dblp key:
data released under the ODC-BY 1.0 license
