Results 11 to 20 of about 202 (44)
On Tarski's axiomatic foundations of the calculus of relations [PDF]
, 2016 It is shown that Tarski's set of ten axioms for the calculus of relations is independent in the sense that no axiom can be derived from the remaining axioms. It is also shown that by modifying one of Tarski's axioms slightly, and in fact by replacing the
Andréka, H. +3 more
core +3 more sources
The number of countable models via Algebraic logic [PDF]
, 2013 Vaught's Conjecture states that if T is a complete First order theory in a countable language that has more than aleph_0 pairwise non isomorphic countable models, then T has 2^aleph_0 such models.
Assem, Mohammad +3 more
core
Blow up and Blur constructions in Algebraic Logic [PDF]
, 2013 The idea in the title is to blow up a finite structure, replacing each 'colour or atom' by infinitely many, using blurs to represent the resulting term algebra, but the blurs are not enough to blur the structure of the finite structure in the complex ...
Ahmed, Tarek Sayed
core
, 2016 This essay is about how the notion of “structure” in ontic structuralism might be made precise. More specifically, my aim is to make precise the idea that the structure of the world is (somehow) given by the relations inhering in the world, in such a way
Dewar, Neil
core
Semantics out of context: nominal absolute denotations for first-order logic and computation
, 2016 Call a semantics for a language with variables absolute when variables map to fixed entities in the denotation. That is, a semantics is absolute when the denotation of a variable a is a copy of itself in the denotation.
Gabbay, Murdoch J.
core +1 more source
Characterizing amalgmation bases for relation, cylindric and polyadic algebras
, 2013 We characterize completey (give a necessary and suffcient condition using special neat embeddings)for a relation algebra to belong to the amalgamation, strong amalgamation, and superamalgamation base of the class of representable algebras. We do the same for cylindric and polyadic algebras for all dimensions >1, infinite included.
openaire +2 more sources
General normal forms for any additive logic
, 2017 In this article, we define general normal forms for any logic that has propositional part and whose non-propositional connectives distribute over the finite disjunctions.
Khaled, Mohamed
core +1 more source
Halmazelmélet; Partíció kalkulus, Végtelen gráfok elmélete = Set Theory; Partition Calculus , Theory of Infinite Graphs [PDF]
, 2012 Előzetes tervünknek megfelelően a halmazelmélet alábbi területein végeztünk kutatást és értünk el számos eredményt: I. Kombinatorika II. A valósak számsosságinvariánsai és ideálelmélet III.
Erdős, Péter +7 more
core
Canonical extensions and ultraproducts of polarities
, 2018 J{\'o}nsson and Tarski's notion of the perfect extension of a Boolean algebra with operators has evolved into an extensive theory of canonical extensions of lattice-based algebras. After reviewing this evolution we make two contributions.
Goldblatt, Robert
core +1 more source
Changing a semantics: opportunism or courage?
, 2014 The generalized models for higher-order logics introduced by Leon Henkin, and their multiple offspring over the years, have become a standard tool in many areas of logic.
A. Chagrov +84 more
core +1 more source