Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Väänänen, Jouko - Department of Mathematics and Statistics, University of Helsinki
Set-theore(c methods in model theory
Reflection principles for the continuum Jonathan Stavi
PROCEEDINGS Volume 28, No. 1, 2004
Digital Object Identifier (DOI): 10.1007/s00153-003-0171-5
More on the Ehrenfeucht-Fraisse game of Tapani Hyttinen
Annals of Pure and Applied Logic 161 (2010) 817828 Contents lists available at ScienceDirect
Recursive Logic Frames Saharon Shelah
On the semantics of informational independence
Second order logic, set theory and foundations of mathematics
More on the Ehrenfeucht-Fra ss e game of length ! 1 .
Second order logic or set theory?
Jouko Vaananen Institute for Logic, Language and Computation
On Lowenheim-Skolem-Tarski numbers for extensions of first order logic
On the Expressive Power of Monotone Natural Language Quantifiers over Finite Models
Math. Log. Quart. 52, No. 2, 151 164 (2006) / DOI 10.1002/malq.200410058 Recursive logic frames
Digital Object Identifier (DOI): 10.1007/s00153-004-0212-8
A Remark on Nondeterminacy in IF Logic Jouko Vaananen
CURRICULUM VITAE Jouko Antero Vnnen
Models and Games Jouko Vaananen
Games and Trees in Infinitary Logic: Jouko Vaananen
On the semantics of informational independence
Previous Up Next Article From References: 1
Modal Dependence Logic Jouko Vaananen
Jouko Vnnen How complicated can structures be? NAW 5/9 nr. 2 June 2008 117 Jouko Vnnen
J Log Lang Inf DOI 10.1007/s10849-009-9082-0
Second Order Logic or Set Theory? Jouko Vaananen
Annals of Pure and Applied Logic 134 (2005) 8393 www.elsevier.com/locate/apal
On the Expressive Power of Monotone Natural Language Quanti ers over Finite Models
Dependence Logic Jouko Vnnen
Contemporary Mathematics Reflection principles for the continuum
From Dependence to Independence Jouko Vaananen
Chain models, trees of singular cardinality and dynamic EF-games
ON SECOND-ORDER CHARACTERIZABILITY T. HYTTINEN, K. KANGAS AND J. VAANANEN
