Logic Colloquium '98
Latest Publications

TOTAL DOCUMENTS

34
(FIVE YEARS 0)

H-INDEX

4
(FIVE YEARS 0)

Published By Cambridge University Press

9781316756140
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

An Axiomatization of Quantified Propositional Gödel Logic Using the Takeuti-Titani Rule

2017 ◽  
pp. 91-104 ◽  
Author(s):  
Matthias Baaz ◽  
Helmut Veith
Keyword(s):  
Gödel Logic

Artin Approximation via the Model Theory of Cohen-Macaulay Rings

2017 ◽  
pp. 409-425
Author(s):  
Hans Schoutens
Keyword(s):  
Model Theory ◽  
Artin Approximation

Autonomous Fixed Point Progressions and Fixed Point Transfinite Recursion

2017 ◽  
pp. 449-464 ◽  
Author(s):  
Thomas Strahm
Keyword(s):  
Fixed Point ◽  
Transfinite Recursion

Relative Splittings of in the-Enumeration Degrees

2017 ◽  
pp. 44-56
Author(s):  
Marat M. Arslanov ◽  
Andrea Sorbi
Keyword(s):  
Enumeration Degrees

The Friedberg Jump Inversion Theorem Revisited: A Study of Undefinable Cuts

2017 ◽  
pp. 140-153
Author(s):  
Chi Tat Chong ◽  
Lei Qian ◽  
Yue Yang
Keyword(s):  
Inversion Theorem ◽  
Jump Inversion

Liftings of Homomorphisms Between Quotient Structures and Ulam Stability

2017 ◽  
pp. 173-196 ◽  
Author(s):  
Ilijas Farah
Keyword(s):  
Ulam Stability

Another Pathological Well-Ordering

2017 ◽  
pp. 105-108
Author(s):  
Lev Beklemishev

Opening speech of Petr Vopěnka

2017 ◽  
pp. vii-vii

The Complexity of Linear Logic with Weakening

2017 ◽  
pp. 500-515
Author(s):  
Alasdair Urquhart
Keyword(s):  
Linear Logic

Additive Theories

2017 ◽  
pp. 352-356
Author(s):  
Evgeni A. Palyutin
Load More ...
Sign in / Sign up

Export Citation Format

Share Document