Journals in DBLP
J. Symb. Log. Heinrich Herre , Michal Krynicki , Alexander Pinus , Jouko A. Väänänen The Härtig Quantifier: A Survey. [Citation Graph (0, 0)][DBLP ] Journal ] Steven Buechler Pseudoprojective Strongly Minimal Sets Are Locally Projective. [Citation Graph (0, 0)][DBLP ] Journal ] James E. Baumgartner , Otmar Spinas Independence and Consistency Proofs in Quadratic Form Theory. [Citation Graph (0, 0)][DBLP ] Journal ] Robert Bonnet , Matatyahu Rubin Elementary Embeddings Between Countable Boolean Algebras. [Citation Graph (0, 0)][DBLP ] Journal ] Franco Parlamento , Alberto Policriti Expressing Infinity Without Foundation. [Citation Graph (0, 0)][DBLP ] Journal ] Françoise Delon Indécidabilité de la Théorie des Paires Immédiates de Corps Valués Henseliens. [Citation Graph (0, 0)][DBLP ] Journal ] Colin McLarty Axiomatizing a Category of Categories. [Citation Graph (0, 0)][DBLP ] Journal ] L. A. Chagrova An Undecidable Problem in Correspondence Theory. [Citation Graph (0, 0)][DBLP ] Journal ] Jacek Cichon , M. Morayne , Janusz Pawlikowski , Slawomir Solecki Decomposing Baire Functions. [Citation Graph (0, 0)][DBLP ] Journal ] Z. Balogh , G. Gruenhage On a Problem of C. H. Dowker. [Citation Graph (0, 0)][DBLP ] Journal ] Shaughan Lavine Dual Easy Uniformization and Model-Theoretic Descriptive Set Theory. [Citation Graph (0, 0)][DBLP ] Journal ] Dugald Macpherson Interpreting Groups in omega-Categorical Structures. [Citation Graph (0, 0)][DBLP ] Journal ] Tom Linton Countable Structures, Ehrenfeucht Stratagies, and Wadge Reductions. [Citation Graph (0, 0)][DBLP ] Journal ] Hajime Ishihara Continuity and Nondiscontinuity in Constructive Mathematics. [Citation Graph (0, 0)][DBLP ] Journal ] Stanley Burris , Ralph McKenzie , Matthew Valeriote Decidable Discriminator Varieties from Unary Varieties. [Citation Graph (0, 0)][DBLP ] Journal ] Alessandro Andretta Building Iteration Trees. [Citation Graph (0, 0)][DBLP ] Journal ] Andreas Baudisch A Construction of Superstable NDOP-NOTOP Groups. [Citation Graph (0, 0)][DBLP ] Journal ] Ali Nesin Generalized Fitting Subgroup of a Group of Finite Morley Rank. [Citation Graph (0, 0)][DBLP ] Journal ] Péter Komjáth A Set Mapping with No Infinite Free Subsets. [Citation Graph (0, 0)][DBLP ] Journal ] V. Michele Abrusci Phase Semantics and Sequent Calculus for Pure Noncommutative Classical Linear Propositional Logic. [Citation Graph (0, 0)][DBLP ] Journal ] James Cain , Zlatan Damnjanovic On the Weak Kleene Scheme in Kripke's Theory of Truth. [Citation Graph (0, 0)][DBLP ] Journal ] Marcus Kracht , Frank Wolter Properties of Independently Axiomatizable Bimodal Logics. [Citation Graph (0, 0)][DBLP ] Journal ] Harold T. Hodes Corrections to ``Where Do Sets Come From?''. [Citation Graph (0, 0)][DBLP ] Journal ] 