О выразимости в ограниченной арифметике второго порядка
Sibirskij matematiceskij zurnal (1977)
- Volume: 18, Issue: 4, page 830-837
- ISSN: 0037-4466; 1573-9260/e
Access Full Article
top
How to cite
topНабебин, А.А.. "О выразимости в ограниченной арифметике второго порядка." Sibirskij matematiceskij zurnal 18.4 (1977): 830-837. <http://eudml.org/doc/61653>.
@article{Набебин1977,
author = {Набебин, А.А.},
journal = {Sibirskij matematiceskij zurnal},
keywords = {Monadic Second Order Successor Arithmetic; Expressibility; Definability; Predicates Representable By Automata; Weak Second Order Arithmetic},
language = {rus},
number = {4},
pages = {830-837},
publisher = {Izd. AN SSSR},
title = {О выразимости в ограниченной арифметике второго порядка},
url = {http://eudml.org/doc/61653},
volume = {18},
year = {1977},
}
TY - JOUR
AU - Набебин, А.А.
TI - О выразимости в ограниченной арифметике второго порядка
JO - Sibirskij matematiceskij zurnal
PY - 1977
PB - Izd. AN SSSR
VL - 18
IS - 4
SP - 830
EP - 837
LA - rus
KW - Monadic Second Order Successor Arithmetic; Expressibility; Definability; Predicates Representable By Automata; Weak Second Order Arithmetic
UR - http://eudml.org/doc/61653
ER -
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.