Caracterización en lenguajes lógicos infinitarios de los órdenes parciales diseminados contables

Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 9 (1):173-184 (1994)
  Copy   BIBTEX

Abstract

Taking into account that no subordering of a scattered partial ordering is dense, we are going to define one idea of rank of a partial ordering which will make possible an equivalent but more operative definition of a scattered partial ordering. Using this notion of rank and the Scott’s sentence associated with the ordering, we are going to characterise in the infinitary language Lw1.w each element of a subclass of the partial orderings, this of the strongly scattered countable partial orderings.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,322

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

Caracterización en lenguajes lógicos infinitarios de los órdenes parciales diseminados contables.Begoña Carrascal Platas - 1994 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 9 (1):173-184.
Reverse Mathematics and Ramsey Properties of Partial Orderings.Jared Corduan & Marcia Groszek - 2016 - Notre Dame Journal of Formal Logic 57 (1):1-25.
The metamathematics of scattered linear orderings.P. Clote - 1989 - Archive for Mathematical Logic 29 (1):9-20.
Up to Equimorphism, Hyperarithmetic Is Recursive.Antonio Montalbán - 2005 - Journal of Symbolic Logic 70 (2):360 - 378.
Infinite chains and antichains in computable partial orderings.E. Herrmann - 2001 - Journal of Symbolic Logic 66 (2):923-934.
Elementary embedding between countable Boolean algebras.Robert Bonnet & Matatyahu Rubin - 1991 - Journal of Symbolic Logic 56 (4):1212-1229.
The Settling-Time Reducibility Ordering.Barbara F. Csima & Richard A. Shore - 2007 - Journal of Symbolic Logic 72 (3):1055 - 1071.
Partial Model Theory as Model Theory.Sebastian Lutz - 2015 - Ergo: An Open Access Journal of Philosophy 2.
II Congreso de Lenguajes Naturales y Lenguajes Formales.Javier Palacios - 1986 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 2 (1):227-231.
Comparing theories by their positive and negative contents.Isabella C. Burger & Johannes Heidema - 1994 - British Journal for the Philosophy of Science 45 (2):605-630.
I Congreso de Lenguajes Naturales y Lenguajes Formales.Víctor Sanchez de Zavala - 1985 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 1 (2):599-603.
III Congreso de Lenguajes Naturales y Lenguajes Formales en Sitges.Miguel Sánchez-Mazas - 1987 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 2 (2-3):657-659.

Analytics

Added to PP
2009-01-28

Downloads
69 (#231,631)

6 months
1 (#1,533,009)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references