|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
48 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Ackermann's set theory equals ZF |
Reinhardt, William N. |
1970 |
2 |
p. 189-249 61 p. |
artikel |
||
| 2 | A correction to “stationary logic” |
Barwise, Jon |
1981 |
2 |
p. 231-232 2 p. |
artikel |
||
| 3 | Admissible sets and the saturation of structures |
Adamson, Alan |
1978 |
2 |
p. 111-157 47 p. |
artikel |
||
| 4 | A guide to the identification of admissible sets above structures |
Schlipf, John S. |
1977 |
2 |
p. 151-192 42 p. |
artikel |
||
| 5 | Almost sure theories |
Lynch, James F. |
1980 |
2 |
p. 91-135 45 p. |
artikel |
||
| 6 | Appendix to models with second order properties II trees with no undefined branches |
Shelah, Saharon |
1978 |
2 |
p. 223-226 4 p. |
artikel |
||
| 7 | Artin-Schreier theory for commutative regular rings |
van den Dries, L. |
1977 |
2 |
p. 113-150 38 p. |
artikel |
||
| 8 | A short proof of a partition theorem for the ordinal ωω |
Larson, Jean A. |
1973 |
2 |
p. 129-145 17 p. |
artikel |
||
| 9 | Cardinal addition and the axiom of choice |
Brandford, Robert Earl |
1971 |
2 |
p. 111-196 86 p. |
artikel |
||
| 10 | Chains in Boolean algebras |
McKenzie, Ralph |
1982 |
2 |
p. 137-175 39 p. |
artikel |
||
| 11 | Compact extensions of L(Q) (part 1a) |
Magidor, Menachem |
1977 |
2 |
p. 217-261 45 p. |
artikel |
||
| 12 | Compactness, interpolation and Friedman's third problem |
Mundici, Daniele |
1982 |
2 |
p. 197-211 15 p. |
artikel |
||
| 13 | Completeness theorems for topological models |
SGRO, Joseph |
1977 |
2 |
p. 173-193 21 p. |
artikel |
||
| 14 | Completing theories by forcing |
Barwise, Jon |
1970 |
2 |
p. 119-142 24 p. |
artikel |
||
| 15 | Computability of boolean algebras and their extensions |
Alton, Donald A. |
1973 |
2 |
p. 95-128 34 p. |
artikel |
||
| 16 | Definability in lattices of equational theoris |
McKenzie, Ralph |
1971 |
2 |
p. 197-237 41 p. |
artikel |
||
| 17 | Determinacy in the Mitchell models |
Steel, John R. |
1982 |
2 |
p. 109-125 17 p. |
artikel |
||
| 18 | Expanded theory of ordered Abelian groups |
Gurevich, Yuri |
1977 |
2 |
p. 193-228 36 p. |
artikel |
||
| 19 | Extending models of arithmetic |
Schmerl, James H. |
1978 |
2 |
p. 89-109 21 p. |
artikel |
||
| 20 | Filter logics: Filters on ω 1 |
Kaufmann, Matt |
1981 |
2 |
p. 155-200 46 p. |
artikel |
||
| 21 | Filter spaces and continuous functionals |
Hyland, J.M.E. |
1979 |
2 |
p. 101-143 43 p. |
artikel |
||
| 22 | Finite axioms of choice |
Truss, John |
1973 |
2 |
p. 147-176 30 p. |
artikel |
||
| 23 | Hierarchies of constructible sets |
Devlin, Keith J. |
1977 |
2 |
p. 195-202 8 p. |
artikel |
||
| 24 | Inadmissibility, tame R.E. sets and the admissible collapse |
Maass, Wolfgang |
1978 |
2 |
p. 149-170 22 p. |
artikel |
||
| 25 | Induction and transfinite induction in intuitionistic systems |
Scarpellini, Bruno |
1972 |
2 |
p. 173-227 55 p. |
artikel |
||
| 26 | Infinitary intuitionistic logic from a classical point of view |
Nadel, Mark E. |
1978 |
2 |
p. 159-191 33 p. |
artikel |
||
| 27 | Internal cohen extensions |
Martin, D.A. |
1970 |
2 |
p. 143-178 36 p. |
artikel |
||
| 28 | Iterated ultrapowers and prikry forcing |
Dehornoy, Patrick |
1978 |
2 |
p. 109-160 52 p. |
artikel |
||
| 29 | δ-Logics and generalized quantifiers |
Makowsky, J.A. |
1976 |
2 |
p. 155-192 38 p. |
artikel |
||
| 30 | Measure and minimal degrees |
Paris, J.B. |
1977 |
2 |
p. 203-216 14 p. |
artikel |
||
| 31 | On a problem of Gillman and Keisler |
Prikry, Karel |
1970 |
2 |
p. 179-187 9 p. |
artikel |
||
| 32 | On barinduction of higher types for decidable predicates |
Scarpellini, Bruno |
1973 |
2 |
p. 77-163 87 p. |
artikel |
||
| 33 | On the determinacy of games on ordinals |
Harrington, Leo A. |
1981 |
2 |
p. 109-154 46 p. |
artikel |
||
| 34 | Powers of regular cardinals |
Easton, William B. |
1970 |
2 |
p. 139-178 40 p. |
artikel |
||
| 35 | Recursion theory on algebraic structures with independent sets |
Remmel, J.B. |
1980 |
2 |
p. 153-191 39 p. |
artikel |
||
| 36 | Recursively enumerable vector spaces |
Metakides, G. |
1977 |
2 |
p. 147-171 25 p. |
artikel |
||
| 37 | Recursive well-founded orderings |
Chen, Keh-Hsun |
1978 |
2 |
p. 117-147 31 p. |
artikel |
||
| 38 | Some applications of iterated ultrapowers in set theory |
Kunen, Kenneth |
1970 |
2 |
p. 179-227 49 p. |
artikel |
||
| 39 | Some applications of Jensen's coding theorem |
David, R. |
1982 |
2 |
p. 177-196 20 p. |
artikel |
||
| 40 | Stationary logic |
Barwise, Jon |
1978 |
2 |
p. 171-224 54 p. |
artikel |
||
| 41 | Substructure lattices of models of arithmetic |
Mills, George |
1979 |
2 |
p. 145-180 36 p. |
artikel |
||
| 42 | Successive large cardinals |
Bull Jr., Everett L. |
1978 |
2 |
p. 161-191 31 p. |
artikel |
||
| 43 | The axiomatization problem for fragments |
Smorynski, C. |
1978 |
2 |
p. 193-221 29 p. |
artikel |
||
| 44 | The covering lemma for L[U] |
Dodd, A.J. |
1982 |
2 |
p. 127-135 9 p. |
artikel |
||
| 45 | The elementary theory of abelian groups |
Eklof, Paul C. |
1972 |
2 |
p. 115-171 57 p. |
artikel |
||
| 46 | Towards feasible solutions of the tautology problem |
Dunham, Bradford |
1976 |
2 |
p. 117-154 38 p. |
artikel |
||
| 47 | Transfinite descending sequences of models HODα |
Zadroźny, Wo̵dzimierz |
1981 |
2 |
p. 201-229 29 p. |
artikel |
||
| 48 | Two splitting theorems for beta-recursion theory |
Homer, Steven |
1980 |
2 |
p. 137-151 15 p. |
artikel |
48 gevonden resultaten