Results for 'known elements of a set X⊆N whose infiniteness is false or unproven'

995 found
Order:
  1.  11
    P-points, MAD families and Cardinal Invariants.Osvaldo Guzmán González - 2022 - Bulletin of Symbolic Logic 28 (2):258-260.
    The main topics of this thesis are cardinal invariants, P -points and MAD families. Cardinal invariants of the continuum are cardinal numbers that are bigger than $\aleph _{0}$ and smaller or equal than $\mathfrak {c}.$ Of course, they are only interesting when they have some combinatorial or topological definition. An almost disjoint family is a family of infinite subsets of $\omega $ such that the intersection of any two of its elements is finite. A MAD family is a maximal (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  69
    On the Kleene degrees of Π 1 1 sets.Theodore A. Slaman - 1986 - Journal of Symbolic Logic 51 (2):352-359.
    Let A and B be subsets of the reals. Say that A κ ≥ B, if there is a real a such that the relation "x ∈ B" is uniformly Δ 1 (a, A) in L[ ω x,a,A 1 , x,a,A]. This reducibility induces an equivalence relation $\equiv_\kappa$ on the sets of reals; the $\equiv_\kappa$ -equivalence class of a set is called its Kleene degree. Let K be the structure that consists of the Kleene degrees and the induced partial order (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  3. Object-Oriented France: The Philosophy of Tristan Garcia.Graham Harman - 2012 - Continent 2 (1):6-21.
    continent. 2.1 (2012): 6–21. The French philosopher and novelist Tristan Garcia was born in Toulouse in 1981. This makes him rather young to have written such an imaginative work of systematic philosophy as Forme et objet , 1 the latest entry in the MétaphysiqueS series at Presses universitaires de France. But this reference to Garcia’s youthfulness is not a form of condescension: by publishing a complete system of philosophy in the grand style, he has already done what none of us (...)
     
    Export citation  
     
    Bookmark  
  4.  15
    Some implications of Ramsey Choice for families of $$\varvec{n}$$ -element sets.Lorenz Halbeisen & Salome Schumacher - 2023 - Archive for Mathematical Logic 62 (5):703-733.
    For \(n\in \omega \), the weak choice principle \(\textrm{RC}_n\) is defined as follows: _For every infinite set_ _X_ _there is an infinite subset_ \(Y\subseteq X\) _with a choice function on_ \([Y]^n:=\{z\subseteq Y:|z|=n\}\). The choice principle \(\textrm{C}_n^-\) states the following: _For every infinite family of_ _n_-_element sets, there is an infinite subfamily_ \({\mathcal {G}}\subseteq {\mathcal {F}}\) _with a choice function._ The choice principles \(\textrm{LOC}_n^-\) and \(\textrm{WOC}_n^-\) are the same as \(\textrm{C}_n^-\), but we assume that the family \({\mathcal {F}}\) is linearly orderable (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  83
    Husserl’s Analysis of The Inner Time-Consciousness.J. N. Findlay - 1975 - The Monist 59 (1):3-20.
    The present article is an attempt to set forth and examine the conclusions of what is perhaps Husserl’s finest piece of philosophical investigation, and one of the finest pieces in the whole history of philosophy: the investigation of the consciousness of time, with its extraordinary combination of an unchanging form with an absolute flux of which it is none other than the very form itself. This investigation puts Husserl on a level with the wisest heads on the matter, with Aristotle (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6. Political Poetry: A Few Notes. Poetics for N30.Jeroen Mettes - 2012 - Continent 2 (1):29-35.
    continent. 2.1 (2012): 29–35. Translated by Vincent W.J. van Gerven Oei from Jeroen Mettes. "Politieke Poëzie: Enige aantekeningen, Poëtica bij N30 (versie 2006)." In Weerstandbeleid: Nieuwe kritiek . Amsterdam: De wereldbibliotheek, 2011. Published with permission of Uitgeverij Wereldbibliotheek, Amsterdam. L’égalité veut d’autres lois . —Eugène Pottier The modern poem does not have form but consistency (that is sensed), no content but a problem (that is developed). Consistency + problem = composition. The problem of modern poetry is capitalism. Capitalism—which has no (...)
     
    Export citation  
     
    Bookmark  
  7.  16
    On Ramsey choice and partial choice for infinite families of n -element sets.Lorenz Halbeisen & Eleftherios Tachtsis - 2020 - Archive for Mathematical Logic 59 (5-6):583-606.
    For an integer \, Ramsey Choice\ is the weak choice principle “every infinite setxhas an infinite subset y such that\ has a choice function”, and \ is the weak choice principle “every infinite family of n-element sets has an infinite subfamily with a choice function”. In 1995, Montenegro showed that for \, \. However, the question of whether or not \ for \ is still open. In general, for distinct \, not even the status of “\” or “\” is (...). In this paper, we provide partial answers to the above open problems and among other results, we establish the following:1.For every integer \, if \ is true for all integers i with \, then \ is true for all integers i with \.2.If \ are any integers such that for some prime p we have \ and \, then in \: \ and \.3.For \, \\\ implies \, and \ implies neither \ nor \ in \.4.For every integer \, \ implies “every infinite linearly orderable family of k-element sets has a partial Kinna–Wagner selection function” and the latter implication is not reversible in \ ). In particular, \ strictly implies “every infinite linearly orderable family of 3-element sets has a partial choice function”.5.The Chain-AntiChain Principle implies neither \ nor \ in \, for every integer \. (shrink)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  8.  10
    The permutations with n_ non‐fixed points and the subsets with _n elements of a set.Supakun Panasawatwong & Pimpen Vejjajiva - 2023 - Mathematical Logic Quarterly 69 (3):341-346.
    We write and for the cardinalities of the set of permutations with n non‐fixed points and the set of subsets with n elements, respectively, of a set which is of cardinality, where n is a natural number greater than 1. With the Axiom of Choice, and are equal for all infinite cardinals. We show, in ZF, that if is assumed, then for any infinite cardinal. Moreover, the assumption cannot be removed for and the superscript cannot be replaced by n. (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9.  11
    Rogers semilattices of families of two embedded sets in the Ershov hierarchy.Serikzhan A. Badaev, Mustafa Manat & Andrea Sorbi - 2012 - Mathematical Logic Quarterly 58 (4-5):366-376.
    Let a be a Kleene's ordinal notation of a nonzero computable ordinal. We give a sufficient condition on a, so that for every \documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}$\Sigma ^{-1}_a$\end{document}‐computable family of two embedded sets, i.e., two sets A, B, with A properly contained in B, the Rogers semilattice of the family is infinite. This condition is satisfied by every notation of ω; moreover every nonzero computable ordinal that is not sum of any two smaller ordinals has a notation that satisfies this condition. On the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  10. Objects as Temporary Autonomous Zones.Tim Morton - 2011 - Continent 1 (3):149-155.
    continent. 1.3 (2011): 149-155. The world is teeming. Anything can happen. John Cage, “Silence” 1 Autonomy means that although something is part of something else, or related to it in some way, it has its own “law” or “tendency” (Greek, nomos ). In their book on life sciences, Medawar and Medawar state, “Organs and tissues…are composed of cells which…have a high measure of autonomy.”2 Autonomy also has ethical and political valences. De Grazia writes, “In Kant's enormously influential moral philosophy, autonomy (...)
     
    Export citation  
     
    Bookmark  
  11. On the weak Kleene scheme in Kripke's theory of truth.James Cain & Zlatan Damnjanovic - 1991 - Journal of Symbolic Logic 56 (4):1452-1468.
    It is well known that the following features hold of AR + T under the strong Kleene scheme, regardless of the way the language is Gödel numbered: 1. There exist sentences that are neither paradoxical nor grounded. 2. There are 2ℵ0 fixed points. 3. In the minimal fixed point the weakly definable sets (i.e., sets definable as {n∣ A(n) is true in the minimal fixed point where A(x) is a formula of AR + T) are precisely the Π1 1 (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  12. Plato’s Metaphysical Development before Middle Period Dialogues.Mohammad Bagher Ghomi - manuscript
    Regarding the relation of Plato’s early and middle period dialogues, scholars have been divided to two opposing groups: unitarists and developmentalists. While developmentalists try to prove that there are some noticeable and even fundamental differences between Plato’s early and middle period dialogues, the unitarists assert that there is no essential difference in there. The main goal of this article is to suggest that some of Plato’s ontological as well as epistemological principles change, both radically and fundamentally, between the early and (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  13. πολλαχῶς ἔστι; Plato’s Neglected Ontology.Mohammad Bagher Ghomi - manuscript
    This paper aims to suggest a new approach to Plato’s theory of being in Republic V and Sophist based on the notion of difference and the being of a copy. To understand Plato’s ontology in these two dialogues we are going to suggest a theory we call Pollachos Esti; a name we took from Aristotle’s pollachos legetai both to remind the similarities of the two structures and to reach a consistent view of Plato’s ontology. Based on this theory, when Plato (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  14.  3
    Some observations on the substructure lattice of a 1 ultrapower.Thomas G. McLaughlin - 2010 - Mathematical Logic Quarterly 56 (3):323-330.
    Given a Δ1 ultrapower ℱ/[MATHEMATICAL SCRIPT CAPITAL U], let ℒU denote the set of all Π2-correct substructures of ℱ/[MATHEMATICAL SCRIPT CAPITAL U]; i.e., ℒU is the collection of all those subsets of |ℱ/[MATHEMATICAL SCRIPT CAPITAL U]| that are closed under computable functions. Defining in the obvious way the lattice ℒ) with domain ℒU, we obtain some preliminary results about lattice embeddings into – or realization as – an ℒ. The basis for these results, as far as we take the matter, (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  15.  9
    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  
  16. THIS IS NICE OF YOU. Introduction by Ben Segal.Gary Lutz - 2011 - Continent 1 (1):43-51.
    Reproduced with the kind permission of the author. Currently available in the collection I Looked Alive . © 2010 The Brooklyn Rail/Black Square Editions | ISBN 978-1934029-07-7 Originally published 2003 Four Walls Eight Windows. continent. 1.1 (2011): 43-51. Introduction Ben Segal What interests me is instigated language, language dishabituated from its ordinary doings, language startled by itself. I don't know where that sort of interest locates me, or leaves me, but a lot of the books I see in the stores (...)
     
    Export citation  
     
    Bookmark  
  17.  15
    Breve storia dell'etica.Sergio Cremaschi - 2012 - Roma RM, Italia: Carocci.
    The book reconstructs the history of Western ethics. The approach chosen focuses the endless dialectic of moral codes, or different kinds of ethos, moral doctrines that are preached in order to bring about a reform of existing ethos, and ethical theories that have taken shape in the context of controversies about the ethos and moral doctrines as means of justifying or reforming moral doctrines. Such dialectic is what is meant here by the phrase ‘moral traditions’, taken as a name for (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  18.  20
    Tree Structures Associated to a Family of Functions.Spiros A. Argyros, Pandelis Dodos & Vassilis Kanellopoulos - 2005 - Journal of Symbolic Logic 70 (3):681 - 695.
    The research presented in this paper was motivated by our aim to study a problem due to J. Bourgain [3]. The problem in question concerns the uniform boundedness of the classical separation rank of the elements of a separable compact set of the first Baire class. In the sequel we shall refer to these sets (separable or non-separable) as Rosenthal compacta and we shall denote by ∝(f) the separation rank of a real-valued functionfinB1(X), withXa Polish space. Notice that in (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  19.  20
    The Relation Between Two Diminished Choice Principles.Salome Schumacher - 2021 - Journal of Symbolic Logic 86 (1):415-432.
    For every$n\in \omega \setminus \{0,1\}$we introduce the following weak choice principle:$\operatorname {nC}_{<\aleph _0}^-:$For every infinite family$\mathcal {F}$of finite sets of size at least n there is an infinite subfamily$\mathcal {G}\subseteq \mathcal {F}$with a selection function$f:\mathcal {G}\to \left [\bigcup \mathcal {G}\right ]^n$such that$f(F)\in [F]^n$for all$F\in \mathcal {G}$.Moreover, we consider the following choice principle:$\operatorname {KWF}^-:$For every infinite family$\mathcal {F}$of finite sets of size at least$2$there is an infinite subfamily$\mathcal {G}\subseteq \mathcal {F}$with a Kinna–Wagner selection function. That is, there is a function$g\colon \mathcal (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  20.  11
    Ramsey-like theorems and moduli of computation.Ludovic Patey - 2022 - Journal of Symbolic Logic 87 (1):72-108.
    Ramsey’s theorem asserts that every k-coloring of $[\omega ]^n$ admits an infinite monochromatic set. Whenever $n \geq 3$, there exists a computable k-coloring of $[\omega ]^n$ whose solutions compute the halting set. On the other hand, for every computable k-coloring of $[\omega ]^2$ and every noncomputable set C, there is an infinite monochromatic set H such that $C \not \leq _T H$. The latter property is known as cone avoidance.In this article, we design a natural class of Ramsey-like (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  21.  13
    Pranic Healing: Documenting Use, Expectations, and Perceived Benefits of a Little-Known Therapy in the United States.Tonya L. Schuster, Maritza Jauregui, Mary D. Clark & Joie P. Jones - 2012 - Journal of Scientific Exploration 26 (3).
    The aim of this exploratory study was to examine client demographics and expectations, reasons for use, sensations during treatment, and perceived outcomes of Pranic Healing, an energy healing system lacking in scientific documentation but whose use in the general population is becoming more widespread internationally. This study consisted of a cross-sectional survey of adults (18+ years of age) receiving care from 12 Pranic Healing practices in four different states in the U.S. (N = 179) completing online questionnaires. Closed-ended response (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22.  10
    Gap Principles, Penumbral Consequence, and Infinitely Higher-Order Vagueness.Delia Graff Fara - 2003 - In J. C. Beall (ed.), New Essays on the Semantics of Paradox. Oxford University Press.
    Philosophers disagree about whether vagueness requires us to admit truth-value gaps, about whether there is a gap between the objects of which a given vague predicate is true and those of which it is false on an appropriately constructed sorites series for the predicate—a series involving small increments of change in a relevant respect between adjacent elements, but a large increment of change in that respect between the endpoints. There appears, however, to be widespread agreement that there is (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  23.  20
    The permutations with N_ non-fixed points and the sequences with length _N of a set.Jukkrid Nuntasri & Pimpen Vejjajiva - forthcoming - Journal of Symbolic Logic:1-10.
    We write$\mathcal {S}_n(A)$for the set of permutations of a setAwithnnon-fixed points and$\mathrm {{seq}}^{1-1}_n(A)$for the set of one-to-one sequences of elements ofAwith lengthnwherenis a natural number greater than$1$. With the Axiom of Choice,$|\mathcal {S}_n(A)|$and$|\mathrm {{seq}}^{1-1}_n(A)|$are equal for all infinite setsA. Among our results, we show, in ZF, that$|\mathcal {S}_n(A)|\leq |\mathrm {{seq}}^{1-1}_n(A)|$for any infinite setAif${\mathrm {AC}}_{\leq n}$is assumed and this assumption cannot be removed. In the other direction, we show that$|\mathrm {{seq}}^{1-1}_n(A)|\leq |\mathcal {S}_{n+1}(A)|$for any infinite setAand the subscript$n+1$cannot be reduced ton. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  24.  4
    Hume’s Law. [REVIEW]John Peterson - 2005 - Review of Metaphysics 59 (1):200-202.
    Hume's law, that is, that moral claims cannot be inferred from exclusively nonmoral claims, is widely accepted by recent and contemporary philosophers, some exceptions being John Searle and A. N. Prior. Chapter 1 distinguishes three versions of the law: the formal version ), the conceptual version ), and the epistemic version ), all of which, according to Salwén, are true. When "valid inference" means "a sentence is a logical consequence of a set of sentences K iff there is no interpretation (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25. Mad Speculation and Absolute Inhumanism: Lovecraft, Ligotti, and the Weirding of Philosophy.Ben Woodard - 2011 - Continent 1 (1):3-13.
    continent. 1.1 : 3-13. / 0/ – Introduction I want to propose, as a trajectory into the philosophically weird, an absurd theoretical claim and pursue it, or perhaps more accurately, construct it as I point to it, collecting the ground work behind me like the Perpetual Train from China Mieville's Iron Council which puts down track as it moves reclaiming it along the way. The strange trajectory is the following: Kant's critical philosophy and much of continental philosophy which has followed, (...)
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  26.  9
    Thin Set Versions of Hindman’s Theorem.Denis R. Hirschfeldt & Sarah C. Reitzes - 2022 - Notre Dame Journal of Formal Logic 63 (4):481-491.
    We examine the reverse mathematical strength of a variation of Hindman’s Theorem (HT) constructed by essentially combining HT with the Thin Set Theorem to obtain a principle that we call thin-HT. This principle states that every coloring c:N→N has an infinite set S⊆N whose finite sums are thin for c, meaning that there is an i with c(s)≠i for all nonempty sums s of finitely many distinct elements of S. We show that there is a computable instance of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  27. Architecture and Deconstruction. The Case of Peter Eisenman and Bernard Tschumi.Cezary Wąs - 2015 - Dissertation, University of Wrocław
    Architecture and Deconstruction Case of Peter Eisenman and Bernard Tschumi -/- Introduction Towards deconstruction in architecture Intensive relations between philosophical deconstruction and architecture, which were present in the late 1980s and early 1990s, belong to the past and therefore may be described from a greater than before distance. Within these relations three basic variations can be distinguished: the first one, in which philosophy of deconstruction deals with architectural terms but does not interfere with real architecture, the second one, in which (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  28.  16
    Reals n-Generic Relative to Some Perfect Tree.Bernard A. Anderson - 2008 - Journal of Symbolic Logic 73 (2):401 - 411.
    We say that a real X is n-generic relative to a perfect tree T if X is a path through T and for all $\Sigma _{n}^{0}(T)$ sets S, there exists a number k such that either X|k ∈ S or for all σ ∈ T extending X|k we have σ ∉ S. A real X is n-generic relative to some perfect tree if there exists such a T. We first show that for every number n all but countably many reals (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  29.  17
    Rings which admit elimination of quantifiers.Bruce I. Rose - 1978 - Journal of Symbolic Logic 43 (1):92-112.
    We say that a ring admits elimination of quantifiers, if in the language of rings, {0, 1, +, ·}, the complete theory of R admits elimination of quantifiers. Theorem 1. Let D be a division ring. Then D admits elimination of quantifiers if and only if D is an algebraically closed or finite field. A ring is prime if it satisfies the sentence: ∀ x ∀ y ∃ z (x = 0 ∨ y = 0 ∨ xzy ≠ 0). Theorem (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  30.  12
    A geometric zero-one law.Robert H. Gilman, Yuri Gurevich & Alexei Miasnikov - 2009 - Journal of Symbolic Logic 74 (3):929-938.
    Each relational structure X has an associated Gaifman graph, which endows X with the properties of a graph. If x is an element of X, let $B_n (x)$ be the ball of radius n around x. Suppose that X is infinite, connected and of bounded degree. A first-order sentence ϕ in the language of X is almost surely true (resp. a. s. false) for finite substructures of X if for every x ∈ X, the fraction of substructures of $B_n (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  31.  23
    On isomorphism classes of computably enumerable equivalence relations.Uri Andrews & Serikzhan A. Badaev - 2020 - Journal of Symbolic Logic 85 (1):61-86.
    We examine how degrees of computably enumerable equivalence relations under computable reduction break down into isomorphism classes. Two ceers are isomorphic if there is a computable permutation of ω which reduces one to the other. As a method of focusing on nontrivial differences in isomorphism classes, we give special attention to weakly precomplete ceers. For any degree, we consider the number of isomorphism types contained in the degree and the number of isomorphism types of weakly precomplete ceers contained in the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  32.  3
    Gap Principles, Penumbral Consequence, and Infinitely Higher-Order Vagueness.Delia Graff Fara - 2003 - In J. C. Beall (ed.), Liars and Heaps: New Essays on the Semantics of Paradox. Oxford, England: Oxford University Press.
    Philosophers disagree about whether vagueness requires us to admit truth-value gaps, about whether there is a gap between the objects of which a given vague predicate is true and those of which it is false on an appropriately constructed sorites series for the predicate---a series involving small increments of change in a relevant respect between adjacent elements, but a large increment of change in that respect between the endpoints. There appears, however, to be widespread agreement that there is (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  33.  38
    Syllogistic Logic with Cardinality Comparisons, on Infinite Sets.Lawrence S. Moss & Selçuk Topal - 2020 - Review of Symbolic Logic 13 (1):1-22.
    This article enlarges classical syllogistic logic with assertions having to do with comparisons between the sizes of sets. So it concerns a logical system whose sentences are of the following forms: Allxareyand Somexarey, There are at least as manyxasy, and There are morexthany. Herexandyrange over subsets (not elements) of a giveninfiniteset. Moreover,xandymay appear complemented (i.e., as$\bar{x}$and$\bar{y}$), with the natural meaning. We formulate a logic for our language that is based on the classical syllogistic. The main result is a (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  34.  10
    Elementary differences between the degrees of unsolvability and degrees of compressibility.George Barmpalias - 2010 - Annals of Pure and Applied Logic 161 (7):923-934.
    Given two infinite binary sequences A,B we say that B can compress at least as well as A if the prefix-free Kolmogorov complexity relative to B of any binary string is at most as much as the prefix-free Kolmogorov complexity relative to A, modulo a constant. This relation, introduced in Nies [14] and denoted by A≤LKB, is a measure of relative compressing power of oracles, in the same way that Turing reducibility is a measure of relative information. The equivalence classes (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  35.  40
    On the strength of Ramsey's theorem for pairs.Peter A. Cholak, Carl G. Jockusch & Theodore A. Slaman - 2001 - Journal of Symbolic Logic 66 (1):1-55.
    We study the proof-theoretic strength and effective content of the infinite form of Ramsey's theorem for pairs. Let RT n k denote Ramsey's theorem for k-colorings of n-element sets, and let RT $^n_{ denote (∀ k)RT n k . Our main result on computability is: For any n ≥ 2 and any computable (recursive) k-coloring of the n-element sets of natural numbers, there is an infinite homogeneous set X with X'' ≤ T 0 (n) . Let IΣ n and BΣ (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   55 citations  
  36.  1
    The Problem of Thing and Object in Maritain.John C. Cahalan - 1995 - The Thomist 59 (1):21-46.
    In lieu of an abstract, here is a brief excerpt of the content:THE PROBLEM OF THING AND OBJECT IN MARITAIN JOHN c. CAHALAN Methuen, Massachusetts I N THE essay, "Critical Realism," Jacques Maritain said, "The problem of thing and object is the crux of the problem of realism." 1 Since then, the distinction between thing and object has received little attention, except for some helpful discussions by Yves Simon. Either Maritain and Simon were very mistaken, or we have been missing (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37.  17
    Models of intuitionistic TT and N.Daniel Dzierzgowski - 1995 - Journal of Symbolic Logic 60 (2):640-653.
    Let us define the intuitionistic part of a classical theory T as the intuitionistic theory whose proper axioms are identical with the proper axioms of T. For example, Heyting arithmetic HA is the intuitionistic part of classical Peano arithmetic PA. It's a well-known fact, proved by Heyting and Myhill, that ZF is identical with its intuitionistic part. In this paper, we mainly prove that TT, Russell's Simple Theory of Types, and NF, Quine's "New Foundations," are not equal to (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  38. A New Negentropic Subject: Reviewing Michel Serres' Biogea.A. Staley Groves - 2012 - Continent 2 (2):155-158.
    continent. 2.2 (2012): 155–158 Michel Serres. Biogea . Trans. Randolph Burks. Minneapolis: Univocal Publishing. 2012. 200 pp. | ISBN 9781937561086 | $22.95 Conveying to potential readers the significance of a book puts me at risk of glad handing. It’s not in my interest to laud the undeserving, especially on the pages of this journal. This is not a sales pitch, but rather an affirmation of a necessary work on very troubled terms: human, earth, nature, and the problematic world we made. (...)
     
    Export citation  
     
    Bookmark  
  39.  5
    On the Schur-zassenhaus theorem for groups of finite Morley rank.Alexandre V. Borovik & Ali Nesin - 1992 - Journal of Symbolic Logic 57 (4):1469-1477.
    The Schur-Zassenhaus Theorem is one of the fundamental theorems of finite group theory. Here is its statement:Fact1.1 (Schur-Zassenhaus Theorem). Let G be a finite group and let N be a normal subgroup of G. Assume that the order ∣N∣ is relatively prime to the index [G:N]. Then N has a complement in G and any two complements of N are conjugate in G.The proof can be found in most standard books in group theory, e.g., in [S, Chapter 2, Theorem 8.10]. (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  40.  18
    Interactive Fiction.Anthony J. Niesz & Norman N. Holland - 1984 - Critical Inquiry 11 (1):110-129.
    The structure of traditional fiction is essentially linear or serial. No matter how complex a given work may be, it presents information to its reader successively, one element at a time, in a sequence determined by its author. By contrast, interactive fiction is parallel in structure or, more accurately, dendritic or tree-shaped. Not one, but several possible courses of action are open to the reader. Further, which one actually happens depends largely, though not exclusively, upon the reader’s own choices. To (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  41.  3
    Reconstructible and Half-Reconstructible Tournaments: Application to Their Groups of Hemimorphisms.Youssef Boudabbous - 1999 - Mathematical Logic Quarterly 45 (3):421-431.
    Let T and T1 be tournaments with n elements, E a basis for T, E′ a basis for T′, and k ≥ 3 an integer. The dual of T is the tournament T” of basis E defined by T = T for all x, y ε E. A hemimorphism from T onto T′ is an isomorphism from T onto T” or onto T. A k-hemimorphism from T onto T′ is a bijection f from E to E′ such that for (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  42. Plithogenic Set, an Extension of Crisp, Fuzzy, Intuitionistic Fuzzy, and Neutrosophic Sets – Revisited.Florentin Smarandache - 2018 - Neutrosophic Sets and Systems 21:153-166.
    In this paper, we introduce the plithogenic set (as generalization of crisp, fuzzy, intuitionistic fuzzy, and neutrosophic sets), which is a set whose elements are characterized by many attributes (parameters)’ values. An attribute value v has a corresponding (fuzzy, intuitionistic fuzzy, or neutrosophic) degree of appurtenance d(x,v) of the element x, to the set P, with respect to some given criteria. In order to obtain a better accuracy for the plithogenic aggregation operators in the plithogenic set, and for (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  43. Reasoned Faith ed. by Eleonore Stump.Hugo Meynell - 1995 - The Thomist 59 (3):498-503.
    In lieu of an abstract, here is a brief excerpt of the content:498 BOOK REVIEWS generations of theologians across denominational lines. Both Placher and Hunsinger at the end of their essays choose quotations from within Frei's own writings to give a synoptic portrait of the man and his work. Placher chooses a remark about Niebuhr's sense of vocation as a theologian (20), and Hunsinger one about knowledge of that seemingly elusive reality, a person's identity (257). However one might come away (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  44.  9
    "A Mark of the Growing Mind is Veneration of Objects" (Ludwig Wittgenstein).Fay Horton Sawyier - 1992 - Hume Studies 18 (2):315-329.
    In lieu of an abstract, here is a brief excerpt of the content:"A Mark ofthe Growing Mind is Veneration of Objects" (Ludwig Wittgenstein) Fay Horton Sawyier Introduction In book 1 of the Treatise,1 Hume directs his attention to two sets of concepts; one of these sets is what I think of as the "basic epistemological set" and the other as the "basic metaphysical or ontological set." Except for the idea of personal identity, the First Inquiry2 addresses the same arrays of (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  45.  23
    Historical and Foundational Details on the Method of Infinite Descent: Every Prime Number of the Form 4 n + 1 is the Sum of Two Squares.Paolo Bussotti & Raffaele Pisano - 2020 - Foundations of Science 25 (3):671-702.
    Pierre de Fermat is known as the inventor of modern number theory. He invented–improved many methods useful in this discipline. Fermat often claimed to have proved his most difficult theorems thanks to a method of his own invention: the infinite descent. He wrote of numerous applications of this procedure. Unfortunately, he left only one almost complete demonstration and an outline of another demonstration. The outline concerns the theorem that every prime number of the form 4n + 1 is the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  46.  54
    Proceedings of the 4th World Conference on Research Integrity: Brazil, Rio de Janeiro. 31 May - 3 June 2015.Lex Bouter, Melissa S. Anderson, Ana Marusic, Sabine Kleinert, Susan Zimmerman, Paulo S. L. Beirão, Laura Beranzoli, Giuseppe Di Capua, Silvia Peppoloni, Maria Betânia de Freitas Marques, Adriana Sousa, Claudia Rech, Torunn Ellefsen, Adele Flakke Johannessen, Jacob Holen, Raymond Tait, Jillon Van der Wall, John Chibnall, James M. DuBois, Farida Lada, Jigisha Patel, Stephanie Harriman, Leila Posenato Garcia, Adriana Nascimento Sousa, Cláudia Maria Correia Borges Rech, Oliveira Patrocínio, Raphaela Dias Fernandes, Laressa Lima Amâncio, Anja Gillis, David Gallacher, David Malwitz, Tom Lavrijssen, Mariusz Lubomirski, Malini Dasgupta, Katie Speanburg, Elizabeth C. Moylan, Maria K. Kowalczuk, Nikolas Offenhauser, Markus Feufel, Niklas Keller, Volker Bähr, Diego Oliveira Guedes, Douglas Leonardo Gomes Filho, Vincent Larivière, Rodrigo Costas, Daniele Fanelli, Mark William Neff, Aline Carolina de Oliveira Machado Prata, Limbanazo Matandika, Sonia Maria Ramos de Vasconcelos & Karina de A. Rocha - 2016 - Research Integrity and Peer Review 1 (Suppl 1).
    Table of contentsI1 Proceedings of the 4th World Conference on Research IntegrityConcurrent Sessions:1. Countries' systems and policies to foster research integrityCS01.1 Second time around: Implementing and embedding a review of responsible conduct of research policy and practice in an Australian research-intensive universitySusan Patricia O'BrienCS01.2 Measures to promote research integrity in a university: the case of an Asian universityDanny Chan, Frederick Leung2. Examples of research integrity education programmes in different countriesCS02.1 Development of a state-run “cyber education program of research ethics” in (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  47.  18
    Factorials of infinite cardinals in zf part I: Zf results.Guozhen Shen & Jiachen Yuan - 2020 - Journal of Symbolic Logic 85 (1):224-243.
    For a set x, let ${\cal S}\left$ be the set of all permutations of x. We prove in ZF several results concerning this notion, among which are the following: For all sets x such that ${\cal S}\left$ is Dedekind infinite, $\left| {{{\cal S}_{{\rm{fin}}}}\left} \right| < \left| {{\cal S}\left} \right|$ and there are no finite-to-one functions from ${\cal S}\left$ into ${{\cal S}_{{\rm{fin}}}}\left$, where ${{\cal S}_{{\rm{fin}}}}\left$ denotes the set of all permutations of x which move only finitely many elements. For all (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  48.  1
    Inverting the Furstenberg correspondence.Jeremy Avigad - unknown
    Given a sequence of sets An⊆{0,…,n−1}, the Furstenberg correspondence principle provides a shift-invariant measure on2N that encodes combinatorial information about infinitely many of the An's. Here it is shown that this process can be inverted, so that for any such measure, ergodic or not, there are finite sets whose combinatorial properties approximate it arbitarily well. The finite approximations are obtained from the measure by an explicit construction, with an explicit upper bound on how large n has to be to (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  49. A Note on Cogito.Les Jones - manuscript
    Abstract A Note to Cogito Les Jones Blackburn College Previous submissions include -Intention, interpretation and literary theory, a first lookWittgenstein and St Augustine A DiscussionAreas of Interest – History of Western Philosophy, Miscellaneous Philosophy, European A Note on Cogito Descartes' brilliance in driving out doubt, and proving the existence of himself as a thinking entity, is well documented. Sartre's critique (or maybe extension) is both apposite and grounded and takes these enquiries on to another level. Let's take a look. 'I (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  50.  30
    Factorials of infinite cardinals in zf part II: Consistency results.Guozhen Shen & Jiachen Yuan - 2020 - Journal of Symbolic Logic 85 (1):244-270.
    For a set x, let S(x) be the set of all permutations of x. We prove by the method of permutation models that the following statements are consistent with ZF: (1) There is an infinite set x such that |p(x)|<|S(x)|<|seq^1-1(x)|<|seq(x)|, where p(x) is the powerset of x, seq(x) is the set of all finite sequences of elements of x, and seq^1-1(x) is the set of all finite sequences of elements of x without repetition. (2) There is a Dedekind (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
1 — 50 / 995