Finitely axiomatizable N~1 categorical theories (Unbekannt)
- Neue Suche nach: Hrushovski, E.
- Neue Suche nach: Hrushovski, E.
In:
JOURNAL OF SYMBOLIC LOGIC
;
59
, 3
;
838
;
1994
-
ISSN:
- Aufsatz (Zeitschrift) / Print
-
Titel:Finitely axiomatizable N~1 categorical theories
-
Beteiligte:Hrushovski, E. ( Autor:in )
-
Erschienen in:JOURNAL OF SYMBOLIC LOGIC ; 59, 3 ; 838
-
Verlag:
- Neue Suche nach: ASSOCIATION FOR SYMBOLIC LOGIC, INC.
-
Erscheinungsdatum:01.01.1994
-
Format / Umfang:838 pages
-
ISSN:
-
Medientyp:Aufsatz (Zeitschrift)
-
Format:Print
-
Sprache:Unbekannt
- 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 59, Ausgabe 3
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.
- 737
-
On Gödel's theorems on lengths of proofs I: Number of lines and speedup for arithmeticsBuss, Samuel R. et al. | 1994
- 737
-
On Goedel's theorems on lengths of proofs I: Number of lines and speedup for arithmeticsBuss, S. R. et al. | 1994
- 757
-
The topological Vaught's conjecture and minimal counterexamplesBecker, Howard et al. | 1994
- 785
-
A small reflection principle for bounded arithmeticVerbrugge, Rineke et al. | 1994
- 813
-
More about relatively lawless sequencesMoschovakis, Joan Rand et al. | 1994
- 830
-
A logic for approximate reasoningYing, Minsheng et al. | 1994
- 838
-
Finitely axiomatizable N1 categorical theoriesHrushovski, Ehud et al. | 1994
- 845
-
Kernel contractionHansson, Sven Ove et al. | 1994
- 860
-
Chains and antichains in interval algebrasBekkali, M. et al. | 1994
- 868
-
Almost weakly 2-generic setsFenner, Stephen A. et al. | 1994
- 888
-
A modal view of linear logicMartini, Simone et al. | 1994
- 900
-
On reduction propertiesKikyo, Hirotaka et al. | 1994
- 912
-
Connections between axioms of set theory and basic theorems of universal algebraAndréka, H. et al. | 1994
- 924
-
Bisimulations and predicate logicFernando, Tim et al. | 1994
- 945
-
A functorial property of the Aczel-Buchholz-Feferman functionWeiermann, Andreas et al. | 1994
- 956
-
w*-1 as an initial-segment of the c-degreesGroszek, Marcia et al. | 1994
- 956
-
omega^*~1 as an initial segment of the c-degreesGroszek, M. et al. | 1994
- 977
-
Models of arithmetic and upper bounds for arithmetic setsLachlan, Alistair H. et al. | 1994
- 984
-
Constructing strongly equivalent nonisomorphic models for unsuperstable theories, Part AHyttinen, Tapani et al. | 1994
- 997
-
Combinatorics on ideals and axiom ASharp, James D. et al. | 1994
- 1001
-
A feasible theory for analysisFerreira, Fernando et al. | 1994
- 1012
-
Flat setsGrainger, Arthur D. et al. | 1994
- 1022
-
Covering analytic sets by families of closed setsSolecki, Slawomir et al. | 1994
- 1032
-
A guide to truth predicates in the modern eraSheard, Michael et al. | 1994
- 1055
-
On a generalization of distributivityKanai, Yasuo et al. | 1994
- 1068
-
Diophantine equivalence and countable ringsShlapen-Tokh, Alexandra et al. | 1994
- 1096
-
Jensen's S* theory and the combinatorial content of VFriedman, Sy D. et al. | 1994
- 1096
-
Jensen's ^* theory and the combinatorial content of V = LFriedman, S. D. et al. | 1994
- 1105
-
Reviews| 1994
- 1115
-
Logic and Linguistics Meeting, Columbus, 1993| 1994
- 1116
-
The European Association for Logic, Language, and Computation, Lisbon, 1993| 1994
- 1117
-
Notices| 1994