Search

Your search keyword '"Benthem, A., van"' showing total 3 results
Start Over Author "Benthem, A., van" Database Gale General OneFile
3 results on '"Benthem, A., van"'

2. Minimal predicates, fixed-points, and definability

Author

Benthem,Johan Van

Subjects
Mathematical logic -- Analysis, Symbolic and mathematical logic -- Analysis, Modality (Logic) -- Analysis, Axioms -- Analysis, Mathematics
Abstract

Minimal predicates P satisfying a particular given order description are widely used in mathematical logic and computer science. Predicate minimization extends to the theory of modal logic, leading to a proper hierarchy of modal axioms, first-order-definables and first-order fixed point definables.

Published
2005

3. Bulk electronic structure of SrTiO(sub 3): Experiment and theory

Author

Benthem, K. van, Eisasser, C., and French, R.H.

Subjects
Electron configuration -- Spectra, Valence electrons -- Structure, Valence electrons -- Spectra, Physics
Abstract

The optical properties and electronic structure of SrTiO(sub 3) is determined. This is performed by valence electron-energy loss spectroscopy (VEELS) and optical vacuum ultraviolet (VUV) spectroscopy and spectroscopic ellipsometry.

Published
2001

Catalog

Books, media, physical & digital resources
See catalog results