Chapter 22. Logic in Finite Structures: Definability, Complexity, and Randomness

  1. Dale Jacquette
  1. Scott Weinstein

Published Online: 26 NOV 2007

DOI: 10.1002/9780470996751.ch23

A Companion to Philosophical Logic

A Companion to Philosophical Logic

How to Cite

Weinstein, S. (2006) Logic in Finite Structures: Definability, Complexity, and Randomness, in A Companion to Philosophical Logic (ed D. Jacquette), Blackwell Publishing Ltd, Oxford, UK. doi: 10.1002/9780470996751.ch23

Publication History

  1. Published Online: 26 NOV 2007
  2. Published Print: 1 JAN 2006

ISBN Information

Print ISBN: 9780631216711

Online ISBN: 9780470996751

SEARCH

Keywords:

  • finite structures;
  • logic;
  • definability;
  • complexity;
  • randomness

Summary

This chapter contains sections titled:

  • Validity in the Finite

  • Model Theory in the Finite?

  • Definability and Complexity

  • First-Order Definability

  • Second-Order Definability

  • Inductive Definability

  • Infinitary Logics

  • Random Graphs and 0–1 Laws