This paper consists primarily of a survey of results of Harvey Friedman about some proof theoretic aspects of various forms of Krusal's tree theorem, and in particular the connection with the ordinal Ƭo. We also include a fairly extensive treatment of normal functions on the countable ordinals, and we give a glimpse of Veblen Hierarchies, some subsystems of second-order logic, slow-growing and ...

We report a young patient with a solitary intrahepatic cyst without demonstrable connection with the biliary tree. The operative appearances suggested hydatid disease but histological examination of the resected cyst showed that it was the result of Caroli's disease already complicated by severe dysplasia. This case provides further evidence for the premalignant nature of Caroli's disease.

Received August 8, 2002 Abstract Pulmonary sequestration is a congenital anomaly of lung parenchyma without a normal connection to the tracheobronchial tree and an anomalous systemic arterial supply. We report an 11-month-old boy with extralobar pulmonary sequestration. Magnetic resonance angiogram identified the arterial supply from aorta and venous drainage to azygous vein. Various imaging te...

Safety is the foundation of all production activities. In order to further enhance safety high pressure water jet technology in process, fuzzy analysis method and fault tree are used analyze risk factors this paper. existing personnel, equipment environment coal mine mining analyzed. Secondly, probability importance various events process application analyzed by using accident tree. The results...

Xyleme is a huge warehouse integrating XML data of the Web. Xyleme considers a simple data model with data trees and tree types for describing the data sources, and a simple query language based on tree queries with boolean conditions. The main components of the data model are a mediated schema modeled by an abstract tree type, as a view of a set of tree types associated with actual data trees,...

In this paper, we analyze cost sharing problems arising from a general service by explicitly taking into account the generated revenues. To this cost-revenue sharing problem, we associate a cooperative game with transferable utility, called cost-revenue game. By considering cooperation among the agents using the general service, the value of a coalition is defined as the maximum net profit that...

Based on the binary tree decomposition of a permutation, a natural vector space of permutation statistics is defined. Besides containing many well known permuta­ tion statistics, this space provides the general context for an archetypal recurrence relationship that contains most of the classic combinatorial sequences and some of their known generalizations. Permutation statIstIcs have arisen in...

The small screens on increasingly used mobile devices challenge the traditional visualization methods designed for desktops. This paper presents a method called “Radial Edgeless Tree” (RELT) for visualizing trees in a 2-dimensional space. It combines the existing connection tree drawing with the space-filling approach to achieve the efficient display of trees in a small geometrical area, such a...

This paper consists primarily of a survey of results of Harvey Friedman about some proof theoretic aspects of various forms of Kruskal’s tree theorem, and in particular the connection with the ordinal Γ0. We also include a fairly extensive treatment of normal functions on the countable ordinals, and we give a glimpse of Veblen hierarchies, some subsystems of second-order logic, slow-growing and...

This paper consists primarily of a survey of results of Harvey Friedman about some proof theoretic aspects of various forms of Kruskal’s tree theorem, and in particular the connection with the ordinal Γ0. We also include a fairly extensive treatment of normal functions on the countable ordinals, and we give a glimpse of Veblen hierarchies, some subsystems of second-order logic, slow-growing and...