Search Sciweavers | Sciweavers

25 search results - page 1 / 5

» jsyml 2000

click to vote

JSYML
2000

61views more JSYML 2000»

Interpreting Classical Theories in Constructive Ones

14 years 10 months ago

Download www.andrew.cmu.edu

Jeremy Avigad

claim paper

Read More »

click to vote

JSYML
2000

50views more JSYML 2000»

Model Companions of Theories with An Automorphism

14 years 10 months ago

Download shelah.logic.at

Hirotaka Kikyo

claim paper

Read More »

click to vote

JSYML
2000

47views more JSYML 2000»

A Note On Uniform Definability and Minimal Fields of Definition

14 years 10 months ago

Download www.math.uwaterloo.ca

Rahim Moosa

claim paper

Read More »

click to vote

JSYML
2000

45views more JSYML 2000»

Topological Completeness for Higher-Order Logic

14 years 10 months ago

Download www.brics.dk

Steven Awodey, Carsten Butz

claim paper

Read More »

click to vote

JSYML
2000

41views more JSYML 2000»

The Real Line in Elementary Submodels of Set Theory

14 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers