No finite axiomatizations for posets embeddable into distributive lattices Fulltext Access 8 Pages 2018
On constructivity and the Rosser property: a closer look at some Gödelean proofs Fulltext Access 10 Pages 2018
Functoriality and uniformity in Hrushovski's groupoid-cover correspondence Fulltext Access 26 Pages 2018
Beyond abstract elementary classes: On the model theory of geometric lattices Fulltext Access 29 Pages 2018
Capturing k-ary existential second order logic with k-ary inclusion-exclusion logic Fulltext Access 39 Pages 2018
Addendum to: “The Bolzano-Weierstrass theorem is the jump of weak KÅnig's lemma” [Ann. Pure Appl. Logic 163 (6) (2012) 623-655] Fulltext Access 4 Pages 2017
On the decidability of the theory of modules over the ring of algebraic integers Fulltext Access 12 Pages 2017
Sensorless control of variable speed induction motor drive using RBF neural network Fulltext Access 13 Pages 2017
Identification of abnormal movements with 3D accelerometer sensors for seizure recognition Fulltext Access 15 Pages 2017
Homology groups of types in stable theories and the Hurewicz correspondence Fulltext Access 19 Pages 2017
Condensational equivalence, equimorphism, elementary equivalence and similar similarities Fulltext Access 20 Pages 2017
Formal analysis of SEU mitigation for early dependability and performability analysis of FPGA-based space applications Fulltext Access 22 Pages 2017
Realizability for Peano arithmetic with winning conditions in HON games Fulltext Access 24 Pages 2017
Unifying the model theory of first-order and second-order arithmetic via WKL0â Fulltext Access 37 Pages 2017
On expressive power of basic modal intuitionistic logic as a fragment of classical FOL Fulltext Access 38 Pages 2017
Representation and duality of the untyped λ-calculus in nominal lattice and topological semantics, with a proof of topological completeness Fulltext Access 137 Pages 2017
Symmetry and the union of saturated models in superstable abstract elementary classes Fulltext Access 13 Pages 2016
An overview of algorithmic approaches to compute optimum entropy distributions in the expert system shell MECore (extended version) Fulltext Access 16 Pages 2016
An examination of the SEP candidate analogical inference rule within pure inductive logic Fulltext Access 24 Pages 2016
The eco-cognitive model of abduction II: Irrelevance and implausibility exculpated Fulltext Access 36 Pages 2016
The complement of a point subset in a projective space and a Grassmann space Fulltext Access 19 Pages 2015
A new model construction by making a detour via intuitionistic theories I: Operational set theory without choice is Î 1-equivalent to KP Fulltext Access 66 Pages 2015
Constructive Zermelo-Fraenkel set theory and the limited principle of omniscience Fulltext Access 10 Pages 2014