Sciweavers

MLQ
2010
107views more  MLQ 2010»
13 years 6 months ago
Confined modified realizability
Gilda Ferreira, Paulo Oliva
MLQ
2010
110views more  MLQ 2010»
13 years 10 months ago
The Bounded Axiom A Forcing Axiom
Thilo Weinert
MLQ
2010
148views more  MLQ 2010»
13 years 10 months ago
Abelian groups and quadratic residues in weak arithmetic
We investigate the provability of some properties of abelian groups and quadratic residues in variants of bounded arithmetic. Specifically, we show that the structure theorem for...
Emil Jerábek
MLQ
2010
99views more  MLQ 2010»
13 years 10 months ago
Proof interpretations with truth
This article systematically investigates so-called “truth variants” of several functional interpretations. We start by showing a close relation between two variants of modifi...
Jaime Gaspar, Paulo Oliva
MLQ
2010
65views more  MLQ 2010»
13 years 10 months ago
Tautologies over implication with negative literals
We consider logical expressions built on the single binary connector of implication and a finite number of literals (boolean variables and their negations). We prove that asympto...
Hervé Fournier, Danièle Gardy, Antoi...
MLQ
2010
124views more  MLQ 2010»
13 years 10 months ago
Countably categorical coloured linear orders
Abstract. In this paper, we give a classification of (finite or countable) ℵ0categorical coloured linear orders, generalizing Rosenstein’s characterization of ℵ0-categorica...
Feresiano Mwesigye, John K. Truss
MLQ
2010
68views more  MLQ 2010»
13 years 10 months ago
A discrete representation of free MV-algebras
Antonio di Nola, Revaz Grigolia, Luca Spada
MLQ
2010
66views more  MLQ 2010»
13 years 10 months ago
Degree spectra and immunity properties
Barbara F. Csima, Iskander Sh. Kalimullin
MLQ
2010
74views more  MLQ 2010»
13 years 10 months ago
Tallness and level by level equivalence and inequivalence
We construct two models containing exactly one supercompact cardinal in which all nonsupercompact measurable cardinals are strictly taller than they are either strongly compact or...
Arthur W. Apter
MLQ
2010
78views more  MLQ 2010»
13 years 10 months ago
Analyzing completeness of axiomatic functional systems for temporal × modal logics
Alfredo Burrieza, Inmaculada Perez de Guzmá...