|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
139 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A comparison of well-known ordinal notation systems for ε 0 |
Lee, Gyesik |
2007 |
1-2 |
p. 48-70 23 p. |
artikel |
||
| 2 | A contribution to the end-extension problem and the Π1 conservativeness problem |
Adamowicz, Zofia |
1993 |
1-2 |
p. 3-48 46 p. |
artikel |
||
| 3 | Adding clubs with square |
Krueger, John |
2006 |
1-2 |
p. 1-28 28 p. |
artikel |
||
| 4 | A generalized notion of weak interpretability and the corresponding modal logic |
Dzhaparidze, Giorgie |
1993 |
1-2 |
p. 113-160 48 p. |
artikel |
||
| 5 | A geometrical procedure for computing relaxation |
Pulcini, Gabriele |
2009 |
1-2 |
p. 80-89 10 p. |
artikel |
||
| 6 | Almost free groups and Ehrenfeucht–Fraı̈ssé games for successors of singular cardinals |
Shelah, Saharon |
2002 |
1-2 |
p. 147-173 27 p. |
artikel |
||
| 7 | A model-theoretic characterization of the weak pigeonhole principle |
Thapen, Neil |
2002 |
1-2 |
p. 175-195 21 p. |
artikel |
||
| 8 | An algebraic approach to subframe logics. Intuitionistic case |
Bezhanishvili, Guram |
2007 |
1-2 |
p. 84-100 17 p. |
artikel |
||
| 9 | Analytic combinatorics, proof-theoretic ordinals, and phase transitions for independence results |
Weiermann, Andreas |
2005 |
1-2 |
p. 189-218 30 p. |
artikel |
||
| 10 | A note on the diagonalizable algebras of PA and ZF |
Shavrukov, V.Yu. |
1993 |
1-2 |
p. 161-173 13 p. |
artikel |
||
| 11 | A note on the notion of truth in fuzzy logic |
Hájek, Petr |
2001 |
1-2 |
p. 65-69 5 p. |
artikel |
||
| 12 | A sharpened version of McAloon's theorem on initial segments of models of IΔ 0 |
D'Aquino, Paola |
1993 |
1-2 |
p. 49-62 14 p. |
artikel |
||
| 13 | A simple proof of second-order strong normalization with permutative conversions |
Tatsuta, Makoto |
2005 |
1-2 |
p. 134-155 22 p. |
artikel |
||
| 14 | A strong boundedness theorem for dilators |
Kechris, A.S. |
1991 |
1-2 |
p. 93-97 5 p. |
artikel |
||
| 15 | A term calculus for (co-)recursive definitions on streamlike data structures |
Buchholz, Wilfried |
2005 |
1-2 |
p. 75-90 16 p. |
artikel |
||
| 16 | Automorphism groups of differentially closed fields |
Konnerth, Reinhold |
2002 |
1-2 |
p. 1-60 60 p. |
artikel |
||
| 17 | Axiomatizing the monodic fragment of first-order temporal logic |
Wolter, Frank |
2002 |
1-2 |
p. 133-145 13 p. |
artikel |
||
| 18 | Bounded arithmetic and the polynomial hierarchy |
Krajíček, Jan |
1991 |
1-2 |
p. 143-153 11 p. |
artikel |
||
| 19 | Boundedness theorems for dilators and ptykes |
S. Kechris, Alexander |
1991 |
1-2 |
p. 79-92 14 p. |
artikel |
||
| 20 | Bounding computably enumerable degrees in the Ershov hierarchy |
Li, Angsheng |
2006 |
1-2 |
p. 79-88 10 p. |
artikel |
||
| 21 | Categoricity in abstract elementary classes with no maximal models |
VanDieren, Monica |
2006 |
1-2 |
p. 108-147 40 p. |
artikel |
||
| 22 | Cell decomposition and dimension function in the theory of closed ordered differential fields |
Brihaye, Thomas |
2009 |
1-2 |
p. 111-128 18 p. |
artikel |
||
| 23 | Changing the heights of automorphism towers |
Hamkins, Joel David |
2000 |
1-2 |
p. 139-157 19 p. |
artikel |
||
| 24 | Classification theory through stationary logic |
Appenzeller, Fred |
2000 |
1-2 |
p. 27-68 42 p. |
artikel |
||
| 25 | Coherence for star-autonomous categories |
Došen, Kosta |
2006 |
1-2 |
p. 225-242 18 p. |
artikel |
||
| 26 | Coherence in linear predicate logic |
Došen, Kosta |
2009 |
1-2 |
p. 125-153 29 p. |
artikel |
||
| 27 | Completeness proofs for propositional logic with polynomial-time connectives |
Crossley, John N. |
1989 |
1-2 |
p. 39-52 14 p. |
artikel |
||
| 28 | Δ 0-complexity of the relation y = Π i ⩽ n F(i) |
Berarducci, Alessandro |
1995 |
1-2 |
p. 49-56 8 p. |
artikel |
||
| 29 | Complexity-theoretic algebra II: Boolean algebras |
Nerode, A. |
1989 |
1-2 |
p. 71-99 29 p. |
artikel |
||
| 30 | Constructive compact operators on a Hilbert space |
Ishihara, Hajime |
1991 |
1-2 |
p. 31-37 7 p. |
artikel |
||
| 31 | Contents |
2001 |
1-2 |
p. v-vi nvt p. |
artikel |
|||
| 32 | Contents |
2005 |
1-2 |
p. vi- 1 p. |
artikel |
|||
| 33 | Controlling witnesses |
Baaz, Matthias |
2005 |
1-2 |
p. 22-29 8 p. |
artikel |
||
| 34 | CZF and Second Order Arithmetic |
Lubarsky, Robert S. |
2006 |
1-2 |
p. 29-34 6 p. |
artikel |
||
| 35 | Degrees of orderings not isomorphic to recursive linear orderings |
Jockusch Jr., Carl G. |
1991 |
1-2 |
p. 39-64 26 p. |
artikel |
||
| 36 | Describing proofs by short tautologies |
Hetzl, Stefan |
2009 |
1-2 |
p. 129-145 17 p. |
artikel |
||
| 37 | Domain theory in logical form * |
Abramsky, Samson |
1991 |
1-2 |
p. 1-77 77 p. |
artikel |
||
| 38 | Editorial Board |
2009 |
1-2 |
p. ii- 1 p. |
artikel |
|||
| 39 | Editorial Board |
1995 |
1-2 |
p. ii- 1 p. |
artikel |
|||
| 40 | Editorial board |
1991 |
1-2 |
p. ii- 1 p. |
artikel |
|||
| 41 | Editorial board |
1993 |
1-2 |
p. ii- 1 p. |
artikel |
|||
| 42 | Editorial Board |
2006 |
1-2 |
p. ii- 1 p. |
artikel |
|||
| 43 | Editorial Board |
2005 |
1-2 |
p. ii- 1 p. |
artikel |
|||
| 44 | Editorial Board |
2007 |
1-2 |
p. IFC- 1 p. |
artikel |
|||
| 45 | Editorial Board |
1989 |
1-2 |
p. ii- 1 p. |
artikel |
|||
| 46 | Effective categoricity of Abelian p -groups |
Calvert, Wesley |
2009 |
1-2 |
p. 187-197 11 p. |
artikel |
||
| 47 | Effective categoricity of equivalence structures |
Calvert, Wesley |
2006 |
1-2 |
p. 61-78 18 p. |
artikel |
||
| 48 | Elementary canonical formulae: extending Sahlqvist’s theorem |
Goranko, Valentin |
2006 |
1-2 |
p. 180-217 38 p. |
artikel |
||
| 49 | Fallen cardinals |
Kojman, Menachem |
2001 |
1-2 |
p. 117-129 13 p. |
artikel |
||
| 50 | Finite high-order games and an inductive approach towards Gowers's dichotomy |
Wagner, Roy |
2001 |
1-2 |
p. 39-60 22 p. |
artikel |
||
| 51 | First-order Gödel logics |
Baaz, Matthias |
2007 |
1-2 |
p. 23-47 25 p. |
artikel |
||
| 52 | Foreword |
1991 |
1-2 |
p. vii- 1 p. |
artikel |
|||
| 53 | From discrete to continuous time |
Keisler, H.Jerome |
1991 |
1-2 |
p. 99-141 43 p. |
artikel |
||
| 54 | Further notes on cell decomposition in closed ordered differential fields |
Rivière, Cédric |
2009 |
1-2 |
p. 100-110 11 p. |
artikel |
||
| 55 | Game ideals |
Matet, Pierre |
2009 |
1-2 |
p. 23-39 17 p. |
artikel |
||
| 56 | Generalizing theorems in real closed fields |
Baaz, Matthias |
1995 |
1-2 |
p. 3-23 21 p. |
artikel |
||
| 57 | Geometry of Robinson consistency in Łukasiewicz logic |
Busaniche, Manuela |
2007 |
1-2 |
p. 1-22 22 p. |
artikel |
||
| 58 | Hilbert's tenth problem for weak theories of arithmetic |
Kaye, Richard |
1993 |
1-2 |
p. 63-73 11 p. |
artikel |
||
| 59 | σ-homomorphisms from the Borel σ-algebra into the Loeb σ-algebra |
Render, Hermann |
2001 |
1-2 |
p. 15-21 7 p. |
artikel |
||
| 60 | Hyperhypersimple sets and Δ2 systems |
Chong, C.T. |
1989 |
1-2 |
p. 25-38 14 p. |
artikel |
||
| 61 | Ideas in the epsilon substitution method for Π 1 0 -FIX |
Arai, Toshiyasu |
2005 |
1-2 |
p. 3-21 19 p. |
artikel |
||
| 62 | Independence and the finite submodel property |
Koponen, Vera |
2009 |
1-2 |
p. 58-79 22 p. |
artikel |
||
| 63 | Inductive definitions over a predicative arithmetic |
Wainer, Stanley S. |
2005 |
1-2 |
p. 175-188 14 p. |
artikel |
||
| 64 | Inductive rings and fields |
Shiqiang, Wang |
1989 |
1-2 |
p. 133-137 5 p. |
artikel |
||
| 65 | Inductive types and type constraints in the second-order lambda calculus |
Mendler, Nax Paul |
1991 |
1-2 |
p. 159-172 14 p. |
artikel |
||
| 66 | Injecting inconsistencies into models of pa |
Solovay, Robert M. |
1989 |
1-2 |
p. 101-132 32 p. |
artikel |
||
| 67 | Interpolation and Beth’s property in propositional many-valued logics: A semantic investigation |
Montagna, Franco |
2006 |
1-2 |
p. 148-179 32 p. |
artikel |
||
| 68 | Iterated local reflection versus iterated consistency |
Beklemishev, Lev |
1995 |
1-2 |
p. 25-48 24 p. |
artikel |
||
| 69 | Kripke-style models for typed lambda calculus |
Mitchell, John C. |
1991 |
1-2 |
p. 99-124 26 p. |
artikel |
||
| 70 | Large cardinals and gap-1 morasses |
Brooke-Taylor, Andrew D. |
2009 |
1-2 |
p. 71-99 29 p. |
artikel |
||
| 71 | Linearization of definable order relations |
Kanovei, Vladimir |
2000 |
1-2 |
p. 69-100 32 p. |
artikel |
||
| 72 | List of publications of Petr Vopěnka |
2001 |
1-2 |
p. 9-13 5 p. |
artikel |
|||
| 73 | Logarithmic-exponential series |
van den Dries, Lou |
2001 |
1-2 |
p. 61-113 53 p. |
artikel |
||
| 74 | Modal languages for topology: Expressivity and definability |
ten Cate, Balder |
2009 |
1-2 |
p. 146-170 25 p. |
artikel |
||
| 75 | Models for the Lambek calculus |
Pentus, Mati |
1995 |
1-2 |
p. 179-213 35 p. |
artikel |
||
| 76 | Needed reals and recursion in generic reals |
Blass, Andreas |
2001 |
1-2 |
p. 77-88 12 p. |
artikel |
||
| 77 | Neocompact quantifier elimination in structures based on Banach spaces |
Baratella, Stefano |
2001 |
1-2 |
p. 115-143 29 p. |
artikel |
||
| 78 | Nonstandard arithmetic of Hilbert subsets |
Yasumoto, Masahiro |
1991 |
1-2 |
p. 195-202 8 p. |
artikel |
||
| 79 | O -minimal Λ m -regular stratification |
Fischer, Andreas |
2007 |
1-2 |
p. 101-112 12 p. |
artikel |
||
| 80 | On ∑ 1 and ∏ 1 sentences and degrees of interpretability |
Lindström, Per |
1993 |
1-2 |
p. 175-193 19 p. |
artikel |
||
| 81 | On definable filters in computably enumerable degrees |
Wang, Wei |
2007 |
1-2 |
p. 71-83 13 p. |
artikel |
||
| 82 | On modal logic of deductive closure |
Naumov, Pavel |
2006 |
1-2 |
p. 218-224 7 p. |
artikel |
||
| 83 | On NP-completeness in Linear Logic |
Kopylov, Alexey P. |
1995 |
1-2 |
p. 137-152 16 p. |
artikel |
||
| 84 | On the computational content of intuitionistic propositional proofs |
Buss, Samuel R |
2001 |
1-2 |
p. 49-64 16 p. |
artikel |
||
| 85 | On the limit existence principles in elementary arithmetic and Σ n 0 -consequences of theories |
Beklemishev, Lev D. |
2005 |
1-2 |
p. 56-74 19 p. |
artikel |
||
| 86 | On the provability logic of bounded arithmetic |
Berarducci, Alessandro |
1993 |
1-2 |
p. 75-93 19 p. |
artikel |
||
| 87 | Orbits of computably enumerable sets: low sets can avoid an upper cone |
Miller, Russell |
2002 |
1-2 |
p. 61-85 25 p. |
artikel |
||
| 88 | Order-isomorphic η 1 -orderings in Cohen extensions |
Dumas, Bob A. |
2009 |
1-2 |
p. 1-22 22 p. |
artikel |
||
| 89 | Patterns of resemblance of order 2 |
Carlson, Timothy J. |
2009 |
1-2 |
p. 90-124 35 p. |
artikel |
||
| 90 | Petri nets, Horn programs, Linear Logic and vector games |
Kanovich, Max I. |
1995 |
1-2 |
p. 107-135 29 p. |
artikel |
||
| 91 | Petr Vopěnka ( ∗ 16.5.1935) |
Sochor, A. |
2001 |
1-2 |
p. 1-8 8 p. |
artikel |
||
| 92 | Preface |
Artemov, Sergei |
1995 |
1-2 |
p. 1- 1 p. |
artikel |
||
| 93 | Preface |
Shinoda, Juichi |
1991 |
1-2 |
p. 1- 1 p. |
artikel |
||
| 94 | Preface |
de Jongh, Dick |
1993 |
1-2 |
p. 1- 1 p. |
artikel |
||
| 95 | Preface |
Finet, Catherine |
2001 |
1-2 |
p. 1-2 2 p. |
artikel |
||
| 96 | Preface |
Beckmann, Arnold |
2005 |
1-2 |
p. 1-2 2 p. |
artikel |
||
| 97 | Proof-theoretic analysis of termination proofs |
Buchholz, Wilfried |
1995 |
1-2 |
p. 57-65 9 p. |
artikel |
||
| 98 | Proof theory for admissible rules |
Iemhoff, Rosalie |
2009 |
1-2 |
p. 171-186 16 p. |
artikel |
||
| 99 | Propositional consistency proofs |
Buss, Samuel R. |
1991 |
1-2 |
p. 3-29 27 p. |
artikel |
||
| 100 | Quasi-apartness and neighbourhood spaces |
Ishihara, Hajime |
2006 |
1-2 |
p. 296-306 11 p. |
artikel |
||
| 101 | Quotient topologies in constructive set theory and type theory |
Ishihara, Hajime |
2006 |
1-2 |
p. 257-265 9 p. |
artikel |
||
| 102 | Realism, nonstandard set theory, and large cardinals |
Hrbacek, Karel |
2001 |
1-2 |
p. 15-48 34 p. |
artikel |
||
| 103 | Reflections on reflections in explicit mathematics |
Jäger, Gerhard |
2005 |
1-2 |
p. 116-133 18 p. |
artikel |
||
| 104 | Regressive partition relations, n-subtle cardinals, and Borel diagonalization |
Kanamori, Akihiro |
1991 |
1-2 |
p. 65-77 13 p. |
artikel |
||
| 105 | Relating the bounded arithmetic and polynomial time hierarchies |
Buss, Samuel R. |
1995 |
1-2 |
p. 67-77 11 p. |
artikel |
||
| 106 | Relative and modified relative realizability |
Birkedal, Lars |
2002 |
1-2 |
p. 115-132 18 p. |
artikel |
||
| 107 | Remarks on applicative theories |
Cantini, Andrea |
2005 |
1-2 |
p. 91-115 25 p. |
artikel |
||
| 108 | Remarks on isomorphisms in typed lambda calculi with empty and sum types |
Fiore, Marcelo |
2006 |
1-2 |
p. 35-50 16 p. |
artikel |
||
| 109 | Replacement versus collection and related topics in constructive Zermelo–Fraenkel set theory |
Rathjen, Michael |
2005 |
1-2 |
p. 156-174 19 p. |
artikel |
||
| 110 | Separation results for the size of constant-depth propositional proofs |
Beckmann, Arnold |
2005 |
1-2 |
p. 30-55 26 p. |
artikel |
||
| 111 | Simplifying von Plato's axiomatization of Constructive Apartness Geometry |
Li, Dafa |
2000 |
1-2 |
p. 1-26 26 p. |
artikel |
||
| 112 | Smooth categories and global □ |
Jensen, Ronald B. |
2000 |
1-2 |
p. 101-138 38 p. |
artikel |
||
| 113 | Some applications of mixed support iterations |
Krueger, John |
2009 |
1-2 |
p. 40-57 18 p. |
artikel |
||
| 114 | Some combinatorial principles equivalent to restrictions of transfinite induction up to Γ. |
Kurata, Reijiro |
1989 |
1-2 |
p. 63-69 7 p. |
artikel |
||
| 115 | Some conservation results on weak König's lemma |
Simpson, Stephen G. |
2002 |
1-2 |
p. 87-114 28 p. |
artikel |
||
| 116 | Strongly uniform bounds from semi-constructive proofs |
Gerhardy, Philipp |
2006 |
1-2 |
p. 89-107 19 p. |
artikel |
||
| 117 | Structure theorems for o-minimal expansions of groups |
Edmundo, Mario J. |
2000 |
1-2 |
p. 159-181 23 p. |
artikel |
||
| 118 | Substitution Frege and extended Frege proof systems in non-classical logics |
Jeřábek, Emil |
2009 |
1-2 |
p. 1-48 48 p. |
artikel |
||
| 119 | Terminal notions in set theory |
Zapletal, Jindřich |
2001 |
1-2 |
p. 89-116 28 p. |
artikel |
||
| 120 | The analytical completeness of Dzhaparidze's polymodal logics |
Boolos, George |
1993 |
1-2 |
p. 95-111 17 p. |
artikel |
||
| 121 | The density of infima in the recursively enumerable degrees |
Slaman, Theodore A. |
1991 |
1-2 |
p. 155-179 25 p. |
artikel |
||
| 122 | The generic filter property in nonstandard analysis |
Di Nasso, Mauro |
2001 |
1-2 |
p. 23-37 15 p. |
artikel |
||
| 123 | The ibT degrees of computably enumerable sets are not dense |
Barmpalias, George |
2006 |
1-2 |
p. 51-60 10 p. |
artikel |
||
| 124 | The machinery of consistency proofs |
Yasugi, Mariko |
1989 |
1-2 |
p. 139-152 14 p. |
artikel |
||
| 125 | The name for Kojman–Shelah collapsing function |
Balcar, Bohuslav |
2001 |
1-2 |
p. 131-137 7 p. |
artikel |
||
| 126 | The recursively enumerable degrees have infinitely many one-types |
Ambos-Spies, Klaus |
1989 |
1-2 |
p. 1-23 23 p. |
artikel |
||
| 127 | The strength of choiceless patterns of singular and weakly compact cardinals |
Busche, Daniel |
2009 |
1-2 |
p. 198-248 51 p. |
artikel |
||
| 128 | The three dimensions of proofs |
Guiraud, Yves |
2006 |
1-2 |
p. 266-295 30 p. |
artikel |
||
| 129 | The topological complexity of a natural class of norms on Banach spaces |
Godefroy, Gilles |
2001 |
1-2 |
p. 3-13 11 p. |
artikel |
||
| 130 | Three clouds may cover the plane |
Komjáth, Péter |
2001 |
1-2 |
p. 71-75 5 p. |
artikel |
||
| 131 | Towards the computational complexity of ℘Rω-terms |
Niggl, Karl-Heinz |
1995 |
1-2 |
p. 153-178 26 p. |
artikel |
||
| 132 | Towards the decidability of the theory of modules over finite commutative rings |
Puninski, Gena |
2009 |
1-2 |
p. 49-70 22 p. |
artikel |
||
| 133 | Transfer theorems for π-monads |
Cutland, Nigel J. |
1989 |
1-2 |
p. 53-62 10 p. |
artikel |
||
| 134 | Typing in reflective combinatory logic |
Krupski, Nikolai |
2006 |
1-2 |
p. 243-256 14 p. |
artikel |
||
| 135 | Understanding uniformity in Feferman's explicit mathematics |
Glaß, Thomas |
1995 |
1-2 |
p. 89-106 18 p. |
artikel |
||
| 136 | Uniform proofs as a foundation for logic programming |
Miller, Dale |
1991 |
1-2 |
p. 125-157 33 p. |
artikel |
||
| 137 | Verification of concurrent programs: the automata-theoretic framework * |
Vardi, Moshe Y. |
1991 |
1-2 |
p. 79-98 20 p. |
artikel |
||
| 138 | Weak axioms of determinacy and subsystems of analysis II (∑0 2 games) |
Tanaka, Kazuyuki |
1991 |
1-2 |
p. 181-193 13 p. |
artikel |
||
| 139 | What are the ∀∑1 b-consequences of T 2 1 and T 2 2? |
Ferreira, Fernando |
1995 |
1-2 |
p. 79-88 10 p. |
artikel |
139 gevonden resultaten