default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe Journal of Symbolic Logic, Volume 69
Volume 69, Number 1, March 2004
- Andrew P. Arana
:
Arithmetical independence results using higher recursion theory. 1-8 - Masanori Itai, Akito Tsuboi, Kentaro Wakai:
Construction of saturated quasi-minimal structure. 9-22 - Olivier Frécon:
Sous-groupes de Carter dans les groupes de rang de Morley fini. 23-33 - Frank O. Wagner:
Some remarks on one-basedness. 34-38 - Gunther Mainhardt:
P versus NP and computability theoretic constructions in complexity theory over algebraic structures. 39-64 - Jeffry L. Hirst:
Hindman's theorem, ultrafilters, and reverse mathematics. 65-72 - Sy D. Friedman:
Generic Sigma13 absoluteness. 73-80 - Jerry E. Vaughan:
Two step iteration of almost disjoint families. 81-90 - Marcus Tressl:
Valuation theoretic content of the Marker-Steinhorn theorem. 91-93 - William J. Mitchell:
A weak variation of Shelah's I[omega2]. 94-100 - Otmar Spinas:
Analytic countably splitting families. 101-117 - H. Jerome Keisler, Wafik Boulos Lotfallah:
First order quantifiers in~monadic second order logic. 118-136 - Septimiu Crivei, Mike Prest, Geert Reynders:
Model theory of comodules. 137-142 - Roland Sh. Omanadze:
Splittings of effectively speedable sets and effectively levelable sets. 143-158 - Vladimir Kanovei, Saharon Shelah:
A definable nonstandard model of the reals. 159-164 - Petr Andreev, Karel Hrbacek:
Standard sets in nonstandard set theory. 165-182 - Leszek Aleksander Kolodziejczyk:
Truth definitions in finite models. 183-200 - Jan Krajícek:
Approximate Euler characteristic, dimension, and weak pigeonhole principles. 201-214 - Alfred Dolich:
Forking and independence in o-minimal theories. 215-240 - Dale Radin:
A definability result for compact complex spaces. 241-254 - Mirna Dzamonja, Péter Komjáth, Charles Morgan:
Wild edge colourings of graphs. 255-264 - Jan Krajícek:
Dual weak pigeonhole principle, pseudo-surjective functions, and provability of circuit lower bounds. 265-286 - Andris Ambainis, John Case, Sanjay Jain, Mandayam Suraj:
Parsimony hierarchies for inductive inference. 287-327 - Douglas S. Bridges, Luminita Vîta:
Corrigendum to "A proof - technique in uniform space theory". 328
Volume 69, Number 2, June 2004
- Marko Djordjevic:
On first-order sentences without finite models. 329-339 - Thomas Ehrhard:
A completeness theorem for symmetric product phase spaces. 340-370 - William J. Mitchell, Ralf Schindler:
A universal extender model without large cardinals in V. 371-386 - Jan Krajícek:
Implicit proofs. 387-397 - Itay Ben-Yaacov, Frank O. Wagner:
On almost orthogonality in simple theories. 398-408 - Guohua Wu:
Bi-isolation in the d.c.e. degrees. 409-420 - Jaap van Oosten:
A partial analysis of modified realizability. 421-429 - Barbara F. Csima:
Degree spectra of prime models. 430-442 - Lars Hansen:
Formalized token models and duality in semantics: an algebraic approach. 443-477 - Anand Pillay, Martin Ziegler:
On a question of Herzog and Rothmaler. 478-481 - Jason Aubrey:
Combinatorics for the dominating and unsplitting numbers. 482-498 - Oleg V. Belegradek:
Semi-bounded relations in ordered modules. 499-517 - Uri Abraham, Saharon Shelah:
Ladder gaps over stationary sets. 518-532 - Rodney G. Downey, Evan J. Griffiths:
Schnorr randomness. 533-554 - Joseph S. Miller:
Degrees of unsolvability of continuous functions. 555-584 - Sergei S. Goncharov, Valentina S. Harizanov, Julia F. Knight, Richard A. Shore:
Pi11 relations and paths through. 585-611 - Carl Mummert, Stephen G. Simpson:
An incompleteness theorem for gamman-models. 612-616
Volume 69, Number 3, September 2004
- Eldar Fischer, Johann A. Makowsky:
On spectra of sentences of monadic second order logic with counting. 617-640 - Itay Ben-Yaacov:
Lovely pairs of models: the non first order case. 641-662 - Alberto Marcone, Christian Rosendal:
The complexity of continuous embeddability between dendrites. 663-673 - Ralph McKenzie, J. Donald Monk:
On some small cardinals for Boolean algebras. 674-682 - Peter Cholak, Alberto Marcone, Reed Solomon:
Reverse mathematics and the equivalence of definitions for well and better quasi-orders. 683-712 - Stephen A. Fenner, Stuart A. Kurtz, James S. Royer:
Every polynomial-time 1-degree collapses if and only if P = PSPACE. 713-741 - Joan Bagaria, Roger Bosch:
Solovay models and forcing extensions. 742-766 - Roy T. Cook:
Patterns of paradox. 767-774 - Ali Enayat:
Leibnizian models of set theory. 775-789 - Sergei Tupailo:
On the intuitionistic strength of monotone inductive definitions. 790-798 - Michael Ray Oliver:
Continuum-many Boolean algebras of the form (omega )/I, I Borel. 799-816 - Alexander Berenstein:
Dividing in the algebra of compact operators. 817-829 - Toshiyasu Arai:
Wellfoundedness proofs by means of non-monotonic inductive definitions I: Pi 02-operators. 830-850 - A. J. Wilkie:
Diophantine properties of sets definable in o-minimal structures. 851-861 - Wolfgang Merkle, Nenad Mihailovic:
On the construction of effectively random sets. 862-878 - Silvio Ghilardi, Lorenzo Sacchetti:
Filtering unification and most general unifiers in modal logic. 879-906 - Joseph S. Miller:
Every 2-random real is Kolmogorov random. 907-913 - Natasha Dobrinen, Stephen G. Simpson:
Almost everywhere domination. 914-922 - Tibor Beke:
Theories of presheaf type. 923-934 - Retraction note for "PDL has interpolation". 935
Volume 69, Number 4, December 2004
- Andrew Lewis:
Minimal complements for degrees below 0'. 937-966 - Maria Emilia Maietti, Silvio Valentini:
A structural investigation on formal topology: coreflection of formal covers and exponentiability. 967-1005 - Thanases Pheidas, Karim Zahidi:
Elimination theory for addition and the Frobenius map in polynomial rings. 1006-1026 - Christoph Benzmüller, Chad E. Brown, Michael Kohlhase:
Higher-order semantics and extensionality. 1027-1088 - Klaus Ambos-Spies, Bjørn Kjos-Hanssen, Steffen Lempp, Theodore A. Slaman:
Comparing DNR and WWKL. 1089-1104 - Leszek Aleksander Kolodziejczyk:
A finite model-theoretical proof of a property of bounded query classes within PH. 1105-1116 - Barbara F. Csima, Denis R. Hirschfeldt, Julia F. Knight, Robert I. Soare:
Bounding prime models. 1117-1142 - Itay Neeman:
The Mitchell order below rank-to-rank. 1143-1162 - Decheng Ding, Liang Yu:
There is no SW-complete c.e. real. 1163-1170 - Boris Zilber:
Bi-coloured fields on the complex numbers. 1171-1186 - Mike Prest, Vera Puninskaya, Alexandra Ralph:
Some model theory of sheaves of modules. 1187-1199 - Noam Greenberg, Antonio Montalbán, Richard A. Shore:
Generalized high degrees have the complementation property. 1200-1220 - Ziv Shami:
Coordinatisation by binding groups and unidimensionality in simple theories. 1221-1242 - Bektur Sembiuly Baizhanov, John T. Baldwin:
Local homogeneity. 1243-1260 - Juliette Kennedy, Saharon Shelah:
More on regular reduced products. 1261-1266 - Arthur W. Apter, Grigor Sargsyan:
Jonsson-like partition relations and j: V -> V. 1267-1281
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-08-12 22:59 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
