A functorial property of the Aczel-Buchholz-Feferman function (Unknown)
- New search for: Weiermann, A.
- New search for: Weiermann, A.
In:
JOURNAL OF SYMBOLIC LOGIC
;
59
, 3
;
945
;
1994
-
ISSN:
- Article (Journal) / Print
-
Title:A functorial property of the Aczel-Buchholz-Feferman function
-
Contributors:Weiermann, A. ( author )
-
Published in:JOURNAL OF SYMBOLIC LOGIC ; 59, 3 ; 945
-
Publisher:
- New search for: ASSOCIATION FOR SYMBOLIC LOGIC, INC.
-
Publication date:1994-01-01
-
Size:945 pages
-
ISSN:
-
Type of media:Article (Journal)
-
Type of material:Print
-
Language:Unknown
- New search for: 164 / 510
- Further information on Dewey Decimal Classification
-
Classification:
-
Source:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Table of contents – Volume 59, 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.
- 737
-
On Goedel's theorems on lengths of proofs I: Number of lines and speedup for arithmeticsBuss, S. R. et al. | 1994
- 737
-
On Gödel's theorems on lengths of proofs I: Number of lines and speedup for arithmeticsBuss, Samuel 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