Sciweavers

    AML
    2008
    84views more  AML 2008»
    Model theory of the regularity and reflection schemes
    13 years 11 months ago
    Model theory of the regularity and reflection schemes
    Download  academic2.american.edu
    Abstract. This paper develops the model theory of ordered structures that satisfy Keisler's regularity scheme, and its strengthening REF(L) (the reflection scheme) which is an...
    Ali Enayat, Shahram Mohsenipour
    claim paper
    Read More »
    AML
    2007
    87views more  AML 2007»
    Preservation theorems for bounded formulas
    14 years 18 days ago
    Preservation theorems for bounded formulas
    Download  math.ipm.ac.ir
    In this paper we naturally define when a theory has bounded quantifier elimination, or is bounded model complete. We give several equivalent conditions for a theory to have each...
    Morteza Moniri
    claim paper
    Read More »
    AML
    2007
    77views more  AML 2007»
    Complex analysis in subsystems of second order arithmetic
    14 years 18 days ago
    Complex analysis in subsystems of second order arithmetic
    Download  www.math.tohoku.ac.jp
    Abstract. This research is motivated by the program of Reverse Mathematics. We investigate basic part of complex analysis within some weak subsystems of second order arithmetic, in...
    Keita Yokoyama
    claim paper
    Read More »
    AML
    2007
    48views more  AML 2007»
    On some sheaves of special groups
    14 years 18 days ago
    On some sheaves of special groups
    Download  mathsci.ucd.ie
    Vincent Astier
    claim paper
    Read More »
    AML
    2007
    42views more  AML 2007»
    Universal forcing notions and ideals
    14 years 18 days ago
    Universal forcing notions and ideals
    Download  shelah.logic.at
    The main result of this paper is a partial answer to [7, Problem 5.5]: a finite iteration of Universal Meager forcing notions adds generic filters for many forcing notions determ...
    Andrzej Roslanowski, Saharon Shelah
    claim paper
    Read More »
    AML
    2007
    77views more  AML 2007»
    Antichains in partially ordered sets of singular cofinality
    14 years 18 days ago
    Antichains in partially ordered sets of singular cofinality
    Download  papers.assafrinot.com
    Assaf Rinot
    claim paper
    Read More »
    AML
    2007
    80views more  AML 2007»
    Normal forms for fuzzy logics: a proof-theoretic approach
    14 years 18 days ago
    Normal forms for fuzzy logics: a proof-theoretic approach
    Download  sitemason.vanderbilt.edu
    A method is described for obtaining conjunctive normal forms for logics using Gentzen-style rules possessing a special kind of strong invertibility. This method is then applied to ...
    Petr Cintula, George Metcalfe
    claim paper
    Read More »
    AML
    2007
    68views more  AML 2007»
    A note on weak dividing
    14 years 18 days ago
    A note on weak dividing
    Download  math.yonsei.ac.kr
    We study the notion of weak dividing introduced by S. Shelah. In particular we prove that T is stable iff weak dividing is symmetric. In order to study simple theories Shelah orig...
    Byunghan Kim, Niandong Shi
    claim paper
    Read More »
    AML
    2007
    52views more  AML 2007»
    A note on the schemes of replacement and collection
    14 years 18 days ago
    A note on the schemes of replacement and collection
    Download  www.crm.es
    A. R. D. Mathias
    claim paper
    Read More »
    AML
    2007
    51views more  AML 2007»
    Distinguishing non-standard natural numbers in a set theory within Lukasiewicz logic
    14 years 18 days ago
    Distinguishing non-standard natural numbers in a set theory within Lukasiewicz logic
    Download  staff.aist.go.jp
    Shunsuke Yatabe
    claim paper
    Read More »
    12next ›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.