A recursive model for the extended system ${\cal A}$ of B. Sobociński
Notre Dame Journal of Formal Logic 8 (1-2):154-158 (1967)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,672 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesBolesław Sobociński (1964). On the Propositional System $A$ of Vučković and its Extension. I. Notre Dame Journal of Formal Logic 5 (2):141-153.
Bolesław Sobociński (1964). On the Propositional System $A$ of Vučković and its Extension. II. Notre Dame Journal of Formal Logic 5 (3):223-237.
E. Grädel & A. Malmström (forthcoming). 0-1 Laws for Recursive Structures. Archive for Mathematical Logic.
George F. Schumm (1974). ${\Cal K}$ and ${\Cal Z}$. Notre Dame Journal of Formal Logic 15 (2):295-297.
Alessandro Berarducci & Margarita Otero (1996). A Recursive Nonstandard Model of Normal Open Induction. Journal of Symbolic Logic 61 (4):1228-1241.
Vladeta Vučković (1973). Local Recursive Theory. Notre Dame Journal of Formal Logic 14 (2):237-246.
Vladeta Vučković (1977). Recursive and Recursively Enumerable Manifolds. I. Notre Dame Journal of Formal Logic 18 (2):265-291.
Vladeta Vučković (1977). Recursive and Recursively Enumerable Manifolds. II. Notre Dame Journal of Formal Logic 18 (3):383-405.
Carl G. Jockusch Jr & Alexandra Shlapentokh (1995). Weak Presentations of Computable Fields. Journal of Symbolic Logic 60 (1):199 - 208.
Carl G. Jockusch Jr & Alexandra Shlapentokh (1995). Weak Presentations of Computable Fields. Journal of Symbolic Logic 60 (1):199 - 208.
Vladeta Vučković (1967). Recursive Models for Three-Valued Propositional Calculi with Classical Implication. Notre Dame Journal of Formal Logic 8 (1-2):148-153.
Zlatan Damnjanovic (1995). Minimal Realizability of Intuitionistic Arithmetic and Elementary Analysis. Journal of Symbolic Logic 60 (4):1208-1241.
Bolesław Sobociński (1973). Note About the Boolean Parts of the Extended Boolean Algebras. Notre Dame Journal of Formal Logic 14 (3):419-422.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2010-08-24Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
