Switch to: References

Add citations

You must login to add citations.
  1. The Σ 2 1 theory of axioms of symmetry.Galen Weitkamp - 1989 - Journal of Symbolic Logic 54 (3):727-734.
    The axiom of symmetry (A ℵ 0 ) asserts that for every function F: ω 2 → ω 2 there is a pair of reals x and y in ω 2 so that y is not in the countable set $\{(F(x))_n:n coded by F(x) and x is not in the set coded by F(y). A(Γ) denotes axiom A ℵ 0 with the restriction that graph(F) belongs to the pointclass Γ. In § 2 we prove A(Σ 1 1 ). In § (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  • Eight journals over eight decades: a computational topic-modeling approach to contemporary philosophy of science.Christophe Malaterre, Francis Lareau, Davide Pulizzotto & Jonathan St-Onge - 2020 - Synthese 199 (1-2):2883-2923.
    As a discipline of its own, the philosophy of science can be traced back to the founding of its academic journals, some of which go back to the first half of the twentieth century. While the discipline has been the object of many historical studies, notably focusing on specific schools or major figures of the field, little work has focused on the journals themselves. Here, we investigate contemporary philosophy of science by means of computational text-mining approaches: we apply topic-modeling algorithms (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  • Boolean‐Valued Models of Set Theory with Automorphisms.E. G. Hernandez - 1986 - Mathematical Logic Quarterly 32 (7‐9):117-130.
  • Boolean-Valued Models of Set Theory with Automorphisms.E. G. Hernandez - 1986 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 32 (7-9):117-130.
    Direct download  
     
    Export citation  
     
    Bookmark