59 research outputs found

    Ultrafilter spaces on the semilattice of partitions

    Get PDF
    The Stone-Cech compactification of the natural numbers bN, or equivalently, the space of ultrafilters on the subsets of omega, is a well-studied space with interesting properties. If one replaces the subsets of omega by partitions of omega, one can define corresponding, non-homeomorphic spaces of partition ultrafilters. It will be shown that these spaces still have some of the nice properties of bN, even though none is homeomorphic to bN. Further, in a particular space, the minimal height of a tree pi-base and P-points are investigated

    The prospects for mathematical logic in the twenty-first century

    Get PDF
    The four authors present their speculations about the future developments of mathematical logic in the twenty-first century. The areas of recursion theory, proof theory and logic for computer science, model theory, and set theory are discussed independently.Comment: Association for Symbolic Logi

    Consensus theories: an oriented survey

    Get PDF
    This article surveys seven directions of consensus theories: Arrowian results, federation consensus rules, metric consensus rules, tournament solutions, restricted domains, abstract consensus theories, algorithmic and complexity issues. This survey is oriented in the sense that it is mainly – but not exclusively – concentrated on the most significant results obtained, sometimes with other searchers, by a team of French searchers who are or were full or associate members of the Centre d'Analyse et de Mathématique Sociale (CAMS).Consensus theories ; Arrowian results ; aggregation rules ; metric consensus rules ; median ; tournament solutions ; restricted domains ; lower valuations ; median semilattice ; complexity

    Measuring Intelligence and Growth Rate: Variations on Hibbard's Intelligence Measure

    Get PDF
    In 2011, Hibbard suggested an intelligence measure for agents who compete in an adversarial sequence prediction game. We argue that Hibbard’s idea should actually be considered as two separate ideas: first, that the intelligence of such agents can be measured based on the growth rates of the runtimes of the competitors that they defeat; and second, one specific (somewhat arbitrary) method for measuring said growth rates. Whereas Hibbard’s intelligence measure is based on the latter growth-rate-measuring method, we survey other methods for measuring function growth rates, and exhibit the resulting Hibbard-like intelligence measures and taxonomies. Of particular interest, we obtain intelligence taxonomies based on Big-O and Big-Theta notation systems, which taxonomies are novel in that they challenge conventional notions of what an intelligence measure should look like. We discuss how intelligence measurement of sequence predictors can indirectly serve as intelligence measurement for agents with Artificial General Intelligence (AGIs)

    Infinitesimal Probabilities

    Get PDF
    Non-Archimedean probability functions allow us to combine regularity with perfect additivity. We discuss the philosophical motivation for a particular choice of axioms for a non-Archimedean probability theory and answer some philosophical objections that have been raised against infinitesimal probabilities in general

    Selection principles in mathematics: A milestone of open problems

    Get PDF
    We survey some of the major open problems involving selection principles, diagonalizations, and covering properties in topology and infinite combinatorics. Background details, definitions and motivations are also provided.Comment: Small update

    Consensus theories: an oriented survey

    Get PDF
    URL des Documents de travail : http://ces.univ-paris1.fr/cesdp/cesdp2010.htmlDocuments de travail du Centre d'Economie de la Sorbonne 2010.57 - ISSN : 1955-611XThis article surveys seven directions of consensus theories: Arrowian results, federation consensus rules, metric consensus rules, tournament solutions, restricted domains, abstract consensus theories, algorithmic and complexity issues. This survey is oriented in the sense that it is mainly – but not exclusively – concentrated on the most significant results obtained, sometimes with other searchers, by a team of French searchers who are or were full or associate members of the Centre d'Analyse et de Mathématique Sociale (CAMS).Cet article présente une vue d'ensemble de sept directions de recherche en théorie du consensus : résultats arrowiens, règles d'agrégation définies au moyen de fédérations, règles définies au moyen de distances, solutions de tournoi, domaines restreints, théories abstraites du consensus, questions de complexité et d'algorithmique. Ce panorama est orienté dans la mesure où il présente principalement – mais non exclusivement – les travaux les plus significatifs obtenus – quelquefois avec d'autres chercheurs – par une équipe de chercheurs français qui sont – ou ont été – membres pléniers ou associés du Centre d'Analyse et de Mathématique Sociale (CAMS)

    Sheaf Logic, Quantum Set Theory and the Interpretation of Quantum Mechanics

    Full text link
    Based on the Sheaf Logic approach to set theoretic forcing, a hierarchy of Quantum Variable Sets is constructed which generalizes and simplifies the analogous construction developed by Takeuti on boolean valued models of set theory. Over this model two alternative proofs of Takeuti's correspondence, between self adjoint operators and the real numbers of the model, are given. This approach results to be more constructive showing a direct relation with the Gelfand representation theorem, revealing also the importance of these results with respect to the interpretation of Quantum Mechanics in close connection with the Deutsch-Everett multiversal interpretation. Finally, it is shown how in this context the notion of genericity and the corresponding generic model theorem can help to explain the emergence of classicality also in connection with the Deutsch- Everett perspective.Comment: 34 pages, 2 figure
    • …
    corecore