Results for 'Covering properties'

986 found
Order:
  1.  33
    Leibniz & Clarke: A Study of Their Correspondence (review).Jan A. Cover - 1999 - Journal of the History of Philosophy 37 (3):533-535.
    In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Leibniz & Clarke: A Study of Their Correspondence by Ezio VailatiJan A. CoverEzio Vailati. Leibniz & Clarke: A Study of Their Correspondence. New York and Oxford: Oxford University Press, 1997. Pp. xii + 250. Cloth, $45.00.When Leibniz received the 1710 issue of the Royal Society’s Philosophical Transactions in early 1711, he read John Keill’s public charge that he had stolen the calculus from Newton. Leibniz twice sought amends (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  2.  28
    Covering properties of ideals.Marek Balcerzak, Barnabás Farkas & Szymon Gła̧b - 2013 - Archive for Mathematical Logic 52 (3-4):279-294.
    Elekes proved that any infinite-fold cover of a σ-finite measure space by a sequence of measurable sets has a subsequence with the same property such that the set of indices of this subsequence has density zero. Applying this theorem he gave a new proof for the random-indestructibility of the density zero ideal. He asked about other variants of this theorem concerning I-almost everywhere infinite-fold covers of Polish spaces where I is a σ-ideal on the space and the set of indices (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  3.  26
    Selective covering properties of product spaces.Arnold W. Miller, Boaz Tsaban & Lyubomyr Zdomskyy - 2014 - Annals of Pure and Applied Logic 165 (5):1034-1057.
    We study the preservation of selective covering properties, including classic ones introduced by Menger, Hurewicz, Rothberger, Gerlits and Nagy, and others, under products with some major families of concentrated sets of reals.Our methods include the projection method introduced by the authors in an earlier work, as well as several new methods. Some special consequences of our main results are : Every product of a concentrated space with a Hurewicz S1S1 space satisfies S1S1. On the other hand, assuming the (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  4. Covering Properties of Core Models.Ernest Schimmerling, Peter Koepke, William J. Mitchell & John R. Steel - 2004 - Bulletin of Symbolic Logic 10 (4):583-588.
  5.  30
    Covering properties of $$omega $$ω -mad families.Leandro Aurichi & Lyubomyr Zdomskyy - 2020 - Archive for Mathematical Logic 59 (3-4):445-452.
    We prove that Martin’s Axiom implies the existence of a Cohen-indestructible mad family such that the Mathias forcing associated to its filter adds dominating reals, while \ is consistent with the negation of this statement as witnessed by the Laver model for the consistency of Borel’s conjecture.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  18
    On the minimal cover property and certain notions of finite.Eleftherios Tachtsis - 2018 - Archive for Mathematical Logic 57 (5-6):665-686.
    In set theory without the axiom of choice, we investigate the deductive strength of the principle “every topological space with the minimal cover property is compact”, and its relationship with certain notions of finite as well as with properties of linearly ordered sets and partially ordered sets.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  7.  27
    Shelah's strong covering property and CH in V [r ].Esfandiar Eslami & Mohammad Golshani - 2012 - Mathematical Logic Quarterly 58 (3):153-158.
    In this paper we review Shelah's strong covering property and its applications. We also extend some of the results of Shelah and Woodin on the failure of equation image by adding a real.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  33
    Mathias forcing and combinatorial covering properties of filters.David Chodounský, Dušan Repovš & Lyubomyr Zdomskyy - 2015 - Journal of Symbolic Logic 80 (4):1398-1410.
    We give topological characterizations of filters${\cal F}$onωsuch that the Mathias forcing${M_{\cal F}}$adds no dominating reals or preserves ground model unbounded families. This allows us to answer some questions of Brendle, Guzmán, Hrušák, Martínez, Minami, and Tsaban.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  9.  16
    Null Sets and Combinatorial Covering Properties.Piotr Szewczak & Tomasz Weiss - 2022 - Journal of Symbolic Logic 87 (3):1231-1242.
    A subset of the Cantor cube is null-additive if its algebraic sum with any null set is null. We construct a set of cardinality continuum such that: all continuous images of the set into the Cantor cube are null-additive, it contains a homeomorphic copy of a set that is not null-additive, and it has the property $\unicode{x3b3} $, a strong combinatorial covering property. We also construct a nontrivial subset of the Cantor cube with the property $\unicode{x3b3} $ that is (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10.  11
    The diamond covering property axiom.Janusz Pawlikowski - 2016 - Mathematical Logic Quarterly 62 (4-5):407-411.
    The Covering Property Axiom, which attempts to capture some of the combinatorics of the Sacks model, the model obtained from by countable support iteration of length of the Sacks forcing, seems to miss a Suslin tree. We add a diamond polish to the axiom to remedy this.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11.  28
    Menger's Covering Property and Groupwise Density.Boaz Tsaban & Lyubomyr Zdomskyy - 2006 - Journal of Symbolic Logic 71 (3):1053 - 1056.
    We establish a surprising connection between Menger's classical covering property and Blass-Laflamme's modern combinatorial notion of groupwise density. This connection implies a short proof of the groupwise density bound on the additivity number for Menger's property.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  12. Transfering Saturation, The Finite Cover Property, and Stability.John Baldwin, Rami Grossberg & Saharon Shelah - 1999 - Journal of Symbolic Logic 64 (2):678-684.
    $\underline{\text{Saturation is} -\text{transferable in} T}$ if and only if there is an expansion T$_1$ of T with $\mid T_1 \mid$ = $\mid T \mid$ such that if M is a $\mu$-saturated model of T$_1$ and $\mid M \mid \geq \kappa$ then the reduct M $\mid L$ is $\kappa$-saturated. We characterize theories which are superstable without f.c.p., or without f.c.p. as, respectively those where saturation is - transferable or, \lambda$)-transferable for all $\lambda$. Further if for some $\mu \geq \mid T \mid, (...)
     
    Export citation  
     
    Bookmark  
  13.  53
    Transfering saturation, the finite cover property, and stability.John T. Baldwin, Rami Grossberg & Saharon Shelah - 1999 - Journal of Symbolic Logic 64 (2):678-684.
    $\underline{\text{Saturation is} (\mu, \kappa)-\text{transferable in} T}$ if and only if there is an expansion T 1 of T with ∣ T 1 ∣ = ∣ T ∣ such that if M is a μ-saturated model of T 1 and ∣ M ∣ ≥ κ then the reduct M ∣ L(T) is κ-saturated. We characterize theories which are superstable without f.c.p., or without f.c.p. as, respectively those where saturation is (ℵ 0 , λ)- transferable or (κ (T), λ)-transferable for all λ. (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  14.  41
    The Jensen covering property.E. Schimmerling & W. H. Woodin - 2001 - Journal of Symbolic Logic 66 (4):1505-1523.
  15.  19
    Ernest Schimmerling. Covering properties of core models. Sets and proofs. (Leeds, 1997), London Mathematical Society Lecture Note Series 258. Cambridge University Press, Cambridge, 1999, pp. 281–299. - Peter Koepke. An introduction to extenders and core models for extender sequences. Logic Colloquium '87 (Granada, 1987), Studies in Logic and the Foundations of Mathematics 129. North-Holland, Amsterdam, 1989, pp. 137–182. - William J. Mitchell. The core model up to a Woodin cardinal. Logic, methodology and philosophy of science, IX (Uppsala, 1991), Studies in Logic and the Foundations of Mathematics 134, North-Holland, Amsterdam, 1994, pp. 157–175. - Benedikt Löwe and John R. Steel. An introduction to core model theory. Sets and proofs (Leeds, 1997), London Mathematical Society Lecture Note Series 258, Cambridge University Press, Cambridge, 1999, pp. 103–157. - John R. Steel. Inner models with many Woodin cardinals. Annals of Pure and Applied Logic, vol. 65 no. 2 (1993), pp. 185–209. -.Martin Zeman - 2004 - Bulletin of Symbolic Logic 10 (4):583-588.
  16.  13
    Chang's model and covering properties.Claude Sureson - 1989 - Annals of Pure and Applied Logic 42 (1):45-79.
  17.  33
    On the Weak Non-Finite Cover Property and the n-Tuples of Simple Structures.Evgueni Vassiliev - 2005 - Journal of Symbolic Logic 70 (1):235 - 251.
    The weak non-finite cover property (wnfcp) was introduced in [1] in connection with "axiomatizability" of lovely pairs of models of a simple theory. We find a combinatorial condition on a simple theory equivalent to the wnfcp, yielding a direct proof that the non-finite cover property implies the wnfcp, and that the wnfcp is preserved under reducts. We also study the question whether the wnfcp is preserved when passing from a simple theory T to the theory TP of lovely pairs of (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  18.  13
    Ernest Schimmerling. Covering properties of core models. Sets and proofs. , London Mathematical Society Lecture Note Series 258. Cambridge University Press, Cambridge, 1999, pp. 281–299. - Peter Koepke. An introduction to extenders and core models for extender sequences. Logic Colloquium '87 , Studies in Logic and the Foundations of Mathematics 129. North-Holland, Amsterdam, 1989, pp. 137–182. - William J. Mitchell. The core model up to a Woodin cardinal. Logic, methodology and philosophy of science, IX , Studies in Logic and the Foundations of Mathematics 134, North-Holland, Amsterdam, 1994, pp. 157–175. - Benedikt Löwe and John R. Steel. An introduction to core model theory. Sets and proofs , London Mathematical Society Lecture Note Series 258, Cambridge University Press, Cambridge, 1999, pp. 103–157. - John R. Steel. Inner models with many Woodin cardinals. Annals of Pure and Applied Logic, vol. 65 no. 2 , pp. 185–209. - Ernest Schimmerling. Combinatorial principles in the core mode. [REVIEW]Martin Zeman - 2004 - Bulletin of Symbolic Logic 10 (4):583-588.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  19.  49
    Combinatorial properties of filters and open covers for sets of real numbers.Claude Laflamme & Marion Scheepers - 1999 - Journal of Symbolic Logic 64 (3):1243-1260.
    We analyze combinatorial properties of open covers of sets of real numbers by using filters on the natural numbers. In fact, the goal of this paper is to characterize known properties related to ω-covers of the space in terms of combinatorial properties of filters associated with these ω-covers. As an example, we show that all finite powers of a set R of real numbers have the covering property of Menger if, and only if, each filter on (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  20.  60
    Gabriel Debs and Jean Saint Raymond. Compact covering mappings and cofinal families of compact subsets of a Borel set. Fundamenta Mathematicae, vol. 167, no. 3 (2001), pp. 213–249. - Gabriel Debs and Jean Saint Raymond. Compact covering mappings between Borel spaces. Acta Universitatis Carolinae. Mathematica et Physica, vol. 40, no. 2 (1999), pp. 53–64. - Gabriel Debs and Jean Saint Raymond. Cofinal and subsets of ω ω. Fundamenta Mathematicae, vol. 159, no. 2 (1999), pp. 161–193. - Gabriel Debs and Jean Saint Raymond. Compact-covering-properties of finite-to-one mappings. Topology and its Applications, vol. 81, no. 1 (1997), pp. 55–84. - Gabriel Debs and Jean Saint Raymond. Some applications of game determinacy. Acta Universitatis Carolinae. Mathematica et Physica, vol. 37, no. 2 (1996), pp. 7–23. - Gabriel Debs and Jean Saint Raymond. Compact covering and game determinacy. Topology and its Applications, vol. 68, no. 2 (1996), pp. 153–185. - Gabriel Debs and Jean Saint Raymond. Compact. [REVIEW]Ilijas Farah - 2004 - Bulletin of Symbolic Logic 10 (3):430-434.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  21.  10
    Additive Covers and the Canonical Base Property.Michael Loesch - 2023 - Journal of Symbolic Logic 88 (1):118-144.
    We give a new approach to the failure of the Canonical Base Property (CBP) in the so far only known counterexample, produced by Hrushovski, Palacín and Pillay. For this purpose, we will give an alternative presentation of the counterexample as an additive cover of an algebraically closed field. We isolate two fundamental weakenings of the CBP, which already appeared in work of Chatzidakis and Moosa-Pillay and show that they do not hold in the counterexample. In order to do so, a (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22.  70
    Weak covering and the tree property.Ralf-Dieter Schindler - 1999 - Archive for Mathematical Logic 38 (8):515-520.
    Suppose that there is no transitive model of ZFC + there is a strong cardinal, and let K denote the core model. It is shown that if $\delta$ has the tree property then $\delta^{+K} = \delta^+$ and $\delta$ is weakly compact in K.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  23.  63
    Reviewed Work(s): Lowness properties and randomness. Advances in Mathematics, vol. 197 by André Nies; Lowness for the class of Schnorr random reals. SIAM Journal on Computing, vol. 35 by Bjørn Kjos-Hanssen; André Nies; Frank Stephan; Lowness for Kurtz randomness. The Journal of Symbolic Logic, vol. 74 by Noam Greenberg; Joseph S. Miller; Randomness and lowness notions via open covers. Annals of Pure and Applied Logic, vol. 163 by Laurent Bienvenu; Joseph S. Miller; Relativizations of randomness and genericity notions. The Bulletin of the London Mathematical Society, vol. 43 by Johanna N. Y. Franklin; Frank Stephan; Liang Yu; Randomness notions and partial relativization. Israel Journal of Mathematics, vol. 191 by George Barmpalias; Joseph S. Miller; André Nies. [REVIEW]Johanna N. Y. Franklin - forthcoming - Association for Symbolic Logic: The Bulletin of Symbolic Logic.
    Review by: Johanna N. Y. Franklin The Bulletin of Symbolic Logic, Volume 19, Issue 1, Page 115-118, March 2013.
    Direct download  
     
    Export citation  
     
    Bookmark  
  24.  23
    André Nies. Lowness properties and randomness. Advances in Mathematics, vol. 197 , no. 1, pp. 274–305. - Bjørn Kjos-Hanssen, André Nies, and Frank Stephan. Lowness for the class of Schnorr random reals. SIAM Journal on Computing, vol. 35 , no. 3, pp. 647–657. - Noam Greenberg and Joseph S. Miller. Lowness for Kurtz randomness. The Journal of Symbolic Logic, vol. 74 , no. 2, pp. 665–678. - Laurent Bienvenu and Joseph S. Miller. Randomness and lowness notions via open covers. Annals of Pure and Applied Logic, vol. 163 , no. 5, pp. 506–518. - Johanna N. Y. Franklin, Frank Stephan, and Liang. Yu Relativizations of randomness and genericity notions. The Bulletin of the London Mathematical Society, vol. 43 , no. 4, pp. 721–733. - George Barmpalias, Joseph S. Miller, and André Nies. Randomness notions and partial relativization. Israel Journal of Mathematics, vol. 191 , no. 2, pp. 791–816. [REVIEW]Johanna N. Y. Franklin - 2013 - Bulletin of Symbolic Logic 19 (1):115-118.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25.  66
    Quantum Covers in Quantum Measure Theory.Sumati Surya & Petros Wallden - 2010 - Foundations of Physics 40 (6):585-606.
    Sorkin’s recent proposal for a realist interpretation of quantum theory, the anhomomorphic logic or coevent approach, is based on the idea of a “quantum measure” on the space of histories. This is a generalisation of the classical measure to one which admits pair-wise interference and satisfies a modified version of the Kolmogorov probability sum rule. In standard measure theory the measure on the base set Ω is normalised to one, which encodes the statement that “Ω happens”. Moreover, the Kolmogorov sum (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  26.  33
    On Finite Model Property for Admissible Rules.Vladimir V. Rybakov, Vladimir R. Kiyatkin & Tahsin Oner - 1999 - Mathematical Logic Quarterly 45 (4):505-520.
    Our investigation is concerned with the finite model property with respect to admissible rules. We establish general sufficient conditions for absence of fmp w. r. t. admissibility which are applicable to modal logics containing K4: Theorem 3.1 says that no logic λ containing K4 with the co-cover property and of width > 2 has fmp w. r. t. admissibility. Surprisingly many, if not to say all, important modal logics of width > 2 are within the scope of this theorem–K4 itself, (...)
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  27.  48
    Vapnik–Chervonenkis Density in Some Theories without the Independence Property, II.Matthias Aschenbrenner, Alf Dolich, Deirdre Haskell, Dugald Macpherson & Sergei Starchenko - 2013 - Notre Dame Journal of Formal Logic 54 (3-4):311-363.
    We study the Vapnik–Chervonenkis density of definable families in certain stable first-order theories. In particular, we obtain uniform bounds on the VC density of definable families in finite $\mathrm {U}$-rank theories without the finite cover property, and we characterize those abelian groups for which there exist uniform bounds on the VC density of definable families.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  28.  21
    R. Dougherty and A. S. Kechris. Hausdorff measures and sets of uniqueness for trigonometric series. Proceedings of the American Mathematical Society, vol. 105 (1989), pp. 894–897. - Alexander S. Kechris and Alain Louveau. Covering theorems for uniqueness and extended uniqueness sets. Colloquium mathematicum, vol. 59 (1990), pp. 63–79. - Alexander S. Kechris. Hereditary properties of the class of closed sets of uniqueness for trigonometric series. Israel journal of mathematics, vol. 73 (1991), pp. 189–198. - A. S. Kechris and A. Louveau. Descriptive set theory and harmonic analysis. The journal of symbolic logic, vol. 57 (1992), pp. 413–441. [REVIEW]Howard S. Becker - 2002 - Bulletin of Symbolic Logic 8 (1):94-95.
  29.  16
    Covers of Abelian varieties as analytic Zariski structures.Misha Gavrilovich - 2012 - Annals of Pure and Applied Logic 163 (11):1524-1548.
    We use tools of mathematical logic to analyse the notion of a path on a complex algebraic variety, and are led to formulate a “rigidity” property of fundamental groups specific to algebraic varieties, as well as to define a bona fide topology closely related to etale topology. These appear as criteria for ℵ1-categoricity, or rather stability and homogeneity, of the formal countable language we propose to describe homotopy classes of paths on a variety, or equivalently, its universal covering space.Technically, (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  30.  34
    Narrow coverings of ω-ary product spaces.Randall Dougherty - 1997 - Annals of Pure and Applied Logic 88 (1):47-91.
    Results of Sierpiski and others have shown that certain finite-dimensional product sets can be written as unions of subsets, each of which is ‘narrow’ in a corresponding direction; that is, each line in that direction intersects the subset in a small set. For example, if the set ω × ω is partitioned into two pieces along the diagonal, then one piece meets every horizontal line in a finite set, and the other piece meets each vertical line in a finite set. (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  31.  21
    Properties, Powers and Structures: Issues in the Metaphysics of Realism.Alexander Bird, Brian David Ellis & Howard Sankey (eds.) - 2013 - New York: Routledge.
    While the phrase "metaphysics of science" has been used from time to time, it has only recently begun to denote a specific research area where metaphysics meets philosophy of science—and the sciences themselves. The essays in this volume demonstrate that metaphysics of science is an innovative field of research in its own right. The principle areas covered are: The modal metaphysics of properties: What is the essential nature of natural properties? Are all properties essentially categorical? Are they (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  32.  69
    Finite conformal hypergraph covers and Gaifman cliques in finite structures.Ian Hodkinson & Martin Otto - 2003 - Bulletin of Symbolic Logic 9 (3):387-405.
    We provide a canonical construction of conformal covers for finite hypergraphs and present two immediate applications to the finite model theory of relational structures. In the setting of relational structures, conformal covers serve to construct guarded bisimilar companion structures that avoid all incidental Gaifman cliques-thus serving as a partial analogue in finite model theory for the usually infinite guarded unravellings. In hypergraph theoretic terms, we show that every finite hypergraph admits a bisimilar cover by a finite conformal hypergraph. In terms (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  33.  57
    Additivity properties of topological diagonalizations.Tomek Bartoszynski, Saharon Shelah & Boaz Tsaban - 2003 - Journal of Symbolic Logic 68 (4):1254-1260.
    We answer a question of Just, Miller, Scheepers and Szeptycki whether certain diagonalization properties for sequences of open covers are provably closed under taking finite or countable unions.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  34.  14
    An Introduction to Property Theory.Gregory S. Alexander & Eduardo M. Peñalver - 2012 - Cambridge University Press.
    This book surveys the leading modern theories of property - Lockean, libertarian, utilitarian/law-and-economics, personhood, Kantian and human flourishing - and then applies those theories to concrete contexts in which property issues have been especially controversial. These include redistribution, the right to exclude, regulatory takings, eminent domain and intellectual property. The book highlights the Aristotelian human flourishing theory of property, providing the most comprehensive and accessible introduction to that theory to date. The book's goal is neither to cover every conceivable theory (...)
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  35.  21
    Amalgamation properties and finite models in L n -theories.John Baldwin & Olivier Lessmann - 2002 - Archive for Mathematical Logic 41 (2):155-167.
    Djordjević [Dj 1] proved that under natural technical assumptions, if a complete L n -theory is stable and has amalgamation over sets, then it has arbitrarily large finite models. We extend his study and prove the existence of arbitrarily large finite models for classes of models of L n -theories (maybe omitting types) under weaker amalgamation properties. In particular our analysis covers the case of vector spaces.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  36. Personhood, property rights, and the permissibility of abortion.Paul A. Roth - 1983 - Law and Philosophy 2 (2):163 - 191.
    The purpose of this paper is to argue that the tactic of granting a fetus the legal status of a person will not, contrary to the expectations of opponents of abortion, provide grounds for a general prohibition on abortions. I begin by examining two arguments, one moral (J. J. Thomson's A Defense of Abortion) and the other legal (D. Regan's Rewriting Roe v. Wade), which grant the assumption that a fetus is a person and yet argue to the conclusion that (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  37.  67
    Reply to Cover’s 1993 Review of Leibniz’s Metaphysics.Catherine Wilson - 1994 - The Leibniz Review 4:5-8.
    It is an honor to have been given the opportunity by the editor to reply to J.A. Cover’s review of Leibniz’s Metaphysics, and to have a chance to revisit, five years after the book’s publication, the still-active battleground of intrinsic and extrinsic properties, the extensionality and intensionality of perception, and the reality of aggregates and to say more, a little informally perhaps, about about some methodological questions in Leibniz scholarship. Cover’s review when it appeared gave me a great deal (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  38.  10
    The Embedding Property for Sorted Profinite Groups.L. E. E. Junguk - 2023 - Journal of Symbolic Logic 88 (3):1005-1037.
    We study the embedding property in the category of sorted profinite groups. We introduce a notion of the sorted embedding property (SEP), analogous to the embedding property for profinite groups. We show that any sorted profinite group has a universal SEP-cover. Our proof gives an alternative proof for the existence of a universal embedding cover of a profinite group. Also our proof works for any full subcategory of the sorted profinite groups, which is closed under taking finite quotients, fibre products, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39.  12
    Reply to Cover’s 1993 Review of Leibniz’s Metaphysics.Catherine Wilson - 1994 - The Leibniz Review 4:5-8.
    It is an honor to have been given the opportunity by the editor to reply to J.A. Cover’s review of Leibniz’s Metaphysics, and to have a chance to revisit, five years after the book’s publication, the still-active battleground of intrinsic and extrinsic properties, the extensionality and intensionality of perception, and the reality of aggregates and to say more, a little informally perhaps, about about some methodological questions in Leibniz scholarship. Cover’s review when it appeared gave me a great deal (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  40.  9
    Psychometric properties of the Jonsson-Abbott Scale: Rasch and confirmatory factor analyses.David Forsström, Anders Kottorp, Alexander Rozental, Philip Lindner, Markus Jansson-Fröjmark & Per Carlbring - 2022 - Frontiers in Psychology 13.
    Measuring and assessing the different aspects of gambling behavior and its consequences is crucial for planning prevention, treatment, and understanding the development of at-risk and problem gambling. Studies indicate that instruments measuring problem gambling produce different results based on the characteristics of the population assessed. To accurately measure at-risk and problem gambling behavior, especially in a low-risk population, measures must cover a wider set of dimensions than the negative consequences already manifest. The Jonsson-Abbott Scale includes items that cover overconsumption, actions (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  41.  52
    Properties of ideals on the generalized Cantor spaces.Jan Kraszewski - 2001 - Journal of Symbolic Logic 66 (3):1303-1320.
    We define a class of productive σ-ideals of subsets of the Cantor space 2 ω and observe that both σ-ideals of meagre sets and of null sets are in this class. From every productive σ-ideal I we produce a σ-ideal I κ , of subsets of the generalized Cantor space 2 κ . In particular, starting from meagre sets and null sets in 2 ω we obtain meagre sets and null sets in 2 κ , respectively. Then we investigate additivity, (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  42.  40
    Intellectual Property, Fee or Free?Judy Anderson - 2012 - Journal of Information Ethics 21 (2):114-121.
    Changes in attitude toward intellectual property are covered here.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43.  7
    Certain Types of Covering-Based Multigranulation ( ℐ, T )-Fuzzy Rough Sets with Application to Decision-Making.Jue Ma, Mohammed Atef, Shokry Nada & Ashraf Nawar - 2020 - Complexity 2020:1-20.
    As a generalization of Zhan’s method, the present paper aims to define the family of complementary fuzzy β -neighborhoods and thus three kinds of covering-based multigranulation -fuzzy rough sets models are established. Their axiomatic properties are investigated. Also, six kinds of covering-based variable precision multigranulation -fuzzy rough sets are defined and some of their properties are studied. Furthermore, the relationships among our given types are discussed. Finally, a decision-making algorithm is presented based on the proposed operations (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  44.  40
    Issues of Intellectual Property Law in the Jurisprudence of the Constitutional Court of the Republic of Lithuania.Vytautas Mizaras - 2012 - Jurisprudencija: Mokslo darbu žurnalas 19 (3):1111-1130.
    This article focuses on the analysis of the main positions of the Constitutional Court of the Republic of Lithuania in the cases of intellectual property law. In the article three judgments and the positions of the Constitutional Court extracted therefrom are analysed. The Constitutional Court has formed several important positions with reference to intellectual property law regarding usage of property protection norms for the protection of intellectual property, requirements of application of compensation as an alternative to damages compensation and the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  45.  30
    The definable multiplicity property and generic automorphisms.Hirotaka Kikyo & Anand Pillay - 2000 - Annals of Pure and Applied Logic 106 (1-3):263-273.
    Let T be a strongly minimal theory with quantifier elimination. We show that the class of existentially closed models of T{“σ is an automorphism”} is an elementary class if and only if T has the definable multiplicity property, as long as T is a finite cover of a strongly minimal theory which does have the definable multiplicity property. We obtain cleaner results working with several automorphisms, and prove: the class of existentially closed models of T{“σi is an automorphism”: i=1,2} is (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  46. Complex systems from the perspective of category theory: II. Covering systems and sheaves.Elias Zafiris - 2005 - Axiomathes 15 (2):181-190.
    Using the concept of adjunction, for the comprehension of the structure of a complex system, developed in Part I, we introduce the notion of covering systems consisting of partially or locally defined adequately understood objects. This notion incorporates the necessary and sufficient conditions for a sheaf theoretical representation of the informational content included in the structure of a complex system in terms of localization systems. Furthermore, it accommodates a formulation of an invariance property of information communication concerning the analysis (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  47.  50
    On after-trial properties of best Neyman-Pearson confidence intervals.Teddy Seidenfeld - 1981 - Philosophy of Science 48 (2):281-291.
    On pp. 55–58 of Philosophical Problems of Statistical Inference, I argue that in light of unsatisfactory after-trial properties of “best” Neyman-Pearson confidence intervals, we can strengthen a traditional criticism of the orthodox N-P theory. The criticism is that, once particular data become available, we see that the pre-trial concern for tests of maximum power may then misrepresent the conclusion of such a test. Specifically, I offer a statistical example where there exists a Uniformly Most Powerful test, a test of (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  48.  79
    Set theoretic properties of Loeb measure.Arnold W. Miller - 1990 - Journal of Symbolic Logic 55 (3):1022-1036.
    In this paper we ask the question: to what extent do basic set theoretic properties of Loeb measure depend on the nonstandard universe and on properties of the model of set theory in which it lies? We show that, assuming Martin's axiom and κ-saturation, the smallest cover by Loeb measure zero sets must have cardinality less than κ. In contrast to this we show that the additivity of Loeb measure cannot be greater than ω 1 . Define $\operatorname{cof}(H)$ (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  49.  15
    Amalgamation and Robinson property in universal algebraic logic.Zalán Gyenis & Övge Öztürk - forthcoming - Logic Journal of the IGPL.
    There is a well-established correspondence between interpolation and amalgamation for algebraizable logics that satisfy certain additional assumptions. In this paper, we introduce the Robinson property of a logic and show that a conditionally algebraizable logic without any additional assumptions has the Robinson property if and only if the corresponding class of Lindenbaum–Tarski algebras has the amalgamation property. Moreover, we give the logical characterization of the strong amalgamation property, solving an open problem of Andréka–Németi–Sain. It is also shown that given the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  50. Swinburne on Substances, Properties, and Structures.William Jaworski - 2014 - European Journal for Philosophy of Religion 6 (2):17-28.
    Mind, Brain, and Free Will, Richard Swinburne’s stimulating new book, covers a great deal of territory. I’ll focus on some of the positions Swinburne defends in the philosophy of mind. Many philosophers are likely to have reservations about the arguments he uses to defend them, and others will think his basic position is unmotivated. My goal in this brief discussion is to articulate some of the reasons why.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
1 — 50 / 986