Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions (Q5253934): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
ReferenceBot (talk | contribs)
Changed an Item
 
(2 intermediate revisions by 2 users not shown)
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1007/978-94-007-4435-6_15 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2144925863 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3937387 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3310616 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3762311 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4944846 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4075450 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3679172 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Lifschitz realizability for intuitionistic Zermelo-Fraenkel set theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3214890 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3215216 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The consistency of classical set theory relative to a set theory with intu1tionistic logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3882452 / rank
 
Normal rank
Property / cites work
 
Property / cites work: CT 0 is Stronger than CT 0 ! / rank
 
Normal rank
Property / cites work
 
Property / cites work: CZF and second order arithmetic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3688389 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The strength of Mac Lane set theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Power set recursion / rank
 
Normal rank
Property / cites work
 
Property / cites work: Constructive set theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Type-theoretic interpretation of iterated, strictly positive inductive definitions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5628079 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Semi-intuitionistic set theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: The strength of some Martin-Löf type theories / rank
 
Normal rank
Property / cites work
 
Property / cites work: Replacement versus collection and related topics in constructive Zermelo-Fraenkel set theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5494237 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5477363 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5435636 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Characterizing the interpretation of set theory in Martin-Löf type theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: The scope of Feferman's semi-intuitionistic set theories and his second conjecture / rank
 
Normal rank
Property / cites work
 
Property / cites work: Proof-theoretic investigations on Kruskal's theorem / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4040890 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A quasi-intumonistic set theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Über Endlich‐Axiomatisierbare Teilsysteme der Zermelo‐Fraenkelschen Mengenlehre / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4215635 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Constructivism in mathematics. An introduction. Volume I / rank
 
Normal rank
Property / cites work
 
Property / cites work: Lifschitz' realizability / rank
 
Normal rank

Latest revision as of 04:14, 10 July 2024

scientific article; zbMATH DE number 6443429
Language Label Description Also known as
English
Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions
scientific article; zbMATH DE number 6443429

    Statements

    Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions (English)
    0 references
    0 references
    5 June 2015
    0 references
    constructive Zermelo-Fraenkel set theory
    0 references
    full separation axiom
    0 references
    power set axiom
    0 references
    Kripke-Platek set theory
    0 references
    type theory
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers