Definable quantifiers in second order arithmetic and elementary extensions of ω-models
- Publisher: Instytut Matematyczny Polskiej Akademi Nauk(Warszawa), 1983
Access Full Book
top
Abstract
topHow to cite
topWojciech Guzicki. Definable quantifiers in second order arithmetic and elementary extensions of ω-models. Warszawa: Instytut Matematyczny Polskiej Akademi Nauk, 1983. <http://eudml.org/doc/268545>.
@book{WojciechGuzicki1983,
abstract = {CONTENTS0. Introduction and terminology..............................................................51. Quantifiers and elementary extensions..............................................82. Elementary extensions of countable models of set theory................153. Interpretations of set theory in extensions of A₂...............................214. Definable quantifiers in models of A₂...............................................325. Elementary generic extensions........................................................40References..........................................................................................50},
author = {Wojciech Guzicki},
keywords = {second order arithmetic; generalized quantifier; elementary extension},
language = {eng},
location = {Warszawa},
publisher = {Instytut Matematyczny Polskiej Akademi Nauk},
title = {Definable quantifiers in second order arithmetic and elementary extensions of ω-models},
url = {http://eudml.org/doc/268545},
year = {1983},
}
TY - BOOK
AU - Wojciech Guzicki
TI - Definable quantifiers in second order arithmetic and elementary extensions of ω-models
PY - 1983
CY - Warszawa
PB - Instytut Matematyczny Polskiej Akademi Nauk
AB - CONTENTS0. Introduction and terminology..............................................................51. Quantifiers and elementary extensions..............................................82. Elementary extensions of countable models of set theory................153. Interpretations of set theory in extensions of A₂...............................214. Definable quantifiers in models of A₂...............................................325. Elementary generic extensions........................................................40References..........................................................................................50
LA - eng
KW - second order arithmetic; generalized quantifier; elementary extension
UR - http://eudml.org/doc/268545
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.