Structures related to Pascal’s triangle modulo $2$ and their elementary theories

Ivan Korec

Skip to main content (access key 's'), Skip to navigation (access key 'n'), Accessibility information (access key '0')

Displaying similar documents to “Structures related to Pascal’s triangle modulo $2$ and their elementary theories”

Finite models and finitely many variables

Anuj Dawar (1999)

Banach Center Publications

Similarity:

This paper is a survey of results on finite variable logics in finite model theory. It focusses on the common underlying techniques that unite many such results.

Fixed points and self-reference.

Smullyan, Raymond M. (1984)

International Journal of Mathematics and Mathematical Sciences

Similarity:

On definable sets of positive integers

Andrzej Mostowski (1947)

Fundamenta Mathematicae

Similarity:

Second order forcing, algebraically closed structures, and large cardinals

G. Cherlin (1975)

Fundamenta Mathematicae

Similarity:

Definability of arithmetical operations from binary quadratic forms

Ivan Korec (1998)

Acta Mathematica et Informatica Universitatis Ostraviensis

Similarity:

States of affairs as values for formulas

Miroslav Mleziva (1975)

Kybernetika

Similarity:

Generalizing Vaught sentences from ω to strong cofinality ω

M. Makkai (1974)

Fundamenta Mathematicae

Similarity:

Displaying similar documents to “Structures related to Pascal’s triangle modulo 2 and their elementary theories”

Finite models and finitely many variables

Fixed points and self-reference.

On definable sets of positive integers

Second order forcing, algebraically closed structures, and large cardinals

Definability of arithmetical operations from binary quadratic forms

States of affairs as values for formulas

Generalizing Vaught sentences from ω to strong cofinality ω

Displaying similar documents to “Structures related to Pascal’s triangle modulo $2$ and their elementary theories”