Expressibility in a restricted second-order arithmetic (Q1258737)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Expressibility in a restricted second-order arithmetic |
scientific article; zbMATH DE number 3636020
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Expressibility in a restricted second-order arithmetic |
scientific article; zbMATH DE number 3636020 |
Statements
Expressibility in a restricted second-order arithmetic (English)
0 references
1978
0 references
Monadic Second Order Successor Arithmetic
0 references
Expressibility
0 references
Definability
0 references
Predicates Representable By Automata
0 references
Weak Second Order Arithmetic
0 references
