Log in :: RSS/Atom Feeds
Lecture Notes in Logic

Bounded Variable Logics and Counting: A Study in Finite Models

Martin Otto

Lecture Notes in Logic, Volume 9
Berlin: Springer-Verlag, 1997.
183 pp.

Subjects:

03C13 (primary)
03C75 (primary)
03C80 (primary)
03D15 (primary)
68Q15 (primary)
68Q25 (primary)
68R05 (primary)
Permanent link to this monograph: http://projecteuclid.org/euclid.lnl/1235416490
Mathmatical Reviews number (MathSciNet): MR1482523
ISBN:3-540-62037-0

Copyright © 1997, Association for Symbolic Logic.

Miscellaneous Frontmatter

Preface

v-vi

Table of Contents

vii-ix

Chapter 0: Introduction

1-14

Chapter 1: Definitions and Preliminaries

15-49

Chapter 2: The Games and Their Analysis

51-78

Chapter 3: The Invariants

79-95

Chapter 4: Fixed-Point Logic with Counting

97-114

Chapter 5: Related Lindström Extensions

115-130

Chapter 6: Canonization Problems

131-148

Chapter 7: Canonization for Two Variables

149-175

Bibliography

177-179

Index

181-183

Miscellaneous Backmatter

Lecture Notes in Logic

Lecture Notes in Logic