export record
dblp key:
journals/jsyml/FennerKR04 share record
persistent URL:
Stephen A. Fenner , Stuart A. Kurtz , James S. Royer : Every polynomial-time 1-degree collapses if and only if P = PSPACE. J. Symb. Log. 69 (3 ) : 713-741 (2004 )export record
dblp key:
journals/jsyml/FischerM04 share record
persistent URL:
Eldar Fischer , Johann A. Makowsky : On spectra of sentences of monadic second order logic with counting. J. Symb. Log. 69 (3 ) : 617-640 (2004 )share record
persistent URL:
Olivier Frécon : Sous-groupes de Carter dans les groupes de rang de Morley fini. J. Symb. Log. 69 (1 ) : 23-33 (2004 )export record
dblp key:
journals/jsyml/Friedman04 share record
persistent URL:
Sy D. Friedman : Generic Sigma1 3 absoluteness. J. Symb. Log. 69 (1 ) : 73-80 (2004 )export record
dblp key:
journals/jsyml/GhilardiS04 share record
persistent URL:
Silvio Ghilardi , Lorenzo Sacchetti : Filtering unification and most general unifiers in modal logic. J. Symb. Log. 69 (3 ) : 879-906 (2004 )export record
dblp key:
journals/jsyml/GoncharovHKS04 share record
persistent URL:
Sergei S. Goncharov , Valentina S. Harizanov , Julia F. Knight , Richard A. Shore : Pi1 1 relations and paths through. J. Symb. Log. 69 (2 ) : 585-611 (2004 )export record
dblp key:
journals/jsyml/GreenbergMS04 share record
persistent URL:
Noam Greenberg , Antonio Montalbán , Richard A. Shore : Generalized high degrees have the complementation property. J. Symb. Log. 69 (4 ) : 1200-1220 (2004 )share record
persistent URL:
Lars Hansen : Formalized token models and duality in semantics: an algebraic approach. J. Symb. Log. 69 (2 ) : 443-477 (2004 )share record
persistent URL:
Jeffry L. Hirst : Hindman's theorem, ultrafilters, and reverse mathematics. J. Symb. Log. 69 (1 ) : 65-72 (2004 )share record
persistent URL:
Masanori Itai , Akito Tsuboi , Kentaro Wakai : Construction of saturated quasi-minimal structure. J. Symb. Log. 69 (1 ) : 9-22 (2004 )export record
dblp key:
journals/jsyml/KanoveiS04 share record
persistent URL:
Vladimir Kanovei , Saharon Shelah : A definable nonstandard model of the reals. J. Symb. Log. 69 (1 ) : 159-164 (2004 )export record
dblp key:
journals/jsyml/KeislerL04 share record
persistent URL:
H. Jerome Keisler , Wafik Boulos Lotfallah : First order quantifiers in~monadic second order logic. J. Symb. Log. 69 (1 ) : 118-136 (2004 )export record
dblp key:
journals/jsyml/KennedyS04 share record
persistent URL:
Juliette Kennedy , Saharon Shelah : More on regular reduced products. J. Symb. Log. 69 (4 ) : 1261-1266 (2004 )export record
dblp key:
journals/jsyml/Kolodziejczyk04 share record
persistent URL:
Leszek Aleksander Kolodziejczyk : Truth definitions in finite models. J. Symb. Log. 69 (1 ) : 183-200 (2004 )export record
dblp key:
journals/jsyml/Kolodziejczyk04a share record
persistent URL:
Leszek Aleksander Kolodziejczyk : A finite model-theoretical proof of a property of bounded query classes within PH. J. Symb. Log. 69 (4 ) : 1105-1116 (2004 )export record
dblp key:
journals/jsyml/Kowalski04 share record
persistent URL:
Retraction note for "PDL has interpolation". J. Symb. Log. 69 (3 ) : 935 (2004 ) export record
dblp key:
journals/jsyml/Krajicek04 share record
persistent URL:
Jan Krajícek : Approximate Euler characteristic, dimension, and weak pigeonhole principles. J. Symb. Log. 69 (1 ) : 201-214 (2004 )export record
dblp key:
journals/jsyml/Krajicek04a share record
persistent URL:
Jan Krajícek : Dual weak pigeonhole principle, pseudo-surjective functions, and provability of circuit lower bounds. J. Symb. Log. 69 (1 ) : 265-286 (2004 )export record
dblp key:
journals/jsyml/Krajicek04b share record
persistent URL:
Jan Krajícek : Implicit proofs. J. Symb. Log. 69 (2 ) : 387-397 (2004 )share record
persistent URL:
Andrew Lewis : Minimal complements for degrees below 0'. J. Symb. Log. 69 (4 ) : 937-966 (2004 )export record
dblp key:
journals/jsyml/MaiettiV04 share record
persistent URL:
Maria Emilia Maietti , Silvio Valentini : A structural investigation on formal topology: coreflection of formal covers and exponentiability. J. Symb. Log. 69 (4 ) : 967-1005 (2004 )export record
dblp key:
journals/jsyml/Mainhardt04 share record
persistent URL:
Gunther Mainhardt : P versus NP and computability theoretic constructions in complexity theory over algebraic structures. J. Symb. Log. 69 (1 ) : 39-64 (2004 )export record
dblp key:
journals/jsyml/MarconeR04 share record
persistent URL:
Alberto Marcone , Christian Rosendal : The complexity of continuous embeddability between dendrites. J. Symb. Log. 69 (3 ) : 663-673 (2004 )export record
dblp key:
journals/jsyml/McKenzieM04 share record
persistent URL:
Ralph McKenzie , J. Donald Monk : On some small cardinals for Boolean algebras. J. Symb. Log. 69 (3 ) : 674-682 (2004 )share record
persistent URL:
Wolfgang Merkle , Nenad Mihailovic : On the construction of effectively random sets. J. Symb. Log. 69 (3 ) : 862-878 (2004 )share record
persistent URL:
Joseph S. Miller : Degrees of unsolvability of continuous functions. J. Symb. Log. 69 (2 ) : 555-584 (2004 )share record
persistent URL:
Joseph S. Miller : Every 2-random real is Kolmogorov random. J. Symb. Log. 69 (3 ) : 907-913 (2004 )export record
dblp key:
journals/jsyml/Mitchell04 share record
persistent URL:
William J. Mitchell : A weak variation of Shelah's I[omega2 ]. J. Symb. Log. 69 (1 ) : 94-100 (2004 )export record
dblp key:
journals/jsyml/MitchellS04 share record
persistent URL:
William J. Mitchell , Ralf Schindler : A universal extender model without large cardinals in V . J. Symb. Log. 69 (2 ) : 371-386 (2004 )export record
dblp key:
journals/jsyml/MummertS04 share record
persistent URL:
Carl Mummert , Stephen G. Simpson : An incompleteness theorem for gamman -models. J. Symb. Log. 69 (2 ) : 612-616 (2004 )