[Lecture Notes in Computer Science] Natural Language Processing and Information Systems Volume 8455 || Senterritoire for Spatio-Temporal Representation of Opinions
- 作者Métais, Elisabeth; Roche, Mathieu; Teisseire, Maguelonne
- 文件大小319.91KB
- 发表时间2014
- DOI10.1007/978-3-319-07983-7_35
- 页码246-249
Two cardinals models with gap one revisitedSaharon Shelah · 2005
Recursive logic framesSaharon Shelah; Jouko Väänänen · 2006
Two cardinal models for singular μShimon Garti; Saharon Shelah · 2007
The stationary set splitting gamePaul B. Larson; Saharon Shelah · 2008
Generating ultrafilters in a reasonable wayAndrzej Rosłanowski; Saharon Shelah · 2008
On long increasing chains modulo flat idealsSaharon Shelah · 2010
Embeddings of Cohen AlgebrasSaharon Shelah; Jindřich Zapletal · Advances in Mathematics · 1997
The Automorphism Tower Problem RevisitedWinfried Just; Saharon Shelah; Simon Thomas · Advances in Mathematics · 1999
Computability and λ-DefinabilityA. M. Turing · The Journal of Symbolic Logic · 1937
Definability and Decision Problems in ArithmeticJulia Robinson · The Journal of Symbolic Logic · 1949
Arithmetical Problems and Recursively Enumerable PredicatesMartin Davis · The Journal of Symbolic Logic · 1953
The Interpretability Logic of Peano ArithmeticAlessandro Berarducci · The Journal of Symbolic Logic · 1990
Steps Toward a Constructive NominalismNelson Goodman and W. V. Quine · The Journal of Symbolic Logic · 1947
A Completeness Theorem in Modal LogicSaul A. Kripke · The Journal of Symbolic Logic · 1959
Models and RealityHilary Putnam · The Journal of Symbolic Logic · 1980
A Theory of Restricted Quantification ITheodore Hailperin · The Journal of Symbolic Logic · 1957