Adding Skolem functions to simple theories (English)
- New search for: Nübling, Herwig
- New search for: Nübling, Herwig
In:
Archive for Mathematical Logic
;
43
, 3
; 359-370
;
2004
-
ISSN:
- Article (Journal) / Print
-
Title:Adding Skolem functions to simple theories
-
Contributors:Nübling, Herwig ( author )
-
Published in:Archive for Mathematical Logic ; 43, 3 ; 359-370
-
Publisher:
- New search for: Springer-Verlag
- New search for: Springer
-
Place of publication:Berlin
-
Publication date:2004
-
ISSN:
-
ZDBID:
-
DOI:
-
Type of media:Article (Journal)
-
Type of material:Print
-
Language:English
- New search for: 54.10 / 08.33 / 31.10
- Further information on Basic classification
-
Keywords:
-
Classification:
-
Source:
Table of contents – Volume 43, Issue 3
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 285
-
Forcing axiom failure for any λ>ℵ1Shelah, Saharon et al. | 2004
- 297
-
Proof-theoretical analysis of order relationsNegri, Sara / Plato, Jan von / Coquand, Thierry et al. | 2004
- 311
-
Generic compactness reformulatedKönig, Bernhard et al. | 2004
- 327
-
The isomorphism problem for classes of computable fieldsCalvert, Wesley et al. | 2004
- 337
-
The strong soundness theorem for real closed fields and Hilbert’s Nullstellensatz in second order arithmeticSakamoto, Nobuyuki / Tanaka, Kazuyuki et al. | 2004
- 351
-
Matrix identities and the pigeonhole principleSoltys, Michael / Urquhart, Alasdair et al. | 2004
- 359
-
Adding Skolem functions to simple theoriesNübling, Herwig et al. | 2004
- 371
-
On the quantifier complexity of Δ n+1 (T)– inductionCordón-Franco, A. / Fernández-Margarit, A. / Lara-Martín, F.F. et al. | 2004
- 399
-
Embeddings into the Medvedev and Muchnik lattices of Π0 1 classesBinns, Stephen / Simpson, Stephen G. et al. | 2004
- 415
-
Quasimaximality and principal filters isomorphism betweenDimitrov, Rumen et al. | 2004