Definable quantifiers in second order arithmetic and elementary extensions of w-models / Wojciech Guzicki
Saved in:
Superior document: | Dissertationes mathematicae 208 |
---|---|
VerfasserIn: | |
Place / Publishing House: | Warszawa : Panstwowe Wydawnictwo Naukowe, 1983 |
Year of Publication: | 1983 |
Language: | English |
Series: | Dissertationes mathematicae
208 |
Physical Description: | 55 S. |
Notes: | Literaturverz. S. [50] - 51 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Calculus : : the logical extension of arithmetic / / Seymour B. Elk.
by: Elk, Seymour B.,
Published: (2016.) -
Definable additive categories : : purity and model theory / / Mike Prest.
by: Prest, Mike,
Published: (2010.) -
Descriptive set theory and definable forcing / / Jindrich Zapletal.
by: Zapletal, Jindrich,
Published: ([2004]) -
Relational quantifiers / Michał Krynicki
by: Krynicki, Michał
Published: (1995) -
Quantifier scope in German / Jurgen Pafel.
by: Pafel, Jurgen,
Published: (c2005.)