|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
92 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Abstract elementary classes and accessible categories |
Beke, T. |
2012 |
12 |
p. 2008-2017 10 p. |
artikel |
||
| 2 | A canonical hidden-variable space |
Brandenburger, Adam |
2018 |
12 |
p. 1295-1302 |
artikel |
||
| 3 | A cubical model of homotopy type theory |
Awodey, Steve |
2018 |
12 |
p. 1270-1294 |
artikel |
||
| 4 | A functional interpretation for nonstandard arithmetic |
van den Berg, Benno |
2012 |
12 |
p. 1962-1994 33 p. |
artikel |
||
| 5 | Algorithmic randomness, reverse mathematics, and the dominated convergence theorem |
Avigad, Jeremy |
2012 |
12 |
p. 1854-1864 11 p. |
artikel |
||
| 6 | A model of Cummings and Foreman revisited |
Unger, Spencer |
2014 |
12 |
p. 1813-1831 19 p. |
artikel |
||
| 7 | An Analogy Principle in Inductive Logic |
Hill, A. |
2013 |
12 |
p. 1293-1321 29 p. |
artikel |
||
| 8 | An exposition of Hrushovskiʼs New Strongly Minimal Set |
Ziegler, Martin |
2013 |
12 |
p. 1507-1519 13 p. |
artikel |
||
| 9 | An intuitionistic version of Ramsey's Theorem and its use in Program Termination |
Berardi, Stefano |
2015 |
12 |
p. 1382-1406 25 p. |
artikel |
||
| 10 | Atomic polymorphism and the existence property |
Ferreira, Gilda |
2018 |
12 |
p. 1303-1316 |
artikel |
||
| 11 | Baumgartnerʼs conjecture and bounded forcing axioms |
Asperó, David |
2013 |
12 |
p. 1178-1186 9 p. |
artikel |
||
| 12 | Binary simple homogeneous structures |
Koponen, Vera |
2018 |
12 |
p. 1335-1368 |
artikel |
||
| 13 | Borel reducibility and finitely Hölder( α ) embeddability |
Ding, Longyun |
2011 |
12 |
p. 970-980 11 p. |
artikel |
||
| 14 | Canonical extensions for congruential logics with the deduction theorem |
Gehrke, Mai |
2010 |
12 |
p. 1502-1519 18 p. |
artikel |
||
| 15 | Categories with families and first-order logic with dependent sorts |
Palmgren, Erik |
2019 |
12 |
p. |
artikel |
||
| 16 | CERES in higher-order logic |
Hetzl, Stefan |
2011 |
12 |
p. 1001-1034 34 p. |
artikel |
||
| 17 | Chain conditions in dependent groups |
Kaplan, Itay |
2013 |
12 |
p. 1322-1337 16 p. |
artikel |
||
| 18 | Classifying torsion free groups in o-minimal expansions of real closed fields |
Barriga, Eliana |
2016 |
12 |
p. 1267-1297 31 p. |
artikel |
||
| 19 | Consistency, optimality, and incompleteness |
Chen, Yijia |
2013 |
12 |
p. 1224-1235 12 p. |
artikel |
||
| 20 | Contents |
2013 |
12 |
p. v- 1 p. |
artikel |
|||
| 21 | Corrigendum to “The d.r.e. degrees are not dense” [Ann. Pure Appl. Logic 55 (1991) 125–151] |
Barry Cooper, S. |
2017 |
12 |
p. 2164-2165 2 p. |
artikel |
||
| 22 | Cut-elimination for ω 1 |
Arai, Toshiyasu |
2018 |
12 |
p. 1246-1269 |
artikel |
||
| 23 | Decidability of the theory of modules over Prüfer domains with dense value groups |
Gregory, Lorna |
2019 |
12 |
p. |
artikel |
||
| 24 | Decomposing Borel functions and structure at finite levels of the Baire hierarchy |
Pawlikowski, Janusz |
2012 |
12 |
p. 1748-1764 17 p. |
artikel |
||
| 25 | Dynamic measure logic |
Lando, Tamar |
2012 |
12 |
p. 1719-1737 19 p. |
artikel |
||
| 26 | Eastonʼs theorem and large cardinals from the optimal hypothesis |
Friedman, Sy-David |
2012 |
12 |
p. 1738-1747 10 p. |
artikel |
||
| 27 | Editorial Board |
2016 |
12 |
p. IFC- 1 p. |
artikel |
|||
| 28 | Editorial Board |
2014 |
12 |
p. IFC- 1 p. |
artikel |
|||
| 29 | Editorial Board |
2015 |
12 |
p. IFC- 1 p. |
artikel |
|||
| 30 | Editorial Board |
2018 |
12 |
p. ii |
artikel |
|||
| 31 | Editorial Board |
2013 |
12 |
p. IFC- 1 p. |
artikel |
|||
| 32 | Editorial Board |
2019 |
12 |
p. |
artikel |
|||
| 33 | Erratum to “On the reflection invariance of residuated chains” [Ann. Pure Appl. Logic 161 (2009) 220–227] |
Jenei, Sándor |
2010 |
12 |
p. 1603-1604 2 p. |
artikel |
||
| 34 | Erratum to “State-morphism MV-algebras” [Ann. Pure Appl. Logic 161 (2009) 161–173] |
Di Nola, A. |
2010 |
12 |
p. 1605-1607 3 p. |
artikel |
||
| 35 | Exponentiations over the universal enveloping algebra of s l 2 ( C ) |
L’Innocente, Sonia |
2010 |
12 |
p. 1565-1580 16 p. |
artikel |
||
| 36 | Expressive completeness through logically tractable models |
Otto, Martin |
2013 |
12 |
p. 1418-1453 36 p. |
artikel |
||
| 37 | Extension without cut |
Straßburger, Lutz |
2012 |
12 |
p. 1995-2007 13 p. |
artikel |
||
| 38 | Finite axiomatizability in Łukasiewicz logic |
Mundici, Daniele |
2011 |
12 |
p. 1035-1047 13 p. |
artikel |
||
| 39 | First order tameness of measures |
Kaiser, Tobias |
2012 |
12 |
p. 1903-1927 25 p. |
artikel |
||
| 40 | Fundamental results for pointfree convex geometry |
Maruyama, Yoshihiro |
2010 |
12 |
p. 1486-1501 16 p. |
artikel |
||
| 41 | Fusion and large cardinal preservation |
Friedman, Sy-David |
2013 |
12 |
p. 1247-1273 27 p. |
artikel |
||
| 42 | Generalising canonical extension to the categorical setting |
Coumans, Dion |
2012 |
12 |
p. 1940-1961 22 p. |
artikel |
||
| 43 | Generalizations of the Kunen inconsistency |
Hamkins, Joel David |
2012 |
12 |
p. 1872-1890 19 p. |
artikel |
||
| 44 | Generating transformation semigroups using endomorphisms of preorders, graphs, and tolerances |
Mitchell, J.D. |
2010 |
12 |
p. 1471-1485 15 p. |
artikel |
||
| 45 | Goodstein sequences for prominent ordinals up to the ordinal of Π 1 1 − C A 0 |
Weiermann, Andreas |
2013 |
12 |
p. 1493-1506 14 p. |
artikel |
||
| 46 | Independence results for variants of sharply bounded induction |
Kołodziejczyk, Leszek Aleksander |
2011 |
12 |
p. 981-990 10 p. |
artikel |
||
| 47 | Inductive inference and reverse mathematics |
Hölzl, Rupert |
2016 |
12 |
p. 1242-1266 25 p. |
artikel |
||
| 48 | Infinite games specified by 2-tape automata |
Finkel, Olivier |
2016 |
12 |
p. 1184-1212 29 p. |
artikel |
||
| 49 | Infinitely Peano differentiable functions in polynomially bounded o-minimal structures |
Fischer, Andreas |
2010 |
12 |
p. 1520-1524 5 p. |
artikel |
||
| 50 | Interaction graphs: Multiplicatives |
Seiller, Thomas |
2012 |
12 |
p. 1808-1837 30 p. |
artikel |
||
| 51 | Kolmogorov complexity and computably enumerable sets |
Barmpalias, George |
2013 |
12 |
p. 1187-1200 14 p. |
artikel |
||
| 52 | Large cardinals and basic sequences |
Lopez-Abad, Jordi |
2013 |
12 |
p. 1390-1417 28 p. |
artikel |
||
| 53 | Logical form, mathematical practice, and Frege's Begriffsschrift |
Macbeth, Danielle |
2018 |
12 |
p. 1419-1436 |
artikel |
||
| 54 | Logic for update products and steps into the past |
Sack, Joshua |
2010 |
12 |
p. 1431-1461 31 p. |
artikel |
||
| 55 | Logic of secrets in collaboration networks |
Miner More, Sara |
2011 |
12 |
p. 959-969 11 p. |
artikel |
||
| 56 | Measuring complexities of classes of structures |
Csima, Barbara F. |
2015 |
12 |
p. 1365-1381 17 p. |
artikel |
||
| 57 | More infinity for a better finitism |
Sanders, Sam |
2010 |
12 |
p. 1525-1540 16 p. |
artikel |
||
| 58 | Multicomponent proof-theoretic method for proving interpolation properties |
Kuznets, Roman |
2018 |
12 |
p. 1369-1418 |
artikel |
||
| 59 | On the existence of indiscernible trees |
Takeuchi, Kota |
2012 |
12 |
p. 1891-1902 12 p. |
artikel |
||
| 60 | On two topological cardinal invariants of an order-theoretic flavour |
Spadaro, Santi |
2012 |
12 |
p. 1865-1871 7 p. |
artikel |
||
| 61 | Orbits of subsets of the monster model and geometric theories |
Casanovas, Enrique |
2017 |
12 |
p. 2152-2163 12 p. |
artikel |
||
| 62 | Preface |
Hirvonen, Åsa |
2018 |
12 |
p. 1243-1245 |
artikel |
||
| 63 | Preface |
Ambos-Spies, Klaus |
2013 |
12 |
p. 1177- 1 p. |
artikel |
||
| 64 | Projective mad families |
Friedman, Sy-David |
2010 |
12 |
p. 1581-1587 7 p. |
artikel |
||
| 65 | Proof-theoretic conservations of weak weak intuitionistic constructive set theories |
Gordeev, Lev |
2013 |
12 |
p. 1274-1292 19 p. |
artikel |
||
| 66 | Realizability models refuting Ishiharaʼs boundedness principle |
Lietz, Peter |
2012 |
12 |
p. 1803-1807 5 p. |
artikel |
||
| 67 | Realizing an AD + model as a derived model of a premouse |
Zhu, Yizheng |
2015 |
12 |
p. 1275-1364 90 p. |
artikel |
||
| 68 | Reducing belief simpliciter to degrees of belief |
Leitgeb, Hannes |
2013 |
12 |
p. 1338-1389 52 p. |
artikel |
||
| 69 | Reductions between types of numberings |
Herbert, Ian |
2019 |
12 |
p. |
artikel |
||
| 70 | Reverse mathematical bounds for the Termination Theorem |
Steila, Silvia |
2016 |
12 |
p. 1213-1241 29 p. |
artikel |
||
| 71 | Schmerl decompositions in first order arithmetic |
Dorais, François |
2019 |
12 |
p. |
artikel |
||
| 72 | Scott rank of Polish metric spaces |
Doucha, Michal |
2014 |
12 |
p. 1919-1929 11 p. |
artikel |
||
| 73 | Short propositional refutations for dense random 3CNF formulas |
Müller, Sebastian |
2014 |
12 |
p. 1864-1918 55 p. |
artikel |
||
| 74 | Slow reflection |
Freund, Anton |
2017 |
12 |
p. 2103-2128 26 p. |
artikel |
||
| 75 | Some characterization and preservation theorems in modal logic |
Perkov, Tin |
2012 |
12 |
p. 1928-1939 12 p. |
artikel |
||
| 76 | Some new results on decidability for elementary algebra and geometry |
Solovay, Robert M. |
2012 |
12 |
p. 1765-1802 38 p. |
artikel |
||
| 77 | Special transformations in algebraically closed valued fields |
Yin, Yimu |
2010 |
12 |
p. 1541-1564 24 p. |
artikel |
||
| 78 | Supersimple ω-categorical theories and pregeometries |
Koponen, Vera |
2019 |
12 |
p. |
artikel |
||
| 79 | Superstability and symmetry |
VanDieren, Monica M. |
2016 |
12 |
p. 1171-1183 13 p. |
artikel |
||
| 80 | Syntactic cut-elimination for a fragment of the modal mu-calculus |
Brünnler, Kai |
2012 |
12 |
p. 1838-1853 16 p. |
artikel |
||
| 81 | The bounded proof property via step algebras and step frames |
Bezhanishvili, Nick |
2014 |
12 |
p. 1832-1863 32 p. |
artikel |
||
| 82 | The computable Lipschitz degrees of computably enumerable sets are not dense |
Day, Adam R. |
2010 |
12 |
p. 1588-1602 15 p. |
artikel |
||
| 83 | The descriptive set-theoretical complexity of the embeddability relation on models of large size |
Motto Ros, Luca |
2013 |
12 |
p. 1454-1492 39 p. |
artikel |
||
| 84 | The determinacy strength of Π 2 1 -comprehension |
Heinatsch, Christoph |
2010 |
12 |
p. 1462-1470 9 p. |
artikel |
||
| 85 | The Lascar groups and the first homology groups in model theory |
Dobrowolski, Jan |
2017 |
12 |
p. 2129-2151 23 p. |
artikel |
||
| 86 | The semantic isomorphism theorem in abstract algebraic logic |
Moraschini, Tommaso |
2016 |
12 |
p. 1298-1331 34 p. |
artikel |
||
| 87 | The structure of the Mitchell order – II |
Ben-Neria, Omer |
2015 |
12 |
p. 1407-1432 26 p. |
artikel |
||
| 88 | Topological completeness of the provability logic GLP |
Beklemishev, Lev |
2013 |
12 |
p. 1201-1223 23 p. |
artikel |
||
| 89 | Unification in linear temporal logic LTL |
Babenyshev, Sergey |
2011 |
12 |
p. 991-1000 10 p. |
artikel |
||
| 90 | Uniformly defining valuation rings in Henselian valued fields with finite or pseudo-finite residue fields |
Cluckers, Raf |
2013 |
12 |
p. 1236-1246 11 p. |
artikel |
||
| 91 | Virtual large cardinals |
Gitman, Victoria |
2018 |
12 |
p. 1317-1334 |
artikel |
||
| 92 | What we talk about when we talk about numbers |
Pettigrew, Richard |
2018 |
12 |
p. 1437-1456 |
artikel |
92 gevonden resultaten