Working with Nonstandard Models
Most of the research in foundations of mathematics that I do in some way or another involves the use of nonstandard models. I will give a few examples, and indicate what is involved.
Table of Contents
CALCULATION IDENTIFICATION NUMBER _ _ Fossil/Industrial Plant J.O. or W.O. NO. DIVISION & GROUP CURRENT CALC NO. OPTIONAL OPTIONAL TASK WORK PACKAGE NO, CODE 0599602 G(B)-12 345P APPROVALS SIGNATURE & DATE CONFIRMATION REQUIRED M INDEPENDENT REV. NO. SUPERCEDES PREPARER(S)/DATE(S) REVIEWER(S)/DATE(S) REVIEWER(S)/ OR NEW CALC. NO. OR YES NO DATES(S) CALC. NO. REV. NO. V. N. Zeng George H.C. Liang George H.C. Liang 0 [ 02/08/1999 N/A
Applications semi-propres sur un espace borélien
Resume On montre que si ℵ 1 L 1 ( ℵ 2 L 1 ), alors toute application semi-propre d'un espace Δ 1 1 sur un espace Σ 0 3 ( Σ 0 4 ) est inductivement propre. On conjecture que si « ∀α∈ω ω , ℵ 1 L(α) 1 », alors le resultat est vrai pour toute application definie entre deux espaces boreliens.