|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
79 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A correction to “concepts of general topology in constructive mathematics and in sheaves” |
Grayson, R.J. |
1982 |
1 |
p. 99- 1 p. |
artikel |
||
| 2 | Adding dependent choice |
Pincus, David |
1977 |
1 |
p. 105-145 41 p. |
artikel |
||
| 3 | A degree-theoretic definition of the ramified analytical hierarchy |
Jockusch Jr., Carl G. |
1976 |
1 |
p. 1-32 32 p. |
artikel |
||
| 4 | An “admissible” generalization of a theorem on countable ∑1 1 sets of reals with applications |
Makkai, M. |
1977 |
1 |
p. 1-30 30 p. |
artikel |
||
| 5 | Anals of mathematical logic |
1970 |
1 |
p. IFC- 1 p. |
artikel |
|||
| 6 | A new approach to infinitary languages |
Hintikka, Jaakko |
1976 |
1 |
p. 95-115 21 p. |
artikel |
||
| 7 | An interpretation of intuitionistic analysis |
van Dalen, D. |
1978 |
1 |
p. 1-43 43 p. |
artikel |
||
| 8 | Aronszajn trees and the independence of the transfer property |
Mitchell, William |
1972 |
1 |
p. 21-46 26 p. |
artikel |
||
| 9 | Author index to volume 4 |
1972 |
1 |
p. I- 1 p. |
artikel |
|||
| 10 | Automorphisms of the lattice of recursively enumerable sets. Part II: Low sets |
Soare, Robert I. |
1982 |
1 |
p. 69-107 39 p. |
artikel |
||
| 11 | Boolean models and infinitary first order languages |
Ressayre, J.-P. |
1973 |
1 |
p. 41-92 52 p. |
artikel |
||
| 12 | Compactness for omitting of types |
Benda, Miroslav |
1978 |
1 |
p. 39-56 18 p. |
artikel |
||
| 13 | Concepts of general topology in constructive mathematics and in sheaves |
Grayson, R.J. |
1981 |
1 |
p. 1-41 41 p. |
artikel |
||
| 14 | Concepts of general topology in constructive mathematics and in sheaves, II |
Grayson, R.J. |
1982 |
1 |
p. 55-98 44 p. |
artikel |
||
| 15 | Consistency proofs in model theory: A contribution to Jensenlehre |
Burgess, John P. |
1978 |
1 |
p. 1-12 12 p. |
artikel |
||
| 16 | Countable approximations and Löwenheim-Skolem theorems |
Kueker, David W. |
1977 |
1 |
p. 57-103 47 p. |
artikel |
||
| 17 | Counting the number of equivalence classes of Borel and coanalytic equivalence relations |
Silver, Jack H. |
1980 |
1 |
p. 1-28 28 p. |
artikel |
||
| 18 | Decidability and stability of free nilpotent lie algebras and free nilpotent p-groups of finite exponent |
Baudisch, Andreas |
1982 |
1 |
p. 1-25 25 p. |
artikel |
||
| 19 | Degrees of unsolvability complementary between recursively enumerable degrees, Part 1 |
Cooper, S.B. |
1972 |
1 |
p. 31-73 43 p. |
artikel |
||
| 20 | Editorial Board |
1979 |
1 |
p. ii- 1 p. |
artikel |
|||
| 21 | Editorial Board |
1974 |
1 |
p. iii- 1 p. |
artikel |
|||
| 22 | Editorial Board |
1980 |
1 |
p. ii- 1 p. |
artikel |
|||
| 23 | Editorial Board |
1970 |
1 |
p. CO1- 1 p. |
artikel |
|||
| 24 | Editorial Board |
1972 |
1 |
p. iii- 1 p. |
artikel |
|||
| 25 | Editorial Board |
1978 |
1 |
p. ii- 1 p. |
artikel |
|||
| 26 | Editorial Board |
1976 |
1 |
p. i- 1 p. |
artikel |
|||
| 27 | Editorial Board |
1971 |
1 |
p. IFC- 1 p. |
artikel |
|||
| 28 | Editorial Board |
1978 |
1 |
p. ii- 1 p. |
artikel |
|||
| 29 | Editorial Board |
1973 |
1 |
p. iii- 1 p. |
artikel |
|||
| 30 | Editorial Board |
1977 |
1 |
p. ii- 1 p. |
artikel |
|||
| 31 | Editorial Board |
1981 |
1 |
p. ii- 1 p. |
artikel |
|||
| 32 | Editorial Board |
1981 |
1 |
p. ii- 1 p. |
artikel |
|||
| 33 | Editorial Board |
1982 |
1 |
p. ii- 1 p. |
artikel |
|||
| 34 | Editorial Board |
1982 |
1 |
p. IFC- 1 p. |
artikel |
|||
| 35 | Editorial Board |
1978 |
1 |
p. ii- 1 p. |
artikel |
|||
| 36 | Editorial Board |
1977 |
1 |
p. ii- 1 p. |
artikel |
|||
| 37 | Editorial Board |
1972 |
1 |
p. iii- 1 p. |
artikel |
|||
| 38 | Effective partitions of the real line into Borel sets of bounded rank |
Stern, Jacques |
1980 |
1 |
p. 29-60 32 p. |
artikel |
||
| 39 | Erratum |
1973 |
1 |
p. 93- 1 p. |
artikel |
|||
| 40 | Finite diagrams stable in power |
Shelah, Saharon |
1970 |
1 |
p. 69-118 50 p. |
artikel |
||
| 41 | Finite injury arguments in infinite computation theories |
Stoltenberg-Hansen, Viggo |
1979 |
1 |
p. 57-80 24 p. |
artikel |
||
| 42 | Flipping properties: A unifying thread in the theory of large cardinals |
Abramson, F.G. |
1977 |
1 |
p. 25-58 34 p. |
artikel |
||
| 43 | Forcing with tagged trees |
Steel, John R. |
1978 |
1 |
p. 55-74 20 p. |
artikel |
||
| 44 | Foundations of recursive model theory |
Millar, Terrence S. |
1978 |
1 |
p. 45-72 28 p. |
artikel |
||
| 45 | Happy families |
Mathias, A.R.D. |
1977 |
1 |
p. 59-111 53 p. |
artikel |
||
| 46 | How large is the first strongly compact cardinal? or a study on identity crises |
Magidor, Menachem |
1976 |
1 |
p. 33-57 25 p. |
artikel |
||
| 47 | Infinitary properties of abelian torsion groups |
Barwise, Jon |
1970 |
1 |
p. 25-68 44 p. |
artikel |
||
| 48 | Infinite games and reduced products |
Hodges, Wilfrid |
1981 |
1 |
p. 77-108 32 p. |
artikel |
||
| 49 | Local definability theory |
Reyes, Gonzalo E. |
1970 |
1 |
p. 95-137 43 p. |
artikel |
||
| 50 | Logic with the quantifier “there exist uncountably many” |
Keisler, H. Jerome |
1970 |
1 |
p. 1-93 93 p. |
artikel |
||
| 51 | Long projective wellorderings |
Harrington, Leo |
1977 |
1 |
p. 1-24 24 p. |
artikel |
||
| 52 | Models with compactness properties relative to an admissible language |
Ressayre, J.P. |
1977 |
1 |
p. 31-55 25 p. |
artikel |
||
| 53 | Models with second order properties I. Boolean algebras with no definable automorphisms |
Shelah, Saharon |
1978 |
1 |
p. 57-72 16 p. |
artikel |
||
| 54 | Models with second order properties II. Trees with no undefined branches |
Shelah, Saharon |
1978 |
1 |
p. 73-87 15 p. |
artikel |
||
| 55 | Model theory of topological structures |
Garavaglia, Steven |
1978 |
1 |
p. 13-37 25 p. |
artikel |
||
| 56 | On Martin's conjecture |
Wagner, C.M. |
1982 |
1 |
p. 47-67 21 p. |
artikel |
||
| 57 | On reduced products and filters |
Benda, Mroslav |
1972 |
1 |
p. 1-29 29 p. |
artikel |
||
| 58 | On the decomposition of sets of reals to borel sets |
Levy, A. |
1972 |
1 |
p. 1-19 19 p. |
artikel |
||
| 59 | On the elementary theory of Hensel fields |
Weispfenning, Volker |
1976 |
1 |
p. 59-93 35 p. |
artikel |
||
| 60 | Ordinal definability in the rank hierarchy |
Dawson Jr., John W. |
1973 |
1 |
p. 1-39 39 p. |
artikel |
||
| 61 | Recursively enumerable Boolean algebras |
Remmel, J.B. |
1978 |
1 |
p. 75-107 33 p. |
artikel |
||
| 62 | Recursively invariant β-recursion theory |
Maass, Wolfgand |
1981 |
1 |
p. 27-73 47 p. |
artikel |
||
| 63 | Reducibility orderings: Theories, definability and automorphisms |
Nerode, Anil |
1980 |
1 |
p. 61-89 29 p. |
artikel |
||
| 64 | Regularity properties of ideals and ultrafilters |
Taylor, Alan D. |
1979 |
1 |
p. 33-55 23 p. |
artikel |
||
| 65 | Rosser sentences |
Guaspari, D. |
1979 |
1 |
p. 81-99 19 p. |
artikel |
||
| 66 | Saturation of ultrapowers and Keisler's order |
Shelah, Saharon |
1972 |
1 |
p. 75-114 40 p. |
artikel |
||
| 67 | Some applications of Kripke models to formal systems of intuitionistic analysis |
Weinstein, Scott |
1979 |
1 |
p. 1-32 32 p. |
artikel |
||
| 68 | Some applications of model theory in set theory |
Silver, Jack H. |
1971 |
1 |
p. 45-110 66 p. |
artikel |
||
| 69 | Some strong axioms of infinity incompatible with the axiom of constructibility |
Rowbottom, Frederick |
1971 |
1 |
p. 1-43 43 p. |
artikel |
||
| 70 | Steel forcing and barwise compactness |
Friedman, Sy D. |
1982 |
1 |
p. 31-46 16 p. |
artikel |
||
| 71 | Strong axioms of infinity and elementary embeddings |
Solovay, Robert M. |
1978 |
1 |
p. 73-116 44 p. |
artikel |
||
| 72 | Strong compactness and other cardinal sins |
Ketonen, Jussi |
1972 |
1 |
p. 47-76 30 p. |
artikel |
||
| 73 | The Boolean algebra of formulas of first-order logic |
Faust, Don H. |
1982 |
1 |
p. 27-53 27 p. |
artikel |
||
| 74 | The continuous functionals; computations, recursions and degrees |
Normann, Dag |
1981 |
1 |
p. 1-26 26 p. |
artikel |
||
| 75 | The core model |
Dodd, A. |
1981 |
1 |
p. 43-75 33 p. |
artikel |
||
| 76 | The correspondence between cut-elimination and normalization |
Zucker, J. |
1974 |
1 |
p. 1-112 112 p. |
artikel |
||
| 77 | The covering lemma for K |
Dodd, Tony |
1982 |
1 |
p. 1-30 30 p. |
artikel |
||
| 78 | Ultrafilters on a countable set |
Booth, David |
1970 |
1 |
p. 1-24 24 p. |
artikel |
||
| 79 | Universal horn classes categorical or free in power |
Givant, Steven |
1978 |
1 |
p. 1-53 53 p. |
artikel |
79 gevonden resultaten