A completeness theorem for symmetric product phase spaces (Englisch)
- Neue Suche nach: Ehrhard, T.
- Neue Suche nach: Ehrhard, T.
In:
JOURNAL OF SYMBOLIC LOGIC
;
69
, 2
;
340-370
;
2004
-
ISSN:
- Aufsatz (Zeitschrift) / Print
-
Titel:A completeness theorem for symmetric product phase spaces
-
Beteiligte:Ehrhard, T. ( Autor:in )
-
Erschienen in:JOURNAL OF SYMBOLIC LOGIC ; 69, 2 ; 340-370
-
Verlag:
- Neue Suche nach: ASSOCIATION FOR SYMBOLIC LOGIC, INC.
-
Erscheinungsdatum:01.01.2004
-
Format / Umfang:31 pages
-
ISSN:
-
Medientyp:Aufsatz (Zeitschrift)
-
Format:Print
-
Sprache:Englisch
- Neue Suche nach: 164 / 510
- Weitere Informationen zu Dewey Decimal Classification
-
Klassifikation:
-
Datenquelle:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Inhaltsverzeichnis – Band 69, Ausgabe 2
Zeige alle Jahrgänge und Ausgaben
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 329
-
On first-order sentences without finite modelsDjordjevic, Marko et al. | 2004
- 340
-
A completeness theorem for symmetric product phase spacesEhrhard, Thomas et al. | 2004
- 371
-
A universal extender model without large cardinals in VMitchell, William et al. | 2004
- 387
-
Implicit proofsKrajícek, Jan et al. | 2004
- 398
-
On almost orthogonality in simple theoriesBen-Yaacov, Itay et al. | 2004
- 409
-
Bi-isolation in the d.c.e. degreesWu, Guohua et al. | 2004
- 421
-
A partial analysis of modified realizabilityOosten, Jaap Van et al. | 2004
- 430
-
Degree spectra of prime modelsCsima, Barbara F. et al. | 2004
- 443
-
Formalized token models and duality in semantics: An algebraic approachHansen, Lars et al. | 2004
- 478
-
On a question of Herzog and RothmalerPillay, Anand et al. | 2004
- 482
-
Combinatorics for the dominating and unsplitting numbersAubrey, Jason et al. | 2004
- 499
-
Semi-bounded relations in ordered modulesBelegradek, Oleg et al. | 2004
- 518
-
Ladder gaps over stationary setsAbraham, Uri et al. | 2004
- 533
-
Schnorr randomnessDowney, Rodney G. et al. | 2004
- 555
-
Degrees of unsolvability of continuous functionsMiller, Joseph S. et al. | 2004
- 585
-
II relations and paths through (part of the article not published in ASCII)Goncharov, S.S. et al. | 2004
- 585
-
Π~1^1 relations and paths throughGoncharov, S. S. / Harizanov, V. S. / Knight, J. F. / Shore, R. A. et al. | 2004
- 612
-
An incompleteness theorem for bn-modelsMummert, Carl et al. | 2004
- 612
-
An incompleteness theorem for beta~n-modelsMummert, C. / Simpson, S. G. et al. | 2004