Non-finitizability of a weak second-order theory
Fundamenta Mathematicae (1979)
- Volume: 103, Issue: 2, page 83-102
- ISSN: 0016-2736
Access Full Article
topHow to cite
topSchwabhäuser, Wolfram. "Non-finitizability of a weak second-order theory." Fundamenta Mathematicae 103.2 (1979): 83-102. <http://eudml.org/doc/211026>.
@article{Schwabhäuser1979,
author = {Schwabhäuser, Wolfram},
journal = {Fundamenta Mathematicae},
keywords = {weak second-order logic; finite axiomatizability; weak second-order geometry},
language = {eng},
number = {2},
pages = {83-102},
title = {Non-finitizability of a weak second-order theory},
url = {http://eudml.org/doc/211026},
volume = {103},
year = {1979},
}
TY - JOUR
AU - Schwabhäuser, Wolfram
TI - Non-finitizability of a weak second-order theory
JO - Fundamenta Mathematicae
PY - 1979
VL - 103
IS - 2
SP - 83
EP - 102
LA - eng
KW - weak second-order logic; finite axiomatizability; weak second-order geometry
UR - http://eudml.org/doc/211026
ER -
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.