Showing 1 - 20 results of 22 for search '"Zermelo–Fraenkel set theory"', query time: 4.33s Refine Results
  1. 1
    On formally undecidable propositions of Zermelo-Fraenkel set theory
    by St. John, Gavin
    Published 2013
    Get full text
  2. 2
    Application of formative processes to the decision problem in set theory
    by Domenico Cantone, Pietro Ursino
    Published 2004-11-01
    Subjects: “...Zermelo-Fraenkel set theory...”
    Get full text
    Article
  3. 3
    Applying SMT Solvers to the Test Template Framework
    by Maximiliano Cristiá, Claudia Frydman
    Published 2012-02-01
    “... notation is based on first-order logic with equality and Zermelo-Fraenkel set theory. In this way, a test...”
    Get full text
    Article
  4. 4
    Independence and conservativity results for intuitionistic set theory
    by Chen, Ray-Ming
    Published 2010
    “... Zermelo-Fraenkel Set Theory and other intuitionistic set theories augmented by various principles, notably...”
    Get full text
  5. 5
    Hierarchies Ontological and Ideological
    by Linnebo, Oystein
    Published 2012
    Get fulltext
    Article
  6. 6
    Probability Axioms and Set Theory Paradoxes
    by Ari Herman, John Caughman
    Published 2021-01-01
    “...In this paper, we show that Zermelo–Fraenkel set theory with Choice (ZFC) conflicts with basic...”
    Get full text
    Article
  7. 7
    The Axiom of Choice
    by Allen, Cristian
    Published 2010
    “...We will discuss the 9th axiom of Zermelo-Fraenkel set theory with choice, which is often...”
    Get full text
    Get full text
    Others
  8. 8
    Finitely Supported Sets Containing Infinite Uniformly Supported Subsets
    by Andrei Alexandru, Gabriel Ciobanu
    Published 2019-09-01
    “...-Fraenkel set theory in which every construction is finitely supported according to the action of a group...”
    Get full text
    Article
  9. 9
    Powell's realizability universe
    by Nashaat, Sherif.
    Published 2006
    “... of Intuitionistic Zermelo-Fraenkel Set Theory (IZF). We then present the construction of a P -valued model of IZF...”
    Get full text
    Others
  10. 10
    Properties of Finitely Supported Self - Mappings on the Finite Powerset of Atoms
    by Andrei Alexandru
    Published 2021-04-01
    “...-Fraenkel set theory in which every classical structure is replaced by a finitely supported structure...”
    Get full text
    Article
  11. 11
    Black Holes and Complexity via Constructible Universe
    by Jerzy Król, Paweł Klimasara
    Published 2020-10-01
    “... tools from Zermelo–Fraenkel set theory like random forcing or minimal countable constructible model...”
    Get full text
    Article
  12. 12
    A survey of computable set theory
    by Domenico Cantone
    Published 1988-11-01
    “... on Zermelo-Fraenkel set-theory concludes the paper.</p>...”
    Get full text
    Article
  13. 13
    Naturality and definability II
    by Wilfrid Hodges, Saharon Shelah
    Published 2019-12-01
    “... that there is no transitive model of ZFC (Zermelo-Fraenkel set theory with Choice) in which the uniformisable constructions...”
    Get full text
    Article
  14. 14
    A Finitely Axiomatized Non-Classical First-Order Theory Incorporating Category Theory and Axiomatic Set Theory
    by Marcoen J. T. F. Cabbolet
    Published 2021-06-01
    “...It is well known that Zermelo-Fraenkel Set Theory (ZF), despite its usefulness as a foundational...”
    Get full text
    Article
  15. 15
    The Universe in Leśniewski’s Mereology: Some Comments on Sobociński’s Reflections
    “... is the ZFM theory—an extension of Zermelo-Fraenkel set theory by mereological axioms, developed by A...”
    Get full text
    Article
  16. 16
    The Law of the Subject: Alain Badiou, Luitzen Brouwer and the Kripkean Analyses of Forcing and the Heyting Calculus
    by Zachary Fraser
    Published 2006-10-01
    “... Zermelo-Fraenkel set theory. The subject, for Badiou, is essentially a free project that originates...”
    Get full text
    Article
  17. 17
    Towards the formalisation of use case maps
    by Dongmo, Cyrille
    Published 2012
    “... and a strongly typed fragment of Zermelo-Fraenkel set theory. Some attempts have been made to couple Z...”
    Get full text
    Others
  18. 18
    Elementos para uma fundamentação quase-conjuntista da mecânica estatística
    by Santos, Alexandre Magno Silva
    Published 2014
    “...-Fraenkel set theory by enconpassing sets of entities without identity. As a contribuition of this work, q...”
    Get full text
    Others
  19. 19
    Towards the formalisation of use case maps
    by Dongmo, Cyrille
    Published 2012
    “... and a strongly typed fragment of Zermelo-Fraenkel set theory. Some attempts have been made to couple Z...”
    Get full text
    Get full text
    Others
  20. 20
    Towards a comparative evaluation of text-based specification formalisms and diagrammatic notations
    by Moremedi, Kobamelo
    Published 2017
    “...-Fraenkel set theory and first-order logic to provide for precise and unambiguous specifications. Z uses...”
    Get full text
    Get full text
    Others
Search Tools: Get RSS Feed — Email this Search