Overview

Full Product Details

Author:   Juha Oikkonen ,  Jouko Vaananen
Publisher:   Taylor & Francis Inc
Imprint:   A K Peters
Volume:   2
Dimensions:   Width: 16.50cm , Height: 2.00cm , Length: 23.00cm
Weight:   0.499kg
ISBN:  

9781568811321

ISBN 10:   1568811322
Pages:   305
Publication Date:   26 February 2001
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Out of Print
Availability:   Awaiting stock  

Table of Contents

A Note on the Ordinal Analysis of KPM; On the Geometry of U-rank 2 Types: Definability and Global Degree Theory; About the Irreflexivity Hypothesis for Free Left Distributive Magmas; On [omega]1-complete Filters; Labelled Deductive Systems: A Position Paper; Temporal Expressive Completeness in the Presence of Gaps; New Foundations for Mathematical Theories; Absoluteness for Projective Sets; A Division Algorithm for the Free Left Distributive Algebra; Gentzen-type Systems and Resolution Rule: Part II: Predicate Logic; An Intuitionistic Theory of Lawlike, Choice and Lawless Sequences; Sense and Detonation as Algorithm and Value; A Transfinite Version of Puiseux's Theorem, with Applications to Real Closed Fields; On Similarities of Complete Theories; Decidability Questions for Theories of Modules; On CH + 21N > ([alpha])22 for [alpha] < [omega]2; On the Structure of Gamma Degrees

Reviews

Author Information

Tab Content 6

Author Website:  

Countries Available

All regions