Serveur d'exploration Bourbaki - Analysis (France)

Index « Auteurs » - entrée « A. R. D. Mathias »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
A. Pasquale < A. R. D. Mathias < A. Rouet  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 2.
Ident.Authors (with country if any)Title
000130 (2009) A. R. D. Mathias [France, Royaume-Uni]Unordered pairs in the set theory of Bourbaki 1949
000343 (2001) A. R. D. Mathias [France]The strength of Mac Lane set theory

List of associated KwdEn.i

Nombre de
documents
Descripteur
1Abstract construction
1Acad
1Annals
1Arb
1Atomic formul
1Axinf
1Axiom
1Cardinality
1Class foundation
1Closure
1Condensation lemma
1Conservative extension
1Consistency proof
1Consistency strength
1Constructibility
1Constructible
1Constructible hierarchy
1Constructible universe
1Containment
1Coret
1Countable
1Countable transitive model
1Decoding functions
1Direct limit
1Disjoint
1Disjoint sets
1Elementarily embeddable
1Elementary submodel
1Equiconsistency
1Equiconsistent
1Equivalence
1Equivalence class
1Equivalence classes
1Equivalence relation
1Erence
1Erent
1Extensional
1Extensional relation
1Extensional relations
1Extensionality
1Formal languages
1Formal variables
1Formul
1Forster
1Fraktur letters
1Free form
1Free variables
1Friedman
1Full separation scheme
1Further reading
1Gandy
1Godel
1Godel functions
1Ground model
1Higher type
1Historical note
1Identity model
1Independence results
1Induction
1Induction hypothesis
1Infwel
1Initial ordinal
1Initial ordinals
1Initial segment
1Inner model
1Inner models
1Isomorphic
1Isomorphism
1Kaye
1Kemeny
1Klmz
1Klmzk
1Klz0
1Klzk
1Least element
1Least member
1Lemma
1Limit ordinal
1Logic
1Logik grundlag
1Mathematical logic
1Mathias
1Mathias annals
1Membership relation
1Metacorollary
1Metatheorem
1Minimal element
1Minimality
1Minimality axiom
1Natural number
1Neumann
1Neumann ordinal
1Neumann ordinals
1Next proposition
1Nite
1Nite list
1Nite sets
1Nitely
1Nitely axiomatisable
1Normal form

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Mathematiques/explor/BourbakiV1/Data/France/Analysis
HfdIndexSelect -h $EXPLOR_AREA/Data/France/Analysis/Author.i -k "A. R. D. Mathias" 
HfdIndexSelect -h $EXPLOR_AREA/Data/France/Analysis/Author.i  \
                -Sk "A. R. D. Mathias" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/France/Analysis/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Mathematiques
   |area=    BourbakiV1
   |flux=    France
   |étape=   Analysis
   |type=    indexItem
   |index=    Author.i
   |clé=    A. R. D. Mathias
}}

Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Thu Jul 5 10:00:31 2018. Site generation: Sat Nov 19 17:42:07 2022