11 found
Order:
Disambiguations
H. Luckhardt [8]Horst Luckhardt [3]
  1.  30
    Herbrand-Analysen Zweier Beweise Des Satzes Von Roth: Polynomiale Anzahlschranken.H. Luckhardt - 1989 - Journal of Symbolic Logic 54 (1):234-263.
    A previously unexplored method, combining logical and mathematical elements, is shown to yield substantial numerical improvements in the area of Diophantine approximations. Kreisel illustrated the method abstractly by noting that effective bounds on the number of elements are ensured if Herbrand terms from ineffective proofs of Σ 2 -finiteness theorems satisfy certain simple growth conditions. Here several efficient growth conditions for the same purpose are presented that are actually satisfied in practice, in particular, by the proofs of Roth's theorem due (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  2. Extensional Gödel Functional Interpretation.Horst Luckhardt - 1973 - New York: Springer Verlag.
  3.  20
    Complexity Versus the Church-Rosser Property and Confluence.H. Luckhardt - 1991 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 37 (5-6):85-92.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  35
    Intuitionistic Uniformity Principles for Propositions and Some Applications.W. Friedrich & H. Luckhardt - 1980 - Studia Logica 39 (4):361 - 369.
    This note deals with the prepositional uniformity principlep-UP: p x N A (p, x) x N p A (p, x) ( species of all propositions) in intuitionistic mathematics.p-UP is implied by WC and KS. But there are interestingp-UP-cases which require weak KS resp. WC only. UP for number species follows fromp-UP by extended bar-induction (ranging over propositions) and suitable weak continuity. As corollaries we have the disjunction property and the existential definability w.r.t. concrete objects. Other consequences are: there is no (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  5.  14
    A Limit for Higher Recursion Theory.H. Luckhardt - 1979 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 25 (30):475-479.
  6.  11
    Complexity Versus the Church‐Rosser Property and Confluence.H. Luckhardt - 1991 - Mathematical Logic Quarterly 37 (5‐6):85-92.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  7.  20
    On Constructive Functions Ranging Over Propositions.H. Luckhardt - 1980 - Studia Logica 39 (4):371 - 374.
    It is shown that there is no constructive extensional truth-value mapping from the speciesP of all propositions into known constructive structures P.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  8.  2
    A Short Proof of a Well‐Known Theorem of Intuitionistic Analysis.Horst Luckhardt - 1975 - Mathematical Logic Quarterly 21 (1):185-186.
  9.  2
    A Limit for Higher Recursion Theory.H. Luckhardt - 1979 - Mathematical Logic Quarterly 25 (30):475-479.
  10. Bounds Extracted by Kreisel From Ineffective Proofs.Horst Luckhardt - 1996 - In Piergiorgio Odifreddi (ed.), Kreiseliana. About and Around Georg Kreisel. A K Peters. pp. 289--300.
     
    Export citation  
     
    Bookmark  
  11. Herbrand Analysis of 2 Proofs of the Roth Theorem-Polynomial Bounds.H. Luckhardt - 1989 - Journal of Symbolic Logic 54 (1):234-263.