Search engine for discovering works of Art, research articles, and books related to Art and Culture
Javascript must be enabled to continue!
On Categoricity of Scattered Linear Orders Of constructive Ranks
View through CrossRef
Abstract
In this article we investigated the complexity of isomorphisms be-tween scattered linear orders of constructive ranks. We gave the general upperbound and proved that this bound is sharp. Also, we constructed examples show-ing that the categoricity level of a given scattered linear order can be an arbitraryordinal from 3 to the upper bound, except for the case when the ordinal is thesuccessor of a limit ordinal. The existence question of the scattered linear orderswhose categoricity level equals to the successor of a limit ordinal is still open.
Title: On Categoricity of Scattered Linear Orders Of constructive Ranks
Description:
Abstract
In this article we investigated the complexity of isomorphisms be-tween scattered linear orders of constructive ranks.
We gave the general upperbound and proved that this bound is sharp.
Also, we constructed examples show-ing that the categoricity level of a given scattered linear order can be an arbitraryordinal from 3 to the upper bound, except for the case when the ordinal is thesuccessor of a limit ordinal.
The existence question of the scattered linear orderswhose categoricity level equals to the successor of a limit ordinal is still open.
Related Results
Categoricity by convention
Categoricity by convention
AbstractOn a widespread naturalist view, the meanings of mathematical terms are determined, and can only be determined, by the way we use mathematical language—in particular, by th...
Categoricity-like Properties in the First Order Realm
Categoricity-like Properties in the First Order Realm
By classical results of Dedekind and Zermelo, second order logic imposes categoricity features on Peano Arithmetic and Zermelo-Fraenkel set theory. However, we have known since Sko...
Órdenes de experimentación en diseños factoriales
Órdenes de experimentación en diseños factoriales
Cuando se plantea un diseño factorial la práctica habitual es recomendar que los experimentos se realicen en orden aleatorio. Esta aleatorización tiene como objetivo el proteger de...
Second Order Logic or Set Theory?
Second Order Logic or Set Theory?
Abstract
We try to answer the question which is the “right” foundation of mathematics, second order logic or set theory. Since the former is ...
Completeness and Audibility of Verbal Orders for Medications and Blood Products during Trauma Resuscitation
Completeness and Audibility of Verbal Orders for Medications and Blood Products during Trauma Resuscitation
Introduction: Resuscitation of critically injured patients requires effective team leadership. Poor communication is the leading cause of sentinel events. Closed-loop communication...
Custom order entry for Parkinson’s medications in the hospital improves timely administration: an analysis of over 31,000 medication doses
Custom order entry for Parkinson’s medications in the hospital improves timely administration: an analysis of over 31,000 medication doses
Background
Patients with Parkinson’s disease (PD) are at increased risk for hospital acquired complications. Deviations from home medication schedules and delay...
Constructive Impoundment
Constructive Impoundment
<div>
This article identifies and theorizes a distinct form of executive fiscal abuse that existing enforcement practice has failed to recognize: constructive impoundment. I...
Categoricity, External and Internal: An Excerpt from a Conversation with Saharon Shelah
Categoricity, External and Internal: An Excerpt from a Conversation with Saharon Shelah
AbstractA long series of conversations interweaving mathematical, historical and philosophical aspects of categoricity in model theory took place between the author and Saharon She...