A Correction to the Ppaer "On Expandability of Models of Peano Arithmetic. I" Studia Logica 35 (1976), pp. 409-419
Studia Logica 36 (3):237 - (1977)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,631 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesRoman Murawski (1977). A Correction to the Paper “on Expandability of Models of Peano Arithmetic. I”. Studia Logica 36 (3).
Roman Murawski (1976). On Expandability of Models of Peano Arithmetic. I. Studia Logica 35 (4):409 - 419.
Roman Murawski (1976). On Expandability of Models of Peano Arithmetic. II. Studia Logica 35 (4):421 - 431.
Roman Murawski (1977). On Expandability of Models of Peano Arithmetic. III. Studia Logica 36 (3):181 - 188.
Henryk Kotlarski (1984). Some Remarks on Initial Segments in Models of Peano Arithmetic. Journal of Symbolic Logic 49 (3):955-960.
Raymond M. Smullyan (1985). Uniform Self-Reference. Studia Logica 44 (4):439 - 445.
Tadeusz Kubiński (1963). A Proof of Consistency of Borkowski's Logical System Containing Peano's Arithmetic. Studia Logica 14:197 - 225.
Fred G. Abramson & Leo A. Harrington (1978). Models Without Indiscernibles. Journal of Symbolic Logic 43 (3):572-600.
Roman Murawski (1988). Pointwise Definable Substructures of Models of Peano Arithmetic. Notre Dame Journal of Formal Logic 29 (3):295-308.
Roman Kossak (1995). Four Problems Concerning Recursively Saturated Models of Arithmetic. Notre Dame Journal of Formal Logic 36 (4):519-530.
Aldo Ursini (1978). On the Set of 'Meaningful' Sentences of Arithmetic. Studia Logica 37 (3):237 - 241.
J. Michael Dunn (1979). Relevant Robinson's Arithmetic. Studia Logica 38 (4):407 - 418.
Henryk Kotlarski (1983). On Cofinal Extensions of Models of Arithmetic. Journal of Symbolic Logic 48 (2):253-262.
Fredrik Engström (2004). Expansions, Omitting Types, and Standard Systems. Dissertation, Chalmers
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2011-05-29Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
