Skip to main content (access key 's'), Skip to navigation (access key 'n'), Accessibility information (access key '0')
EuDML - The European Digital Mathematics Library

Login | Register | (Why Register?)

  • Home
  • Advanced Search
  • Browse by Subject
  • Browse by Journals
  • Refs Lookup
Back to Simple Search

Advanced Search

Match of the following rules

Add Sub-clause

Add Another Rule

Contains the following math formula (red border means the formula is incomplete)

Formula preview

Currently displaying 1 – 5 of 5

Showing per page

Order by Relevance | Title | Year of publication

A Possible Characterization of Generic Structures.

H. Simmons — 1972

Mathematica Scandinavica

An Omitting Types Theorem with an Application to the Construction of Generic Structures.

H. Simmons — 1973

Mathematica Scandinavica

The use of injective-like structures in model theory

H. Simmons — 1974

Compositio Mathematica

Spaces with Boolean assemblies

H. Simmons — 1980

Colloquium Mathematicae

Gödel's diagonalization technique and related properties of theories

A. Macintyre;  H. Simmons — 1973

Colloquium Mathematicae

Page 1

Download Results (CSV)

Languages

  • 2 en
  • 1 de

Document types

  • 5 Article

Journals

  • 2 Colloquium Mathematicae
  • 2 Mathematica Scandinavica
  • 1 Compositio Mathematica

Years

  • 1 1980
  • 1 1974
  • 2 1973
  • 1 1972

Authors

  • 5 Simmons, H
  • 1 Macintyre, A
EuDML
  • About EuDML initiative
  • Feedback
  •  version 2.1.7