Switch to: References

Citations of:

[Omnibus Review]

Journal of Symbolic Logic 56 (3):1089-1090 (1991)

Add citations

You must login to add citations.
  1. Effective categoricity of equivalence structures.Wesley Calvert, Douglas Cenzer, Valentina Harizanov & Andrei Morozov - 2006 - Annals of Pure and Applied Logic 141 (1):61-78.
    We investigate effective categoricity of computable equivalence structures . We show that is computably categorical if and only if has only finitely many finite equivalence classes, or has only finitely many infinite classes, bounded character, and at most one finite k such that there are infinitely many classes of size k. We also prove that all computably categorical structures are relatively computably categorical, that is, have computably enumerable Scott families of existential formulas. Since all computable equivalence structures are relatively categorical, (...)
    Download  
     
    Export citation  
     
    Bookmark   22 citations  
  • Times in Tense Logic.Ulrich Meyer - 2009 - Notre Dame Journal of Formal Logic 50 (2):201--19.
    This paper explains how to obtain quantification over times in a tense logic in which all temporal distinctions are ultimately spelled out in terms of the two simple tense operators “it was the case that” and “it will be the case that.” The account of times defended here is similar to what is known as “linguistic ersatzism” about possible worlds, but there are noteworthy differences between these two cases. For example, while linguistic ersatzism would support actualism, the view of times (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • (1 other version)Intrinsic, Extrinsic, and the Constitutive A Priori.László E. Szabó - 2019 - Foundations of Physics:1-13.
    On the basis of what I call physico-formalist philosophy of mathematics, I will develop an amended account of the Kantian–Reichenbachian conception of constitutive a priori. It will be shown that the features attributed to a real object are not possessed by the object as a “thing-in-itself”; they require a physical theory by means of which these features are constituted. It will be seen that the existence of such a physical theory implies that a physical object can possess a property only (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • The axiom of choice and combinatory logic.Andrea Cantini - 2003 - Journal of Symbolic Logic 68 (4):1091-1108.
    We combine a variety of constructive methods (including forcing, realizability, asymmetric interpretation), to obtain consistency results concerning combinatory logic with extensionality and (forms of) the axiom of choice.
    Download  
     
    Export citation  
     
    Bookmark  
  • Bourdieu’s theorization of social capital in the analysis of South-East European societies.Mirko Petric & Inga Tomic-Koludrovic - 2021 - Filozofija I Društvo 32 (4):538-566.
    This article discusses the significance of social capital in Bourdieu-inspired analyses of contemporary South-East European societies. We first recapitulate Bourdieu?s theorization of social capital, emphasizing that it allows different operationalizations expressly because of its rather abstract theoretical character. Following that, we explain what is meant by?South- East European societies? and that their inequality-generating mechanisms are largely based on social closure. In the central part of the article, we comment on some attempts at operationalization of social capital in the SEE region. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Outline of a Marxist Commodity Theory of the Public Sphere.John Michael Roberts - 2017 - Historical Materialism 25 (1):3-35.
    In recent years, the public sphere, which represents a realm in civil society where people can debate and discuss a range of issues and common concerns important to them, has become a key area for research in the humanities and social sciences. Arguably, however, Marxist theory has yet to advance a theoretical account of the most abstract and simple ideological properties of the capitalist public sphere as these appear under universal commodity relationships. The paper therefore tentatively seeks to develop such (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Care, longing, and control.Sandra Wallenius-Korkalo - 2020 - Approaching Religion 10 (1).
    This article analyses representations of Conservative Laestadianism in contemporary Finnish and Finnish-American popular culture. Drawing from political studies, religious studies and cultural studies, the article sheds light on the ways in which Conservative Laestadianism is present in societal debate and in the cultural imagination. Focusing on religious corporeality, the article scrutinises the embodied practices of Conservative Laestadianism and the ways in which the representations participate in making sense of gender, sexuality, and power in religious communities. Contemporary understandings in popular culture (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • INVENTING LOGIC: THE LÖWENHEIM-SKOLEM THEOREM AND FIRST- AND SECOND-ORDER LOGIC.Valérie Lynn Therrien - 2012 - Pensées Canadiennes 10.
    Download  
     
    Export citation  
     
    Bookmark