Results for 'Singular compactness'

1000+ found
Order:
  1.  12
    Criteria for exact saturation and singular compactness.Itay Kaplan, Nicholas Ramsey & Saharon Shelah - 2021 - Annals of Pure and Applied Logic 172 (9):102992.
    We introduce the class of unshreddable theories, which contains the simple and NIP theories, and prove that such theories have exactly saturated models in singular cardinals, satisfying certain set-theoretic hypotheses. We also give criteria for a theory to have singular compactness.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  9
    On Compactness of Weak Square at Singulars of Uncountable Cofinality.Maxwell Levine - forthcoming - Journal of Symbolic Logic:1-10.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  41
    Successive weakly compact or singular cardinals.Ralf-Dieter Schindler - 1999 - Journal of Symbolic Logic 64 (1):139-146.
    It is shown in ZF that if $\delta are such that δ and δ + are either both weakly compact or singular cardinals and Ω is large enough for putting the core model apparatus into action then there is an inner model with a Woodin cardinal.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  4. Successive Weakly Compact or Singular Cardinals.Ralf-Dieter Schindler - 1999 - Journal of Symbolic Logic 64 (1):139-146.
    It is shown in ZF that if $\delta < \delta^+ < \Omega$ are such that $\delta$ and $\delta^+$ are either both weakly compact or singular cardinals and $\Omega$ is large enough for putting the core model apparatus into action then there is an inner model with a Woodin cardinal.
     
    Export citation  
     
    Bookmark   3 citations  
  5.  13
    The strength of choiceless patterns of singular and weakly compact cardinals.Daniel Busche & Ralf Schindler - 2009 - Annals of Pure and Applied Logic 159 (1-2):198-248.
    We extend the core model induction technique to a choiceless context, and we exploit it to show that each one of the following two hypotheses individually implies that , the Axiom of Determinacy, holds in the of a generic extension of : every uncountable cardinal is singular, and every infinite successor cardinal is weakly compact and every uncountable limit cardinal is singular.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  6.  15
    Small $$\mathfrak {u}(\kappa )$$ u ( κ ) at singular $$\kappa $$ κ with compactness at $$\kappa ^{++}$$ κ + +.Radek Honzik & Šárka Stejskalová - 2021 - Archive for Mathematical Logic 61 (1):33-54.
    We show that the tree property, stationary reflection and the failure of approachability at \ are consistent with \= \kappa ^+ < 2^\kappa \), where \ is a singular strong limit cardinal with the countable or uncountable cofinality. As a by-product, we show that if \ is a regular cardinal, then stationary reflection at \ is indestructible under all \-cc forcings.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  7.  55
    Saharon Shelah. Infinite abelian groups, Whitehead problem and some constructions. Israel journal of mathematics, vol. 18 , pp. 243–256. - Saharon Shelah. A compactness theorem for singular cardinals, free algebras, Whitehead problem and transversals. Israel journal of mathematics, vol. 21 , pp. 319–349. - Sharaon Shelah. Whitehead groups may be not free, even assuming CH, I. Israel journal of mathematics, vol. 28 , pp. 193–204. - Saharon Shelah. Whitehead groups may not be free even assuming CH, II. Israel journal of mathematics, vol. 35 , pp. 257–285. - Saharon Shelah. On uncountable abelian groups. Israel journal of mathematics, vol. 32 , pp. 311–330. - Shai Ben-David. On Shelah's compactness of cardinals. Israel journal of mathematics, vol. 31 , pp. 34–56 and p. 394. - Howard L. Hiller and Saharon Shelah. Singular cohomology in L. Israel journal of mathematics, vol. 26 , pp. 313–319. - Howard L. Hiller, Martin Huber, and Saharon Shelah. The structure of Ext and V = L. Mathematische. [REVIEW]Ulrich Felgner - 1986 - Journal of Symbolic Logic 51 (4):1068-1070.
  8.  28
    Aronszajn trees and failure of the singular cardinal hypothesis.Itay Neeman - 2009 - Journal of Mathematical Logic 9 (1):139-157.
    The tree property at κ+ states that there are no Aronszajn trees on κ+, or, equivalently, that every κ+ tree has a cofinal branch. For singular strong limit cardinals κ, there is tension between the tree property at κ+ and failure of the singular cardinal hypothesis at κ; the former is typically the result of the presence of strongly compact cardinals in the background, and the latter is impossible above strongly compacts. In this paper, we reconcile the two. (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  9.  33
    Forcing axioms, supercompact cardinals, singular cardinal combinatorics.Matteo Viale - 2008 - Bulletin of Symbolic Logic 14 (1):99-113.
    The purpose of this communication is to present some recent advances on the consequences that forcing axioms and large cardinals have on the combinatorics of singular cardinals. I will introduce a few examples of problems in singular cardinal combinatorics which can be fruitfully attacked using ideas and techniques coming from the theory of forcing axioms and then translate the results so obtained in suitable large cardinals properties.The first example I will treat is the proof that the proper forcing (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  10.  55
    Generic embeddings associated to an indestructibly weakly compact cardinal.Gunter Fuchs - 2010 - Annals of Pure and Applied Logic 162 (1):89-105.
    I use generic embeddings induced by generic normal measures on that can be forced to exist if κ is an indestructibly weakly compact cardinal. These embeddings can be applied in order to obtain the forcing axioms in forcing extensions. This has consequences in : The Singular Cardinal Hypothesis holds above κ, and κ has a useful Jónsson-like property. This in turn implies that the countable tower works much like it does when κ is a Woodin limit of Woodin cardinals. (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  11.  61
    The tree property at successors of singular cardinals.Menachem Magidor & Saharon Shelah - 1996 - Archive for Mathematical Logic 35 (5-6):385-404.
    Assuming some large cardinals, a model of ZFC is obtained in which $\aleph_{\omega+1}$ carries no Aronszajn trees. It is also shown that if $\lambda$ is a singular limit of strongly compact cardinals, then $\lambda^+$ carries no Aronszajn trees.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   38 citations  
  12.  2
    The Strong and Super Tree Properties at Successors of Singular Cardinals.William Adkisson - forthcoming - Journal of Symbolic Logic.
    The strong tree property and ITP (also called the super tree property) are generalizations of the tree property that characterize strong compactness and supercompactness up to inaccessibility. That is, an inaccessible cardinal $\kappa $ is strongly compact if and only if the strong tree property holds at $\kappa $, and supercompact if and only if ITP holds at $\kappa $. We present several results motivated by the problem of obtaining the strong tree property and ITP at many successive cardinals (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13.  38
    Models with second order properties in successors of singulars.Rami Grossberg - 1989 - Journal of Symbolic Logic 54 (1):122-137.
    Let L(Q) be first order logic with Keisler's quantifier, in the λ + interpretation (= the satisfaction is defined as follows: $M \models (\mathbf{Q}x)\varphi(x)$ means there are λ + many elements in M satisfying the formula φ(x)). Theorem 1. Let λ be a singular cardinal; assume □ λ and GCH. If T is a complete theory in L(Q) of cardinality at most λ, and p is an L(Q) 1-type so that T strongly omits $p (= p$ has no support, (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  14.  10
    A note on sequences witnessing singularity, following Magidor and Sinapova.Moti Gitik - 2018 - Mathematical Logic Quarterly 64 (3):249-253.
    We address some questions raised in the paper by Magidor and Sinapova. An application to weak form of normality for strongly compact is given.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15. Early Medieval Philosophy 480-1150: An Introduction.John Marenbon - 1988 - New York: Routledge.
    Compact but singularly well thought out material of a theological, logical, poetic as well as philosophical nature.
     
    Export citation  
     
    Bookmark  
  16.  52
    Regular ultrafilters and finite square principles.Juliette Kennedy, Saharon Shelah & Jouko Väänänen - 2008 - Journal of Symbolic Logic 73 (3):817-823.
    We show that many singular cardinals λ above a strongly compact cardinal have regular ultrafilters D that violate the finite square principle $\square _{\lambda ,D}^{\mathit{fin}}$ introduced in [3]. For such ultrafilters D and cardinals λ there are models of size λ for which Mλ / D is not λ⁺⁺-universal and elementarily equivalent models M and N of size λ for which Mλ / D and Nλ / D are non-isomorphic. The question of the existence of such ultrafilters and models (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  17.  43
    On successors of Jónsson cardinals.J. Vickers & P. D. Welch - 2000 - Archive for Mathematical Logic 39 (6):465-473.
    We show that, like singular cardinals, and weakly compact cardinals, Jensen's core model K for measures of order zero [4] calculates correctly the successors of Jónsson cardinals, assuming $O^{Sword}$ does not exist. Namely, if $\kappa$ is a Jónsson cardinal then $\kappa^+ = \kappa^{+K}$ , provided that there is no non-trivial elementary embedding $j:K \longrightarrow K$ . There are a number of related results in ZFC concerning $\cal{P}(\kappa)$ in V and inner models, for $\kappa$ a Jónsson or singular cardinal.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  18. Against Compassion: Post-traumatic Stories in Arendt, Benjamin, Melville, and Coleridge.Andrea Timár - 2023 - Arendt Studies 6:223-246.
    The paper suggests that Samuel Taylor Coleridge’s arguments against sympathy after the French Revolution, Walter Benjamin’s claims against empathy following the traumatic shock of Modernity and the First World War, and Hannah Arendt’s critical take on compassion. after the Holocaust are similar responses to singular historical crises. Reconsidering Arendt’s On Revolution (1963) and its evocation of Hermann Melville’s novella Billy Budd (1891), I show first that the novella bears the traces of an essay by Samuel Taylor Coleridge, “The Appeal (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  19. Plural quantification and classes.Gabriel Uzquiano - 2003 - Philosophia Mathematica 11 (1):67-81.
    When viewed as the most comprehensive theory of collections, set theory leaves no room for classes. But the vocabulary of classes, it is argued, provides us with compact and, sometimes, irreplaceable formulations of largecardinal hypotheses that are prominent in much very important and very interesting work in set theory. Fortunately, George Boolos has persuasively argued that plural quantification over the universe of all sets need not commit us to classes. This paper suggests that we retain the vocabulary of classes, but (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   36 citations  
  20. Proto-Semantics for Positive Free Logic.Antonelli G. Aldo - 2000 - Journal of Philosophical Logic 29 (3):277-294.
    This paper presents a bivalent extensional semantics for positive free logic without resorting to the philosophically questionable device of using models endowed with a separate domain of "non-existing" objects. The models here introduced have only one (possibly empty) domain, and a partial reference function for the singular terms (that might be undefined at some arguments). Such an approach provides a solution to an open problem put forward by Lambert, and can be viewed as supplying a version of parametrized truth (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  21.  30
    Square in core models.Ernest Schimmerling & Martin Zeman - 2001 - Bulletin of Symbolic Logic 7 (3):305-314.
    We prove that in all Mitchell-Steel core models, □ κ holds for all κ. (See Theorem 2.). From this we obtain new consistency strength lower bounds for the failure of □ κ if κ is either singular and countably closed, weakly compact, or measurable. (Corallaries 5, 8, and 9.) Jensen introduced a large cardinal property that we call subcompactness; it lies between superstrength and supercompactness in the large cardinal hierarchy. We prove that in all Jensen core models, □ κ (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   25 citations  
  22.  39
    Canonical structure in the universe of set theory: part one.James Cummings, Matthew Foreman & Menachem Magidor - 2004 - Annals of Pure and Applied Logic 129 (1-3):211-243.
    We start by studying the relationship between two invariants isolated by Shelah, the sets of good and approachable points. As part of our study of these invariants, we prove a form of “singular cardinal compactness” for Jensen's square principle. We then study the relationship between internally approachable and tight structures, which parallels to a certain extent the relationship between good and approachable points. In particular we characterise the tight structures in terms of PCF theory and use our characterisation (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   21 citations  
  23.  16
    On the consistency strength of the Milner–Sauer conjecture.Assaf Rinot - 2006 - Annals of Pure and Applied Logic 140 (1):110-119.
    In their paper from 1981, Milner and Sauer conjectured that for any poset P,≤, if , then P must contain an antichain of cardinality κ. The conjecture is consistent and known to follow from GCH-type assumptions. We prove that the conjecture has large cardinals consistency strength in the sense that its negation implies, for example, the existence of a measurable cardinal in an inner model. We also prove that the conjecture follows from Martin’s Maximum and holds for all singular (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  24.  17
    Proto-Semantics for Positive Free Logic.G. Aldo Antonelli - 2000 - Journal of Philosophical Logic 29 (3):277-294.
    This paper presents a bivalent extensional semantics for positive free logic without resorting to the philosophically questionable device of using models endowed with a separate domain of “non-existing” objects. The models here introduced have only one (possibly empty) domain, and a partial reference function for the singular terms (that might be undefined at some arguments). Such an approach provides a solution to an open problem put forward by Lambert, and can be viewed as supplying a version of parametrized truth (...)
    Direct download  
     
    Export citation  
     
    Bookmark   10 citations  
  25. Supercompact extender based Prikry forcing.Carmi Merimovich - 2011 - Archive for Mathematical Logic 50 (5-6):591-602.
    The extender based Prikry forcing notion is being generalized to super compact extenders.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  26. Acategoriality as mental instability.Harald Atmanspacher - 2005 - Journal of Mind and Behavior 26 (3):181.
    Mental representations are based upon categories in which the state of a mental system is stable. Acategorial states, on the other hand, are distinguished by unstable behavior. A refined and compact terminology for the description of categorial and acategorial mental states and their stability properties is introduced within the framework of the theory of dynamical systems. The relevant concepts are illustrated by selected empirical observations in cognitive neuroscience. Alterations of the category of the first person singular and features of (...)
     
    Export citation  
     
    Bookmark   7 citations  
  27.  20
    Ultrafilter translations.Paolo Lipparini - 1996 - Archive for Mathematical Logic 35 (2):63-87.
    We develop a method for extending results about ultrafilters into a more general setting. In this paper we shall be mainly concerned with applications to cardinality logics. For example, assumingV=L, Gödel's Axiom of Constructibility, we prove that if λ > ωα then the logic with the quantifier “there existα many” is (λ,λ)-compact if and only if either λ is weakly compact or λ is singular of cofinality<ωα. As a corollary, for every infinite cardinals λ and μ, there exists a (...). (shrink)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  28.  20
    Wonder, imagination, and the matter of theatre in.Mary B. Moore - 2006 - Philosophy and Literature 30 (2):496-511.
    In lieu of an abstract, here is a brief excerpt of the content:Wonder, Imagination, and the Matter of Theatre in The TempestMary MooreAriel occurs. Recounting his performance of "the tempest" in Act I, scene 1 of The Tempest, he presents himself as being and action, fracturing grammar, spatial and temporal logic in ways that amaze and confound:I boarded the King's ship; now on the beak, Now in the waist, the deck, in every cabin, I flamed amazement. Sometime I'd divide, And (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  29.  28
    Expansions of algebraically closed fields II: Functions of several variables.Ya'acov Peterzil & Sergei Starchenko - 2003 - Journal of Mathematical Logic 3 (01):1-35.
    Let ℛ be an o-minimal expansion of a real closed field R. We continue here the investigation we began in [11] of differentiability with respect to the algebraically closed field [Formula: see text]. We develop the basic theory of such K-differentiability for definable functions of several variables, proving theorems on removable singularities as well as analogues of the Weierstrass preparation and division theorems for definable functions. We consider also definably meromorphic functions and prove that every definable function which is meromorphic (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  30.  3
    Aims: A Brief Metaphysics for Today.James W. Felt - 2007 - University of Notre Dame Press.
    In _Aims: A Brief Metaphysics for Today_, James W. Felt turns his attention to combining elements of Thomas Aquinas's metaphysics, especially its deep ontology, with Alfred North Whitehead's process philosophy to arrive at a new possibility for metaphysics. In his distinctive style, Felt conciselypulls together the strands of epistemology, ontology, and teleology, synthesizing these elements into his own “process-enriched Thomism.” _Aims_ does not simply discuss the strengths and weaknesses of each philosopher’s position, but blends the two into a cohesive argument (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  31. On Love and Poetry—Or, Where Philosophers Fear to Tread.Jeremy Fernando - 2011 - Continent 1 (1):27-32.
    continent. 1.1 (2011): 27-32. “My”—what does this word designate? Not what belongs to me, but what I belong to,what contains my whole being, which is mine insofar as I belong to it. Søren Kierkegaard. The Seducer’s Diary . I can’t sleep till I devour you / And I’ll love you, if you let me… Marilyn Manson “Devour” The role of poetry in the relationalities between people has a long history—from epic poetry recounting tales of yore; to emotive lyric poetry; to (...)
     
    Export citation  
     
    Bookmark  
  32.  4
    O-minimal de Rham Cohomology.Rodrigo Figueiredo - 2022 - Bulletin of Symbolic Logic 28 (4):529-529.
    O-minimal geometry generalizes both semialgebraic and subanalytic geometries, and has been very successful in solving special cases of some problems in arithmetic geometry, such as André–Oort conjecture. Among the many tools developed in an o-minimal setting are cohomology theories for abstract-definable continuous manifolds such as singular cohomology, sheaf cohomology and Čech cohomology, which have been used for instance to prove Pillay’s conjecture concerning definably compact groups. In the present thesis we elaborate an o-minimal de Rham cohomology theory for abstract-definable (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  33.  25
    Models, Mannequins, Dolls and Beautified Faces: A Semiotic and Philosophical Approach to the Sense of Beauty.Maria Giulia Dondero - 2022 - Topoi 41 (4):785-793.
    The goal of this paper is to contrast the representation of models in photography, as well as certain kinds of inanimate beauty, with the average faces constructed by algorithms serving to identify and reproduce beauty. What are the similarities and differences between inanimate objects, characterized by faces devoid of singularities and comparable to sorts of angelic faces, and the algorithmic parameters through which beauty and attractiveness are calculated and predicted? This paper will apply an enunciative semiotic analysis to photographic corpora, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  34. Wonder, Imagination, and the Matter of Theatre in The Tempest.Mary B. Moore - 2006 - Philosophy and Literature 30 (2):496-511.
    In lieu of an abstract, here is a brief excerpt of the content:Wonder, Imagination, and the Matter of Theatre in The TempestMary MooreAriel occurs. Recounting his performance of "the tempest" in Act I, scene 1 of The Tempest, he presents himself as being and action, fracturing grammar, spatial and temporal logic in ways that amaze and confound:I boarded the King's ship; now on the beak, Now in the waist, the deck, in every cabin, I flamed amazement. Sometime I'd divide, And (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  35. Logical Validity, Necessary Existence and the Nature of Propositions.Ofra Magidor - 2017 - Analysis 77 (2):379-393.
    © The Authors 2017. Published by Oxford University Press on behalf of The Analysis Trust. All rights reserved. For Permissions, please email: [email protected] Propositions, Trenton Merricks defends a certain vision of the metaphysics of propositions: propositions exist necessarily and they primitively and essentially represent the world as being a certain way. The book is compact but rich: it is packed with arguments, moves at a fast pace, yet is written with admirable clarity.While I am sympathetic to many of Merrick’s conclusions, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  36.  41
    Applications of pcf for mild large cardinals to elementary embeddings.Moti Gitik & Saharon Shelah - 2013 - Annals of Pure and Applied Logic 164 (9):855-865.
    The following pcf results are proved:1. Assume thatκ>ℵ0κ>ℵ0is a weakly compact cardinal. Letμ>2κμ>2κbe a singular cardinal of cofinality κ. Then for every regularView the MathML sourceλ sup{suppcfσ⁎-complete|a⊆Reg∩and|a|<μ}.Turn MathJax onAs an application we show that:if κ is a measurable cardinal andj:V→Mj:V→Mis the elementary embedding by a κ-complete ultrafilter over κ, then for every τ the following holds:1. ifjjis a cardinal thenj=τj=τ;2. |j|=|j)||j|=|j)|;3. for any κ-complete ultrafilter W on κ, |j|=|jW||j|=|jW|.The first two items provide affirmative answers to questions from Gitik and (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  37. The Future of Environmental Philosophy.J. Baird Callicott - 2007 - Ethics and the Environment 12 (2):119-120.
    In lieu of an abstract, here is a brief excerpt of the content:The Future of Environmental PhilosophyJ. Baird Callicott (bio)The old guy in The Graduate had just one word for Dustin Hoffman's character, Ben: "plastics." This old guy has three words for the future pursuit of environmental philosophers, young and old: global climate change (GCC).GCC is emerging as the central environmental concern of the 21st century. Back in the 20th century, E. O. Wilson's mantra was (I paraphrase) 'abrupt mass anthropogenic (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  38.  38
    Biographical Illusion and Methodological Reality.Leland De la Durantaye - 2004 - Diacritics 34 (2):3-13.
    In lieu of an abstract, here is a brief excerpt of the content:diacritics 34.2 (2006) 3-13 [Access article in PDF] Biographical Illusion and Methodological Reality Leland De La Durantaye Pierre Bourdieu. Esquisse Pour Une Auto-Analyse. Paris: Raisons d'Agir, 2004. 1 Like his student and friend Nietzsche, Jacob Burckhardt often stressed the necessity for a scholar to work in solitude. Like Nietzsche, he also possessed a gift for acidic analogy and likened the world of academia to a group of dogs sniffing (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  39.  21
    All uncountable cardinals in the Gitik model are almost Ramsey and carry Rowbottom filters.Arthur W. Apter, Ioanna M. Dimitriou & Peter Koepke - 2016 - Mathematical Logic Quarterly 62 (3):225-231.
    Using the analysis developed in our earlier paper, we show that every uncountable cardinal in Gitik's model of in which all uncountable cardinals are singular is almost Ramsey and is also a Rowbottom cardinal carrying a Rowbottom filter. We assume that the model of is constructed from a proper class of strongly compact cardinals, each of which is a limit of measurable cardinals. Our work consequently reduces the best previously known upper bound in consistency strength for the theory math (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  40.  28
    Does the topology of space fluctuate?Arlen Anderson & Bryce DeWitt - 1986 - Foundations of Physics 16 (2):91-105.
    Evidence is presented that the singularities induced in causal Lorentzian spacetimes by changes in 3-space topology give rise to infinite particle and energy production under reasonable laws of quantum field propagation. In the case of the gravitational field, if 3-space is compact the total energy must vanish. A topological transition therefore induces a violent collapse that effectively aborts the transition, since the collapse mode is the only mode carrying the negative energy needed to compensate the associated infinite energy production. The (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  41.  30
    Decomposable Ultrafilters and Possible Cofinalities.Paolo Lipparini - 2008 - Notre Dame Journal of Formal Logic 49 (3):307-312.
    We use Shelah's theory of possible cofinalities in order to solve some problems about ultrafilters. Theorem: Suppose that $\lambda$ is a singular cardinal, $\lambda ' \lessthan \lambda$, and the ultrafilter $D$ is $\kappa$ -decomposable for all regular cardinals $\kappa$ with $\lambda '\lessthan \kappa \lessthan \lambda$. Then $D$ is either $\lambda$-decomposable or $\lambda ^+$-decomposable. Corollary: If $\lambda$ is a singular cardinal, then an ultrafilter is ($\lambda$,$\lambda$)-regular if and only if it is either $\operator{cf} \lambda$-decomposable or $\lambda^+$-decomposable. We also give (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  42.  17
    Book review: Poetic Justice: The Literary Imagination and Public Life. [REVIEW]David Gorman - 1997 - Philosophy and Literature 21 (1):196-198.
    In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Poetic Justice: The Literary Imagination and Public LifeDavid GormanPoetic Justice: The Literary Imagination and Public Life, by Martha C. Nussbaum; xii & 143 pp. Boston: Beacon Press, 1995, $20.00.This volume, a revision of lectures given in 1991, is a philosophical study comparing aspects of law and literature. The law in question is contemporary American case law (hence the reference to “Public Life” in the book’s subtitle). The literature (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  43.  22
    The Popper-Carnap Controversy. [REVIEW]M. K. - 1972 - Review of Metaphysics 26 (1):166-166.
    The first chapters of Michalos’ book give an account of the controversy between Karl Popper and Rudolph Carnap following the former’s critique of Carnap in "Degree of Confirmation". Michalos very compactly summarizes the controversy and argues: 1) that Popper was mistaken when he tried to show that Carnap always identified the quantitative degree of confirmation with the acceptability of scientific theories; 2) that Popper is mistaken in accusing Carnap of confusing classificatory, comparative, and quantitative concepts; 3) that a conflict between (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  44.  9
    Square compactness and Lindelöf trees.Pedro E. Marun - forthcoming - Archive for Mathematical Logic:1-17.
    We prove that every weakly square compact cardinal is a strong limit cardinal, and therefore weakly compact. We also study Aronszajn trees with no uncountable finitely splitting subtrees, characterizing them in terms of being Lindelöf with respect to a particular topology. We prove that the class of such trees is consistently non-empty and lies between the classes of Suslin and Aronszajn trees.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45.  24
    Compactness.A. C. Paseau, and & Robert Leek - 2023 - Internet Encyclopedia of Philosophy.
    The Compactness Theorem The compactness theorem is a fundamental theorem for the model theory of classical propositional and first-order logic. As well as having importance in several areas of mathematics, such as algebra and combinatorics, it also helps to pinpoint the strength of these logics, which are the standard ones used in mathematics and arguably … Continue reading Compactness →.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  46. Singular Experiences (With and Without Objects).Angela Mendelovici - forthcoming - In Robert French & Berit Brogaard (eds.), The Roles of Representations in Visual Perception. Springer.
    Perceptual experiences seem to in some sense have singular contents. For example, a perceptual experience of a dog as fluffy seems to represent some particular dog as being fluffy. There are important phenomenological, intuitive, and semantic considerations for thinking that perceptual experiences represent singular contents, but there are also important phenomenological, epistemic, and metaphysical considerations for thinking that they do not. This paper proposes a two-tier picture of the content of singular perceptual experiences that is based on (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  47.  17
    Computably Compact Metric Spaces.Rodney G. Downey & Alexander G. Melnikov - 2023 - Bulletin of Symbolic Logic 29 (2):170-263.
    We give a systematic technical exposition of the foundations of the theory of computably compact metric spaces. We discover several new characterizations of computable compactness and apply these characterizations to prove new results in computable analysis and effective topology. We also apply the technique of computable compactness to give new and less combinatorially involved proofs of known results from the literature. Some of these results do not have computable compactness or compact spaces in their statements, and thus (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  48. Particular Thoughts & Singular Thought.M. G. F. Martin - 2002 - Royal Institute of Philosophy Supplement 51:173-214.
    A long-standing theme in discussion of perception and thought has been that our primary cognitive contact with individual objects and events in the world derives from our perceptual contact with them. When I look at a duck in front of me, I am not merely presented with the fact that there is at least one duck in the area, rather I seem to be presented withthisthing (as one might put it from my perspective) in front of me, which looks to (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   74 citations  
  49.  83
    Compact Representations of Extended Causal Models.Joseph Y. Halpern & Christopher Hitchcock - 2013 - Cognitive Science 37 (6):986-1010.
    Judea Pearl (2000) was the first to propose a definition of actual causation using causal models. A number of authors have suggested that an adequate account of actual causation must appeal not only to causal structure but also to considerations of normality. In Halpern and Hitchcock (2011), we offer a definition of actual causation using extended causal models, which include information about both causal structure and normality. Extended causal models are potentially very complex. In this study, we show how it (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  50. Singularity.Luis Herrera - 2022 - Alajuela: Cromwell Black Publishing House.
    SINGULARITY: 12 Precepts for Transcendental Living | © 2022 Cromwell Black Publishing House | Original work by Luis Herrera. -/- Living transcendentally is not the same as ‘having the answers to life.’ The intention with which this book is written is to help you identify the God within yourself. Religion is a guidepost, but not the answer. Philosophy is a guidepost, not the answer. People that over-identify with one group or tribe for ideological reasons invariably meet with disappointment because there (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000