Sciweavers

    MLQ
    2006
    78views more  MLQ 2006»
    Recursive logic frames
    13 years 7 months ago
    Recursive logic frames
    Download  shelah.logic.at
    We define the concept of a logic frame, which extends the concept stract logic by adding the concept of a syntax and an axiom system. In a recursive logic frame the syntax and the...
    Saharon Shelah, Jouko A. Väänänen
    claim paper
    Read More »
    MLQ
    2006
    57views more  MLQ 2006»
    A nonstandard proof of a lemma from constructive measure theory
    13 years 7 months ago
    A nonstandard proof of a lemma from constructive measure theory
    Download  www.math.hawaii.edu
    David A. Ross
    claim paper
    Read More »
    MLQ
    2006
    54views more  MLQ 2006»
    On local non-compactness in recursive mathematics
    13 years 7 months ago
    On local non-compactness in recursive mathematics
    Download  www.diku.dk
    Jakob Grue Simonsen
    claim paper
    Read More »
    MLQ
    2006
    61views more  MLQ 2006»
    A parametrised choice principle and Martin's conjecture on Blackwell determinacy
    13 years 7 months ago
    A parametrised choice principle and Martin's conjecture on Blackwell determinacy
    Download  www.science.uva.nl
    Benedikt Löwe
    claim paper
    Read More »
    MLQ
    2006
    66views more  MLQ 2006»
    Kolmogorov complexity and set theoretical representations of integers
    13 years 7 months ago
    Kolmogorov complexity and set theoretical representations of integers
    Download  www.liafa.jussieu.fr
    Marie Ferbus-Zanda, Serge Grigorieff
    claim paper
    Read More »
    MLQ
    2006
    76views more  MLQ 2006»
    Geometric properties of semilinear and semibounded sets
    13 years 7 months ago
    Geometric properties of semilinear and semibounded sets
    Download  www.math.uiuc.edu
    We calculate the universal Euler characteristic and universal dimension function on semilinear and semibounded sets and obtain some criteria for definable equivalence of semilinea...
    Jana Maríková
    claim paper
    Read More »
    MLQ
    2006
    68views more  MLQ 2006»
    On the proof theory of type two functionals based on primitive recursive operations
    13 years 7 months ago
    On the proof theory of type two functionals based on primitive recursive operations
    Download  www.iam.unibe.ch
    This paper is a companion to work of Feferman, J
    David Steiner, Thomas Strahm
    claim paper
    Read More »
    MLQ
    2006
    72views more  MLQ 2006»
    Categorical abstract algebraic logic: The largest theory system included in a theory family
    13 years 7 months ago
    Categorical abstract algebraic logic: The largest theory system included in a theory family
    Download  voutsadakis.com
    George Voutsadakis
    claim paper
    Read More »
    MLQ
    2006
    62views more  MLQ 2006»
    Literal-paraconsistent and literal-paracomplete matrices
    13 years 7 months ago
    Literal-paraconsistent and literal-paracomplete matrices
    Download  www.mat.puc.cl
    Renato A. Lewin, Irene F. Mikenberg
    claim paper
    Read More »
    MLQ
    2006
    67views more  MLQ 2006»
    New reals: Can live with them, can live without them
    13 years 7 months ago
    New reals: Can live with them, can live without them
    Download  www.logic.univie.ac.at
    Martin Goldstern, Jakob Kellner
    claim paper
    Read More »
    « first‹ previous123next ›last »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2024, USA.