Logic Colloquium '90: ASL Summer Meeting in HelsinkiJuha Oikkonen, Jouko Väänänen |
Contents
WILFRIED BUCHHOLZ | 1 |
STEVEN BUECHLER and LUdomir NeweLSKI | 10 |
S BARRY COOPER | 25 |
Copyright | |
12 other sections not shown
Other editions - View all
Logic Colloquium '90: ASL Summer Meeting in Helsinki Juha Oikkonen,Jouko Väänänen Limited preview - 2017 |
Common terms and phrases
a₁ algebra algorithm arbitrary assume assumption atomic supertype axiom C₁ cardinal complete theory computation constituent construction countable D. M. GABBAY D₁ defined definition degrees denote derivation elementary embeddings equivalent example exists free variables Gentzen-type Hence holds honestification identity implies indecomposable induction hypothesis infinite initial clauses initial segment integer irreflexivity isomorphism k-type L₁ labels language lawlike left P gap Lemma linear order logic LPCR Math Mathematics maximal Me(x minimal modal modal logic model theory modules modus ponens natural numbers notion p-DF pair partial function predicate predicate logic proof propositional prove Q gap quantifiers R-modules real closed field realizes-V recursive sets recursor referential intension relation representation type result rule satisfied semantics sense sentences structure subset superatomic supertype T₁ temporal formula temporal logic Th(M Theorem truth value unranked w₁ winning strategy X-graft