Relative Predicativity and dependent recursion in second-order set theory and higher-orders theories

This article reports that some robustness of the notions of predicativity and of autonomous progression is broken down if as the given infinite total entity we choose some mathematical entities other than the traditional ω. Namely, the equivalence between normal transfinite recursion scheme and new dependent transfinite recursion scheme, which does hold in the context of subsystems of second order number theory, does not hold in the context of subsystems of second order set theory where the universe V of sets is treated as the given totality (nor in the contexts of those of n+3-th order number or set theories, where the class of all n+2-th order objects is treated as the given totality).

Concepts of Bitemporal Database Theory and the Evolution of Web-Documents

A vast amount of temporal information is provided on the Web. Even though many facts expressed in documents are time-related, the temporal properties of Web presentations have not received much attention. In database research, temporal databases have become a mainstream topic in recent years. In Web documents, temporal data may exist as meta data in the header and as user-directed data in the body of a document. Whereas temporal data can easily be identified in the semi-structured meta data, it is more difficult to determine temporal data and its role in the body. We propose procedures for maintaining temporal integrity of Web pages and outline different approaches of applying bitemporal data concepts for Web documents. In particular, we regard desirable functionalities of Web repositories and other Web-related tools that may support the Webmasters in managing the temporal data of their Web documents. Some properties of a prototype environment are described.

In vitro precision of fit of computer-aided design and computer-aided manufacturing titanium and zirconium dioxide bars

OBJECTIVES Optical scanners combined with computer-aided design and computer-aided manufacturing (CAD/CAM) technology provide high accuracy in the fabrication of titanium (TIT) and zirconium dioxide (ZrO) bars. The aim of this study was to compare the precision of fit of CAD/CAM TIT bars produced with a photogrammetric and a laser scanner. METHODS Twenty rigid CAD/CAM bars were fabricated on one single edentulous master cast with 6 implants in the positions of the second premolars, canines and central incisors. A photogrammetric scanner (P) provided digitized data for TIT-P (n=5) while a laser scanner (L) was used for TIT-L (n=5). The control groups consisted of soldered gold bars (gold, n=5) and ZrO-P with similar bar design. Median vertical distance between implant and bar platforms from non-tightened implants (one-screw test) was calculated from mesial, buccal and distal scanning electron microscope measurements. RESULTS Vertical microgaps were not significantly different between TIT-P (median 16μm; 95% CI 10-27μm) and TIT-L (25μm; 13-32μm). Gold (49μm; 12-69μm) had higher values than TIT-P (p=0.001) and TIT-L (p=0.008), while ZrO-P (35μm; 17-55μm) exhibited higher values than TIT-P (p=0.023). Misfit values increased in all groups from implant position 23 (3 units) to 15 (10 units), while in gold and TIT-P values decreased from implant 11 toward the most distal implant 15. SIGNIFICANCE CAD/CAM titanium bars showed high precision of fit using photogrammetric and laser scanners. In comparison, the misfit of ZrO bars (CAM/CAM, photogrammetric scanner) and soldered gold bars was statistically higher but values were clinically acceptable.

In vitro precision of fit of computer-aided designed and computer-aided manufactured titanium screw-retained fixed dental prostheses before and after ceramic veneering

OBJECTIVE To compare the precision of fit of full-arch implant-supported screw-retained computer-aided designed and computer-aided manufactured (CAD/CAM) titanium-fixed dental prostheses (FDP) before and after veneering. The null-hypothesis was that there is no difference in vertical microgap values between pure titanium frameworks and FDPs after porcelain firing. MATERIALS AND METHODS Five CAD/CAM titanium grade IV frameworks for a screw-retained 10-unit implant-supported reconstruction on six implants (FDI tooth positions 15, 13, 11, 21, 23, 25) were fabricated after digitizing the implant platforms and the cuspid-supporting framework resin pattern with a laser scanner (CARES(®) Scan CS2; Institut Straumann AG, Basel, Switzerland). A bonder, an opaquer, three layers of porcelain, and one layer of glaze were applied (Vita Titankeramik) and fired according to the manufacturer's preheating and fire cycle instructions at 400-800°C. The one-screw test (implant 25 screw-retained) was applied before and after veneering of the FDPs to assess the vertical microgap between implant and framework platform with a scanning electron microscope. The mean microgap was calculated from interproximal and buccal values. Statistical comparison was performed with non-parametric tests. RESULTS All vertical microgaps were clinically acceptable with values <90 μm. No statistically significant pairwise difference (P = 0.98) was observed between the relative effects of vertical microgap of unveneered (median 19 μm; 95% CI 13-35 μm) and veneered FDPs (20 μm; 13-31 μm), providing support for the null-hypothesis. Analysis within the groups showed significantly different values between the five implants of the FDPs before (P = 0.044) and after veneering (P = 0.020), while a monotonous trend of increasing values from implant 23 (closest position to screw-retained implant 25) to 15 (most distant implant) could not be observed (P = 0.169, P = 0.270). CONCLUSIONS Full-arch CAD/CAM titanium screw-retained frameworks have a high accuracy. Porcelain firing procedure had no impact on the precision of fit of the final FDPs. All implant microgap measurements of each FDP showed clinically acceptable vertical misfit values before and after veneering. Thus, the results do not only show accurate performance of the milling and firing but show also a reproducible scanning and designing process.

Principal-Agent Theory and the World Trade Organization: Complex Agency and ‘Missing Delegation’

This paper analyses the World Trade Organization within a principal-agent framework. The concept of complex agency is introduced to focus on the variety of actors that comprise an international organization. Special attention is paid to the relationship between contracting parties’ representatives and the Secretariat. In the empirical part, the paper analyses the role of the Secretariat in assisting negotiations and presents evidence of declining influence. It is shown how principal-agent theory can contribute to addressing this ‘puzzle of missing delegation’. The paper concludes with a cautionary note as to the ‘location’ of international organizations’ emerging pathologies and calls for additional research to address the relationship between material and social sources to explain behaviour of the key actors within the complex agency.