Journals in DBLP

Ann. Pure Appl. Logic
2010, volume: 161, number: 4

1. 
   A non-implication between fragments of Martin's Axiom related to a property which comes from Aronszajn trees. [Citation Graph (, )][DBLP]
   
   
2. 
   Locally definable homotopy. [Citation Graph (, )][DBLP]
   
   
3. 
   The strength of sharply bounded induction requires MSP. [Citation Graph (, )][DBLP]
   
   
4. 
   Bootstrapping, part I. [Citation Graph (, )][DBLP]
   
   
5. 
   A modal logic framework for reasoning about comparative distances and topology. [Citation Graph (, )][DBLP]
   
   
6. 
   On the T₁ axiom and other separation properties in constructive point-free and point-set topology. [Citation Graph (, )][DBLP]
   
   
7. 
   Topological differential fields. [Citation Graph (, )][DBLP]
   
   
8. 
   On some definable sets over fields with analytic structure. [Citation Graph (, )][DBLP]