Volume 68, Number 1, March 2003
export record as
dblp key:
Thomas Forster :
ZF + 'Every set is the same size as a wellfounded set'.
1-4
export record as
dblp key:
journals/jsyml/Weiermann03 export record as
dblp key:
journals/jsyml/Beklemishev03 export record as
dblp key:
Roman Wencel :
Definable sets in Boolean ordered o-minimal structures. II.
35-51
export record as
dblp key:
journals/jsyml/Ishmukhametov03 export record as
dblp key:
export record as
dblp key:
Katalin Bimbó :
The Church-Rosser property in dual combinatory logic.
132-152
export record as
dblp key:
journals/jsyml/Cluckers03 export record as
dblp key:
export record as
dblp key:
Jacques Duparc :
The Steel hierarchy of ordinal valued Borel mappings.
187-234
export record as
dblp key:
export record as
dblp key:
journals/jsyml/Raatikainen03 Panu Raatikainen :
Some strongly undecidable natural arithmetical problems, with an application to intuitionistic theories.
262-266
export record as
dblp key:
Steven Givant :
Inequivalent representations of geometric relation algebras.
267-310
export record as
dblp key:
Martin Ziegler :
Separably closed fields with Hasse derivations.
311-318
export record as
dblp key:
journals/jsyml/BenediktK03
Volume 68, Number 2, June 2003
export record as
dblp key:
export record as
dblp key:
journals/jsyml/DzamonjaS03 export record as
dblp key:
export record as
dblp key:
journals/jsyml/GoguadzePV03 export record as
dblp key:
journals/jsyml/BlackburnM03 export record as
dblp key:
journals/jsyml/Mitchell03 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/jsyml/DowneyLS03 export record as
dblp key:
journals/jsyml/FriedmanHR03 export record as
dblp key:
journals/jsyml/Yoshinobu03 export record as
dblp key:
export record as
dblp key:
journals/jsyml/MartinNV03 export record as
dblp key:
journals/jsyml/CummingsFM03 export record as
dblp key:
journals/jsyml/Blossier03 Thomas Blossier :
Automorphism groups of trivial strongly minimal structures.
644-668
export record as
dblp key:
export record as
dblp key:
Volume 68, Number 3, September 2003
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/BerarducciO03 export record as
dblp key:
journals/jsyml/BridgesV03 export record as
dblp key:
export record as
dblp key:
journals/jsyml/HinnionL03 export record as
dblp key:
export record as
dblp key:
journals/jsyml/Ben-Yaacov03 Itay Ben-Yaacov :
Discouraging results for ultraimaginary independence theory.
846-850
export record as
dblp key:
journals/jsyml/NakazawaT03 export record as
dblp key:
journals/jsyml/Shlapentokh03 export record as
dblp key:
journals/jsyml/ForsterT03 export record as
dblp key:
journals/jsyml/Barmpalias03 George Barmpalias :
The approximation structure of a computably approximable real.
885-922
export record as
dblp key:
David Pierce :
Differential forms in the model theory of differential fields.
923-945
export record as
dblp key:
journals/jsyml/DickmannM03 export record as
dblp key:
export record as
dblp key:
journals/jsyml/Montalban03 Antonio Montalbán :
Embedding jump upper semilattices into the Turing degrees.
989-1014
export record as
dblp key:
journals/jsyml/Moschovakis03 Joan Rand Moschovakis :
Classical and constructive hierarchies in extended intuitionistic analysis.
1015-1043
export record as
dblp key:
Volume 68, Number 4, December 2003
export record as
dblp key:
journals/jsyml/FriedmanS03 export record as
dblp key:
Chris Pollett :
A theory for Log-Space and NLIN versus coNLIN.
1082-1090
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/jsyml/Berenstein03 export record as
dblp key:
journals/jsyml/Friedman03 export record as
dblp key:
export record as
dblp key:
journals/jsyml/Laskowski03 export record as
dblp key:
journals/jsyml/GiraudetT03 M. Giraudet ,
J. K. Truss :
Recovering ordered structures from quotients of their automorphism groups.
1189-1198
export record as
dblp key:
journals/jsyml/HirschfeldtKS03 export record as
dblp key:
export record as
dblp key:
journals/jsyml/Forster03a export record as
dblp key:
journals/jsyml/BartoszynskiST03 export record as
dblp key:
export record as
dblp key:
René David ,
Karim Nour :
A short proof of the strong normalization of classical natural deduction with disjunction.
1277-1288
export record as
dblp key:
export record as
dblp key:
journals/jsyml/Lessmann03 export record as
dblp key:
journals/jsyml/FerreiraH03 export record as
dblp key:
journals/jsyml/BrendleL03 export record as
dblp key:
Wolfgang Merkle :
The Kolmogorov-Loveland stochastic sequences are not closed under selecting subsequences.
1362-1376
export record as
dblp key:
Anand Pillay :
On countable simple unidimensional theories.
1377-1384
export record as
dblp key:
export record as
dblp key:
journals/jsyml/KushidaO03 H. Kushida ,
M. Okada :
A proof-theoretic study of the correspondence of classical logic and modal logic.
1403-1414
export record as
dblp key:
journals/jsyml/NakazawaT03a Koji Nakazawa ,
Makoto Tatsuta :
Corrigendum to "Strong normalization proof with CPS-translation for second order classical natural deduction".
1415-1416
data released under the ODC-BY 1.0 license
