|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
55 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Absolute logics and L∞ω |
Barwise, K.Jon |
1972 |
3 |
p. 309-340 32 p. |
artikel |
||
| 2 | Adding closed cofinal sequences to large cardinals |
Radin, Lon Berk |
1982 |
3 |
p. 243-261 19 p. |
artikel |
||
| 3 | Ad “the κn are Jonsson cardinals and κω is a Rowbottom cardinal” |
Kleinberg, E.M. |
1977 |
3 |
p. 229-248 20 p. |
artikel |
||
| 4 | Algebraically prime models |
Baldwin, John T. |
1981 |
3 |
p. 289-330 42 p. |
artikel |
||
| 5 | A new class of order types |
Baumgartner, James E. |
1976 |
3 |
p. 187-222 36 p. |
artikel |
||
| 6 | Author index |
1978 |
3 |
p. 315- 1 p. |
artikel |
|||
| 7 | Author index |
1979 |
3 |
p. 305- 1 p. |
artikel |
|||
| 8 | Author index |
1979 |
3 |
p. 321- 1 p. |
artikel |
|||
| 9 | Author index |
1980 |
3 |
p. 297- 1 p. |
artikel |
|||
| 10 | Author index |
1982 |
3 |
p. 297- 1 p. |
artikel |
|||
| 11 | Author index |
1981 |
3 |
p. 331- 1 p. |
artikel |
|||
| 12 | Author index |
1980 |
3 |
p. 283- 1 p. |
artikel |
|||
| 13 | Author index to volume 11 |
1977 |
3 |
p. 367- 1 p. |
artikel |
|||
| 14 | Boolean valued models and generalized quantifiers |
Väänänen, Jouko |
1980 |
3 |
p. 193-225 33 p. |
artikel |
||
| 15 | Bounds for proof-search and speed-up in the predicate calculus |
Statman, Richard |
1978 |
3 |
p. 225-287 63 p. |
artikel |
||
| 16 | Countable ordinals and the analytical hierarchy, II |
Kechris, Alexander S. |
1978 |
3 |
p. 193-223 31 p. |
artikel |
||
| 17 | Decidability results in non-classical logics |
Gabbay, Dov M. |
1975 |
3 |
p. 237-295 59 p. |
artikel |
||
| 18 | Degrees of functionals |
Normann, Dag |
1979 |
3 |
p. 269-304 36 p. |
artikel |
||
| 19 | Effective content of field theory |
Metakides, G. |
1979 |
3 |
p. 289-320 32 p. |
artikel |
||
| 20 | Forcing and generalized quantifiers |
Krivine, Jean-Louis |
1973 |
3 |
p. 199-255 57 p. |
artikel |
||
| 21 | Formal systems for some branches of intuitionistic analysis |
Kreisel, G. |
1970 |
3 |
p. 229-387 159 p. |
artikel |
||
| 22 | Generalized erdoös cardinals and O4 |
Baumgartner, James E. |
1978 |
3 |
p. 289-313 25 p. |
artikel |
||
| 23 | Higher set theory and mathematical practice |
Friedman, Harvey M. |
1971 |
3 |
p. 325-357 33 p. |
artikel |
||
| 24 | Isomorphism and higher order equivalence |
Ajtai, M. |
1979 |
3 |
p. 181-203 23 p. |
artikel |
||
| 25 | Iterated perfect-set forcing |
Baumgartner, James E. |
1979 |
3 |
p. 271-288 18 p. |
artikel |
||
| 26 | Model-complete theories of pseudo-algebraically closed fields |
Wheeler, William H. |
1979 |
3 |
p. 205-226 22 p. |
artikel |
||
| 27 | Model-completions and modules |
Eklof, Paul |
1971 |
3 |
p. 251-295 45 p. |
artikel |
||
| 28 | Models and types of Peano's arithmetic |
Gaifman, Haim |
1976 |
3 |
p. 223-306 84 p. |
artikel |
||
| 29 | Model-Theoretic Forcing in Logic With a Generalized Quantifier |
Bruce, Kim B. |
1978 |
3 |
p. 225-265 41 p. |
artikel |
||
| 30 | Model theoretic methods in the theory of isols |
Ellentuck, Erik |
1978 |
3 |
p. 273-285 13 p. |
artikel |
||
| 31 | Model theory for universal classes with the amalgamation property: A study in the foundations of model theory and algebra |
Forrest, William K. |
1977 |
3 |
p. 263-366 104 p. |
artikel |
||
| 32 | Normalization as a homomorphic image of cut-elimination |
Pottinger, Garrel |
1977 |
3 |
p. 323-357 35 p. |
artikel |
||
| 33 | On α- and β-recursively enumerable degrees |
Maass, Wolfgang |
1979 |
3 |
p. 205-231 27 p. |
artikel |
||
| 34 | On elementary theories of some lattices or α-recursively enumerable sets |
Lerman, Mannel |
1978 |
3 |
p. 227-272 46 p. |
artikel |
||
| 35 | On non-minimal p-points over a measurable cardinal |
Gitik, Moti |
1981 |
3 |
p. 269-288 20 p. |
artikel |
||
| 36 | On the completenes principle: A study of provability in heyting's arithmetic and extensions |
Visser, Albert |
1982 |
3 |
p. 263-295 33 p. |
artikel |
||
| 37 | On the elementary theory of Banach algebras |
Macintyre, Angus |
1971 |
3 |
p. 239-269 31 p. |
artikel |
||
| 38 | On the elementary theory of quadruples of vector spaces |
Baur, Walter |
1980 |
3 |
p. 243-262 20 p. |
artikel |
||
| 39 | On the length of Borel hierarchies |
Miller, Arnorld W. |
1979 |
3 |
p. 233-267 35 p. |
artikel |
||
| 40 | Principles of continuous choice and continuity of functions in formal systems for constructive mathematics |
Beeson, Michael J. |
1977 |
3 |
p. 249-322 74 p. |
artikel |
||
| 41 | Probability logic |
Hoover, Douglas N. |
1978 |
3 |
p. 287-313 27 p. |
artikel |
||
| 42 | Reflection and partition properties of admissible ordinals |
Kranakis, Evangelos |
1982 |
3 |
p. 213-242 30 p. |
artikel |
||
| 43 | Simple unstable theories |
Shelah, Saharon |
1980 |
3 |
p. 177-203 27 p. |
artikel |
||
| 44 | Small recursive ordinals, many-one degrees, and the arithmetical difference hierarchy |
Hay, Louise |
1975 |
3 |
p. 297-343 47 p. |
artikel |
||
| 45 | Some combinatorial problems concerning uncountable cardinals |
Jech, Thomas J. |
1973 |
3 |
p. 165-198 34 p. |
artikel |
||
| 46 | Stability, the f.c.p., and superstability; model theoretic properties of formulas in first order theory |
Shelah, Saharon |
1971 |
3 |
p. 271-362 92 p. |
artikel |
||
| 47 | Stationary logic of finitely determinate structures |
Eklof, Paul C. |
1979 |
3 |
p. 227-269 43 p. |
artikel |
||
| 48 | Superstable fields and groups |
Cherlin, G. |
1980 |
3 |
p. 227-270 44 p. |
artikel |
||
| 49 | The fine structure of the constructible hierarchy |
Jensen, R.Björn |
1972 |
3 |
p. 229-308 80 p. |
artikel |
||
| 50 | The model theory of ‘R-formal’ fields |
Jacob, Bill |
1980 |
3 |
p. 263-282 20 p. |
artikel |
||
| 51 | The theory of Boolean ultrapowers |
Mansfield, Richard |
1971 |
3 |
p. 297-323 27 p. |
artikel |
||
| 52 | Thin collections of sets of projective ordinals and analogs of L |
Becker, Howard |
1980 |
3 |
p. 205-241 37 p. |
artikel |
||
| 53 | ℵ1-TREES |
Devlin, Keith J. |
1978 |
3 |
p. 267-330 64 p. |
artikel |
||
| 54 | Trees, subtrees and order types |
Todorčević, Stevo B. |
1981 |
3 |
p. 233-268 36 p. |
artikel |
||
| 55 | Σ 1-well-founded compactness |
Cutland, Nigel |
1980 |
3 |
p. 271-296 26 p. |
artikel |
55 gevonden resultaten