A note on the Sigma~1 spectrum of a theory (English)
- New search for: Mollerfeld, M.
- New search for: Rathjen, M.
- New search for: Mollerfeld, M.
- New search for: Rathjen, M.
In:
ARCHIVE FOR MATHEMATICAL LOGIC
;
41
;
33-34
;
2002
-
ISSN:
- Article (Journal) / Print
-
Title:A note on the Sigma~1 spectrum of a theory
-
Contributors:Mollerfeld, M. ( author ) / Rathjen, M. ( author )
-
Published in:ARCHIVE FOR MATHEMATICAL LOGIC ; 41 ; 33-34
-
Publisher:
- New search for: SPRINGER INTERNATIONAL
-
Publication date:2002-01-01
-
Size:2 pages
-
ISSN:
-
Type of media:Article (Journal)
-
Type of material:Print
-
Language:English
- New search for: 511.3
- Further information on Dewey Decimal Classification
-
Classification:
DDC: 511.3 -
Source:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Table of contents – Volume 41
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.
- 1
-
Shelah's stability spectrum and homogeneity spectrum in finite diagramsGrossberg, Rami / Lessmann, Olivier et al. | 2002
- 33
-
A note on the Σ1 spectrum of a theoryMöllerfeld, Michael / Rathjen, Michael et al. | 2002
- 33
-
A note on the Sigma~1 spectrum of a theoryMollerfeld, M. / Rathjen, M. et al. | 2002
- 35
-
A term rewriting characterization of the functions computable in polynomial spaceOitavem, Isabel et al. | 2002
- 49
-
A covering lemma for L (R)Cunningham, D. W. et al. | 2002
- 49
-
A covering lemma for L(ℝ)Cunningham, Daniel W. et al. | 2002
- 55
-
A new conservation result of WKL0 over RCA0Fernandes, António Marques et al. | 2002
- 65
-
Towards Martins minimumBartoszynski, Tomek / Rosłlanowski, Andrzej et al. | 2002
- 83
-
Fuzzy equational logicBělohlávek, Radim et al. | 2002
- 91
-
Strong normalization of a symmetric lambda calculus for second-order classical logicYamagata, Yoriyuki et al. | 2002
- 101
-
H-theories, fragments of H A and P A-normalityMoniri, M. et al. | 2002
- 101
-
ℋ-theories, fragments of HA and PA-normalityMoniri, Morteza et al. | 2002
- 107
-
On the algebraic structure of linear, relevance, and fuzzy logicsPaoli, Francesco et al. | 2002
- 123
-
Epsilon substitution method for theories of jump hierarchiesArai, Toshiyasu et al. | 2002
- 155
-
Amalgamation properties and finite models in Ln-theoriesBaldwin, John / Lessmann, Olivier et al. | 2002
- 169
-
Polytime, combinatory logic and positive safe inductionCantini, Andrea et al. | 2002
- 191
-
Vitali's Theorem and WWKLBrown, Douglas K. / Giusto, Mariagnese / Simpson, Stephen G. et al. | 2002
- 207
-
On the existence of large subsets of [Lambda]<^k^a^p^p^a which contain no unbounded non-stationary subsetsShelah, S. et al. | 2002
- 207
-
On the existence of large subsets of [λ]κ which contain no unbounded non-stationary subsets RID="★"ID="★" Publication number 698 in author's list. Partially supported by the Israel Science Foundation.Shelah, Saharon et al. | 2002
- 215
-
The algebraic structure of the isomorphic types of tally, polynomial time computable setsWang, Yongge et al. | 2002
- 245
-
Strongly meager and strong measure zero setsBartoszyński, Tomek / Shelah, Saharon et al. | 2002
- 251
-
A non-well-founded primitive recursive tree provably well-founded for co-r.e. setsBeckmann, Arnold et al. | 2002
- 259
-
Isolation and the high/low hierarchyIshmukhametov, Shamil / Wu, Guohua et al. | 2002
- 267
-
Finality regained: A coalgebraic study of Scott-sets and multisetsD'Agostino, Giovanna / Visser, Albert et al. | 2002
- 299
-
Extensions of Halkowska-Zajac's three-valued paraconsistent logicPynko, A. P. et al. | 2002
- 299
-
Extensions of Hałkowska–Zajac's three-valued paraconsistent logicPynko, Alexej P. et al. | 2002
- 309
-
Finite computable dimension does not relativizeMcCoy, Charles F.D. et al. | 2002
- 321
-
PCF and infinite free subsets in an algebraShelah, Saharon et al. | 2002
- 361
-
Finite-valued reductions of infinite-valued logicsAguzzoli, Stefano / Gerla, Brunella et al. | 2002
- 401
-
More constructions for Boolean algebrasShelah, Saharon et al. | 2002
- 443
-
On the Beth properties of some intuitionistic modal logicsLuppi, C. et al. | 2002
- 455
-
On the distribution of Lachlan nonsplitting basesCooper, S. Barry / Li, Angsheng / Yi, Xiaoding et al. | 2002
- 483
-
Max and min limitersOwings, James / Gasarch, William / Martin, Georgia et al. | 2002
- 497
-
Strong completeness of lattice-valued logicTakano, Mitio et al. | 2002
- 507
-
Post's problem for supertasks has both positive and negative solutionsHamkins, Joel David / Lewis, Andrew et al. | 2002
- 525
-
Limit spaces and transfinite typesNormann, Dag / Waagb, Geir et al. | 2002
- 541
-
A primer of simple theoriesGrossberg, Rami / Iovino, José / Lessmann, Olivier et al. | 2002
- 581
-
Transfer principles in nonstandard intuitionistic arithmeticAvigad, J. / Helzner, J. et al. | 2002
- 603
-
On the formal points of the formal topology of the binary treeValentini, Silvio et al. | 2002
- 619
-
Some Ramsey-type theorems for countably determined setsMlček, Josef / Zlatoš, Pavol et al. | 2002
- 631
-
Analytic functions over a field of power seriesMourgues, Marie-Hélène et al. | 2002
- 643
-
Fuzzy logic, continuity and effectivenessBiacino, Loredana / Gerla, Giangiacomo et al. | 2002
- 669
-
A note on countable models of 1-based theoriesTanovic, Predrag et al. | 2002
- 673
-
Subvarieties of BL-algebras generated by single-component chainsDi Nola, Antonio / Esteva, Francesc / Garcia, Pere / Godo, Lluís / Sessa, Salvatore et al. | 2002
- 687
-
Metric Boolean algebras and constructive measure theoryCoquand, Thierry / Palmgren, Erik et al. | 2002
- 705
-
Aspects of strong compactness, measurability, and indestructibilityApter, Arthur W. et al. | 2002
- 721
-
Representation theorems for transfinite computability and definabilityNormann, Dag et al. | 2002
- 743
-
Prime ideals on P ω (λ) with the partition propertyMatet, Pierre / Péan, Cédric / Todorcevic, Stevo et al. | 2002
- 743
-
Prime ideals on P~o~m~e~g~a(Lambda) with the partition propertyMatet, P. / Pean, C. / Todorcevic, S. et al. | 2002
- 765
-
Continuity, proof systems and the theory of transfinite computationsNormann, Dag et al. | 2002
- 789
-
A normalizing system of natural deduction for intuitionistic linear logicNegri, Sara et al. | 2002