Catalogo Articoli (Spogli Riviste)

HELP
ATTENZIONE: attualmente gli articoli Current Contents (fonte ISI) a partire dall'anno 2002 sono consultabili sulla Risorsa On-Line

Le informazioni sugli articoli di fonte ISI sono coperte da copyright

La ricerca find articoli where soggetti phrase all words 'REALS' sort by level,fasc_key/DESCEND, pagina_ini_num/ASCEND ha restituito 38 riferimenti
Selezionare un intervallo

Per ulteriori informazioni selezionare i riferimenti di interesse.

    1. Koiran, P
      Transfer theorems via sign conditions

      INFORMATION PROCESSING LETTERS
    2. Malajovich, G
      On a transfer theorem for the P not equal NP conjecture

      JOURNAL OF COMPLEXITY
    3. Luxemburg, WAJ; Vath, M
      The existence of non-trivial bounded functionals implies the Hahn-Banach extension theorem

      ZEITSCHRIFT FUR ANALYSIS UND IHRE ANWENDUNGEN
    4. Blass, A
      Needed reals and recursion in generic reals

      ANNALS OF PURE AND APPLIED LOGIC
    5. Zapletal, J
      Terminal notions in set theory

      ANNALS OF PURE AND APPLIED LOGIC
    6. Hauser, K
      Objectivity over objects: A case study in theory formation

      SYNTHESE
    7. Halbeisen, L; Lowe, B
      Techniques for approching the dual Ramsey property in the projective hierarchy

      PACIFIC JOURNAL OF MATHEMATICS
    8. Dow, A; Hart, KP
      A universal continuum of weight aleph

      TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY
    9. Zhou, Q
      Grzegorczyk's hierarchy of computable analysis

      THEORETICAL COMPUTER SCIENCE
    10. Pawlikowski, J
      Density zero slaloms

      ANNALS OF PURE AND APPLIED LOGIC
    11. Edmundo, MJ
      Structure theorems for o-minimal expansions of groups

      ANNALS OF PURE AND APPLIED LOGIC
    12. Segoufin, L; Vianu, V
      Querying spatial databases via topological invariants

      JOURNAL OF COMPUTER AND SYSTEM SCIENCES
    13. Scheepers, M
      The length of some diagonalization games

      ARCHIVE FOR MATHEMATICAL LOGIC
    14. BOURNEZ O
      ACHILLES AND THE TORTOISE CLIMBING UP THE HYPER-ARITHMETICAL HIERARCHY

      Theoretical computer science
    15. Hemmerling, A
      On approximate and algebraic computability over the real numbers

      THEORETICAL COMPUTER SCIENCE
    16. Matamala, M; Meer, K
      On the computational structure of the connected components of a hard problem

      INFORMATION PROCESSING LETTERS
    17. Brendle, J; Shelah, S
      Ultrafilters on omega - Their ideals and their cardinal characteristics

      TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY
    18. BOURNEZ O
      SOME BOUNDS ON THE COMPUTATIONAL POWER OF PIECEWISE-CONSTANT DERIVATIVE SYSTEMS

      theory of computing systems
    19. PETERZIL Y; STARCHENKO S
      A TRICHOTOMY THEOREM FOR O-MINIMAL STRUCTURES

      Proceedings of the London Mathematical Society
    20. MATET P; PAWLIKOWSKI J
      IDEALS OVER OMEGA AND CARDINAL INVARIANTS OF THE CONTINUUM

      The Journal of symbolic logic
    21. DIPRISCO CA
      PERFECT-SET PROPERTIES IN L(R)[U]

      Advances in mathematics (New York. 1965)
    22. BAGARIA J; BOSCH R
      PROJECTIVE FORCING

      Annals of pure and applied Logic
    23. MATET P
      COMBINATORICS AND FORCING WITH DISTRIBUTIVE IDEALS

      Annals of pure and applied Logic
    24. CUCKER F; KOIRAN P; MATAMALA M
      COMPLEXITY AND DIMENSION

      Information processing letters
    25. THNG I; CANTONI A; LEUNG YH
      ANALYTICAL SOLUTIONS TO THE OPTIMIZATION OF A QUADRATIC COST FUNCTIONSUBJECT TO LINEAR AND QUADRATIC EQUALITY CONSTRAINTS

      Applied mathematics & optimization
    26. HALBEISEN L; JUDAH H
      MATHIAS ABSOLUTENESS AND THE RAMSEY PROPERTY

      The Journal of symbolic logic
    27. OKUNEV O; TAMANO K
      LINDELOF POWERS AND PRODUCTS OF FUNCTION-SPACES

      Proceedings of the American Mathematical Society
    28. BRENDLE J
      NICELY GENERATED AND CHAOTIC IDEALS

      Proceedings of the American Mathematical Society
    29. FOREMAN M; MAGIDOR M
      LARGE CARDINALS AND DEFINABLE COUNTEREXAMPLES TO THE CONTINUUM-HYPOTHESIS

      Annals of pure and applied Logic
    30. BRENDLE J
      COMBINATORIAL PROPERTIES OF CLASSICAL FORCING NOTIONS

      Annals of pure and applied Logic
    31. BRENDLE J; HJORTH G; SPINAS O
      REGULARITY PROPERTIES FOR DOMINATING PROJECTIVE SETS

      Annals of pure and applied Logic
    32. DUBOSE DA
      DETERMINACY AND THE SHARP FUNCTION ON OBJECTS OF TYPE-K

      The Journal of symbolic logic
    33. KUHLMANN S
      ISOMORPHISMS OF LEXICOGRAPHIC POWERS OF THE REALS

      Proceedings of the American Mathematical Society
    34. HEINTZ J; ROY MF; SOLERNO P
      DESCRIPTION OF THE CONNECTED COMPONENTS OF A SEMIALGEBRAIC SET IN SINGLE EXPONENTIAL TIME

      Discrete & computational geometry
    35. BLASS A
      CARDINAL CHARACTERISTICS AND THE PRODUCT OF COUNTABLY MANY INFINITE CYCLIC GROUPS

      Journal of algebra
    36. BLASS A
      CARDINAL CHARACTERISTICS AND THE PRODUCT OF COUNTABLY MANY INFINITE CYCLIC GROUPS

      Journal of algebra
    37. REIF J; SHARIR M
      MOTION PLANNING IN THE PRESENCE OF MOVING OBSTACLES

      Journal of the Association for Computing Machinery
    38. TALL FD
      SIGMA-CENTERED FORCING AND REFLECTION OF (SUB)METRIZABILITY

      Proceedings of the American Mathematical Society


ASDD Area Sistemi Dipartimentali e Documentali, Università di Bologna, Catalogo delle riviste ed altri periodici
Documento generato il 19/02/20 alle ore 18:05:45