The modal logic of forcing
Joel David Hamkins, Benedikt Loewe · 2005
Abstract onlyNot checked
Theoretical Computer Science
Filters2 filters applied
414 papersQuestions on this topic
A question of van den Dries and a theorem of Lipshitz and Robinson: Not everything is standard
Ehud Hrushovski, Ya'acov Peterzil · 2005
Abstract onlyNot checked
A Calculus of Inconsistency I: Sentential Logic
Dan Seabold, Stefan Waner, Steve Warner · 2004
Abstract onlyNot checked
Quantum logic as motivated by quantum computing
J. Michael Dunn, Tobias J. Hagge, Lawrence S. Moss et al. · 2004
Abstract onlyNot checked
A long EF-equivalence non isomorphic models
Saharon Shelah · in: {Logic Colloquium '03} (2006) 315--325 · 2004
Abstract onlyNot checked
More on SOP_1 and SOP_2
Saharon Shelah, Alex Usvyatsov · Ann. Pure Appl. Logic 155 No. 1 (2008) 16--31 · 2004
Abstract onlyNot checked
Hereditarily separable groups and monochromatic uniformization
Paul C. Eklof, Alan H. Mekler, Saharon Shelah · Israel Journal of Mathematics, 88:213-235, 1994 · 2004
Abstract onlyNot checked
On the cogeneration of cotorsion pairs
Paul C. Eklof, Saharon Shelah, Jan Trlifaj · J. Algebra 277 No. 2 (2004) 572--578 · 2004
Abstract onlyNot checked
Cardinal sequences and Cohen real extensions
István Juhász, Saharon Shelah, Lajos Soukup et al. · Fund. Math. 181 No. 1 (2004) 75--88 · 2004
Abstract onlyNot checked
More on: the revised GCH and middle diamond
Saharon Shelah · Ann. Pure Appl. Logic 140 No. 1-3 (2006) 133--160 · 2004
Abstract onlyNot checked
Cofinality of normal ideals on P_κ(λ), I
Pierre Matet, Cédric Péan, Saharon Shelah · Arch. Math. Logic 55 No. 5-6 (2016) 799--834 · 2004
Abstract onlyNot checked
Between Maharam's and von Neumann's problems
Ilijas Farah, Jindrich Zapletal · 2004
Abstract onlyNot checked
Forcing with quotients
Michael Hrusak, Jindrich Zapletal · 2004
Abstract onlyNot checked
Half of an inseparable pair
Arnold W. Miller · 2004
Abstract onlyNot checked
The pair $(\aleph_n,\aleph_0)$ may fail $\aleph_0$--compactness
Saharon Shelah · in: {Logic Colloquium '01} (2005) 402--433 · 2004
Abstract onlyNot checked
Simple Complete Boolean Algebras
Thomas Jech, Saharon Shelah · Proceedings of the American Mathematical Society, 129:543--549, 2001 · 2004
Abstract onlyNot checked
On elementary equivalence, isomorphism and isogeny of arithmetic function fields
Pete L. Clark · 2004
Abstract onlyNot checked
Consistency Strengths of Modified Maximality Principles
George Leibman · 2004
Abstract onlyNot checked
The number of translates of a closed nowhere dense set required to cover a Polish group
Arnold W. Miller, Juris Steprans · 2004
Abstract onlyNot checked
Long low iterations
Heike Mildenberger, Saharon Shelah · Ann. Pure Appl. Logic 149 No. 1-3 (2007) 7--13 · 2004
Abstract onlyNot checked