Stratified languages

Journal of Symbolic Logic 57 (4):1366-1376 (1992)
  Copy   BIBTEX


We consider arbitrary stratified languages. We study structures which satisfy the same stratified sentences and we obtain an extension of Keisler's Isomorphism Theorem to this situation. Then we consider operations which are definable by a stratified formula and modify the `type' of their argument by one; we prove that for such an operation F the sentence c = F(c) and the scheme $\varphi(c) \leftrightarrow \varphi(F(c))$ , where φ(x) varies among all the stratified formulas with no variable other than x free, imply the same stratified {c}-sentences



    Upload a copy of this work     Papers currently archived: 93,127

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Relative arithmetic.Sam Sanders - 2010 - Mathematical Logic Quarterly 56 (6):564-572.
Hyperdoctrines and the Ontology of Stratified Semantics.Shay Logan - 2020 - In Davide Fazio, Antonio Ledda & Francesco Paoli (eds.), Algebraic Perspectives on Substructural Logics. Springer International Publishing. pp. 169-193.
On the Strength of Ramsey's Theorem.David Seetapun & Theodore A. Slaman - 1995 - Notre Dame Journal of Formal Logic 36 (4):570-582.
A fixed point theory over stratified truth.Andrea Cantini - 2020 - Mathematical Logic Quarterly 66 (4):380-394.
On the set of atoms.M. Crabbé - 2000 - Logic Journal of the IGPL 8 (6):751-759.
Consistency of strictly impredicative NF and a little more ….Sergei Tupailo - 2010 - Journal of Symbolic Logic 75 (4):1326-1338.
A generalization of Specker's theorem on typical ambiguity.Richard Kaye - 1991 - Journal of Symbolic Logic 56 (2):458-466.
The Hauptsatz for Stratified Comprehension: A Semantic Proof.Marcel Crabbé - 1994 - Mathematical Logic Quarterly 40 (4):481-489.


Added to PP

13 (#1,066,279)

6 months
218 (#12,786)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Beneš’s Partial Model of $mathsf {NF}$: An Old Result Revisited.Edoardo Rivello - 2014 - Notre Dame Journal of Formal Logic 55 (3):397-411.

Add more citations

References found in this work

Model Theory.Michael Makkai, C. C. Chang & H. J. Keisler - 1991 - Journal of Symbolic Logic 56 (3):1096.
Typical Ambiguity.Ernst P. Specker - 1962 - In Ernest Nagel (ed.), Logic, methodology, and philosophy of science. Stanford, Calif.,: Stanford University Press. pp. 116--23.
Permutations and stratified formulae a preservation theorem.Thomas Forster - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (5):385-388.
Permutations and stratified formulae a preservation theorem.Thomas Forster - 1990 - Mathematical Logic Quarterly 36 (5):385-388.

Add more references