- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
On expandability of models of Peano arithmetic. II
Studia Logica 35 (4):421-431 (1976)
Abstract
This article has no associated abstract. (fix it)Author's Profile
My notes
Similar books and articles
Roman Murawski, recursive functions and metamathematics.Rod Downey - 2002 - Studia Logica 70 (2):297-299.
On expandability of models of Peano arithmetic. I.Roman Murawski - 1976 - Studia Logica 35 (4):409-419.
A finite approximation to models of set theory.Paul Weingartner - 1975 - Studia Logica 34 (1):45 - 58.
A correction to the paper “on expandability of models of peano arithmetic. I”.Roman Murawski - 1977 - Studia Logica 36 (3):237-237.
A Correction to the Ppaer "On Expandability of Models of Peano Arithmetic. I" Studia Logica 35 (1976), pp. 409-419.Roman Murawski - 1977 - Studia Logica 36 (3):237 -.
Editorial Introduction. Truth Values: Part II. [REVIEW]Yaroslav Shramko & Heinrich Wansing - 2009 - Studia Logica 92 (2):143-146.
A negationless interpretation of intuitionistic theories. II.Victor N. Krivtsov - 2000 - Studia Logica 65 (1-2):155-179.
A Negationless Interpretation of Intuitionistic Theories. II.Victor N. Krivtsov - 2000 - Studia Logica 65 (2):155-179.
Analytics
Added to PP
2009-01-28
Downloads
30 (#550,221)
6 months
9 (#355,594)
2009-01-28
Downloads
30 (#550,221)
6 months
9 (#355,594)
Historical graph of downloads
Author's Profile
Citations of this work
Recursively saturated nonstandard models of arithmetic.C. Smoryński - 1981 - Journal of Symbolic Logic 46 (2):259-286.
On expandability of models of Peano arithmetic. III.Roman Murawski - 1977 - Studia Logica 36 (3):181-188.
European Summer Meeting of the Association for Symbolic Logic.W. Obserschelp, B. Schinzel, W. Thomas & M. M. Richter - 1985 - Journal of Symbolic Logic 50 (1):259-283.
Meeting of the Association for Symbolic Logic Florence, Italy 1982. E. Casari, E. J. Fenstad, G. Lolli, G. Longo, A. Marcja & D. van Dalen - 1984 - Journal of Symbolic Logic 49 (2):683 - 710.
Some More Remarks on Expandability of Initial Segments.Roman Murawski - 1986 - Mathematical Logic Quarterly 32 (25-30):445-450.
References found in this work
The classical and the ω-complete arithmetic.C. Ryll-Nardzewski, Andrzej Grzegorczyk & Andrzej Mostowski - 1958 - Journal of Symbolic Logic 23 (2):188-206.
Discernible elements in models for peano arithmetic.Andrzej Ehrenfeucht - 1973 - Journal of Symbolic Logic 38 (2):291-292.
On models of arithmetic—Answers to two problems raised by H. Gaifman.Alex Wilkie - 1975 - Journal of Symbolic Logic 40 (1):41-47.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-68866f4b87-7qn45 uwo