Bounded quantifier

#	Item
1	An optimal Gaifman normal form construction for structures of bounded degree Lucas Heimberg1 Dietrich Kuske2 Add to Reading List Source URL: highlights-conference.org Language: English - Date: 2013-09-18 06:36:01 Logic Mathematical logic Abstraction Predicate logic Finite model theory Quantification FO Quantifier Constructible universe
2	arXiv:1204.6671v1 [cs.LO] 30 Apr 2012 δ-Decidability over the Reals∗ Sicun Gao, Jeremy Avigad, and Edmund M. Clarke Carnegie Mellon University, Pittsburgh, PAMay 1, 2012 Add to Reading List Source URL: arxiv.org Language: English - Date: 2012-04-30 22:29:41 Mathematical logic Theory of computation Computable number Computable function Bounded quantifier Computable real function Function Oracle machine Decision problem Computability theory Theoretical computer science Mathematics
3	PDF Document Add to Reading List Source URL: www.math.ucsd.edu Language: English - Date: 2002-01-14 17:15:00 Proof theory Model theory Computability theory Predicate logic First-order logic Peano axioms Arithmetical hierarchy Constructible universe Bounded quantifier Mathematical logic Logic Mathematics
4	PDF Document Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2009-03-07 14:19:19 Proof theory Ordinal numbers Constructible universe Peano axioms Ordinal analysis Function Bounded quantifier New Foundations Surreal number Mathematical logic Mathematics Logic