First-order logic and its extensions (English)
National licence
- New search for: Flum, J.
- New search for: Flum, J.
In:
⊨ISILC Logic Conference
;
248-310
;
1975
- Article/Chapter (Book) / Electronic Resource
-
Title:First-order logic and its extensions
-
Contributors:Flum, J. ( author )
-
Published in:⊨ISILC Logic Conference ; 248-310Lecture Notes in Mathematics ; 499 ; 248-310
-
Publisher:
- New search for: Springer Berlin Heidelberg
-
Place of publication:Berlin, Heidelberg
-
Publication date:1975-01-01
-
Size:63 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Type of media:Article/Chapter (Book)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents eBook
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
-
An observation on the product of Silver's forcingAdamowicz, Zofia et al. | 1975
- 10
-
Recursively unsolvable algorithmic problems and related questions reexaminedBörger, Egon et al. | 1975
- 25
-
Lectures on large cardinal axiomsBoos, William et al. | 1975
- 89
-
Indescribability properties and small large cardinalsDevlin, Keith J. et al. | 1975
- 115
-
Marginalia to a theorem of SilverDevlin, Keith I. / Jensen, R. B. et al. | 1975
- 143
-
Computation theories: An axiomatic approach to recursion on general structuresFenstad, Jens Erik et al. | 1975
- 169
-
Closed models and hulls of theoriesFittler, Robert et al. | 1975
- 190
-
Axioms of choice in Morse-Kelley class theoryFlannagan, T. B. et al. | 1975
- 248
-
First-order logic and its extensionsFlum, J. et al. | 1975
- 311
-
Set theory in infinitary languagesGloede, K. et al. | 1975
- 363
-
Sur la méthode en histoire de la logioueImbert, C. et al. | 1975
- 384
-
The model theory of local fieldsKochen, Simon et al. | 1975
- 426
-
Quantifier eliminationKrauss, Peter et al. | 1975
- 445
-
Intensional semantics for natural languageKutschera, Franz et al. | 1975
- 460
-
On extendability of models of ZF set theory to the models of Kelley-Morse theory of classesMarek, W. / Mostowski, A. et al. | 1975
- 543
-
Many-valued algorithmic logicRasiowa, H. et al. | 1975
- 568
-
The least ∑ 2 1 and ∏ 2 1 reflecting ordinalsRichter, Wayne et al. | 1975
- 579
-
Data types as latticesScott, Dana et al. | 1975