m

Documents  Critères de recherche : "The monadic second order theory of all countable ordinals" | enregistrements trouvés : 1

O
     

-A +A

P Q

Déposez votre fichier ici pour le déplacer vers cet enregistrement.


ISBN 978-3-540-06345-2

Lecture notes in mathematics , 0328

Localisation : Collection 1er étage

axiomatisation # complétude MT[oméga indice 1] # construction de sous-ensemble étendue à oméga indice 1 # filtre d'ensemble co-final fermé # forme normale d'automate déterministe # indépendance de l'axiome de raccordement # lemme de forme prenex # méthode d'élimination des quantificateurs d'ensembles # méthode de décision pour MT[oméga indice 1,<] # oméga indice 0 # oméga indice 1 # ordinal dénombrable # système d'axiome pour MT[co] et pour MT[alpha] alpha < oméga # théorie du second ordre monadique axiomatisation # complétude MT[oméga indice 1] # construction de sous-ensemble étendue à oméga indice 1 # filtre d'ensemble co-final fermé # forme normale d'automate déterministe # indépendance de l'axiome de raccordement # lemme de forme prenex # méthode d'élimination des quantificateurs d'ensembles # méthode de décision pour MT[oméga indice 1,<] # oméga indice 0 # oméga indice 1 # ordinal dénombrable # système d'axiome pour MT[co] et pour ...

03-02 ; 03D05 ; 02G05 ; 02G10 ; 68-02

... Lire [+]

Filtrer

Auteurs
Référence
Codes MSC
Date de parution

Titres de périodiques et e-books électroniques (Depuis le CIRM)

Ressources Electroniques

Books & Print journals

Recherche avancée


0
Z