share record
persistent URL:
Sato Kentaro : Forcing under Anti-Foundation Axiom: An expression of the stalks. Math. Log. Q. 52 (3 ) : 295-314 (2006 )export record
dblp key:
journals/mlq/KetchersidZ06 share record
persistent URL:
Richard Ketchersid , Stuart Zoble : On the extender algebra being complete. Math. Log. Q. 52 (6 ) : 531-533 (2006 )share record
persistent URL:
Bernhard König : Dense subtrees in complete Boolean algebras. Math. Log. Q. 52 (3 ) : 283-287 (2006 )share record
persistent URL:
Beibut Sh. Kulpeshov : On aleph0 -categorical weakly circularly minimal structures. Math. Log. Q. 52 (6 ) : 555-574 (2006 )share record
persistent URL:
Renato A. Lewin , Irene F. Mikenberg : Literal-paraconsistent and literal-paracomplete matrices. Math. Log. Q. 52 (5 ) : 478-493 (2006 )share record
persistent URL:
Gerhard Lischke : Restorations of punctured languages and similarity of languages. Math. Log. Q. 52 (1 ) : 20-28 (2006 )share record
persistent URL:
Benedikt Löwe : A parametrised choice principle and Martin's conjecture on Blackwell determinacy. Math. Log. Q. 52 (2 ) : 187-189 (2006 )export record
dblp key:
journals/mlq/MaksimovicJ06 share record
persistent URL:
Petar Maksimovic , Predrag Janicic : Simple characterization of functionally complete one-element sets of propositional connectives. Math. Log. Q. 52 (5 ) : 498-504 (2006 )share record
persistent URL:
Jana Maríková : Geometric properties of semilinear and semibounded sets. Math. Log. Q. 52 (2 ) : 190-202 (2006 )share record
persistent URL:
Petra Murinová , Vilém Novák : Omitting types in fuzzy logic with evaluated syntax. Math. Log. Q. 52 (3 ) : 259-268 (2006 )share record
persistent URL:
Noboru Osuga : The covering number and the uniformity of the ideal If . Math. Log. Q. 52 (4 ) : 351-358 (2006 )share record
persistent URL:
Sandra Marques Pinto , M. Teresa Oliveira-Martins , M. Céu Pinto : Monadic dynamic algebras. Math. Log. Q. 52 (2 ) : 134-150 (2006 )share record
persistent URL:
Mihai Prunescu : Undecidable and decidable restrictions of Hilbert's Tenth Problem: images of polynomials vs. images of exponential functions. Math. Log. Q. 52 (1 ) : 14-19 (2006 )share record
persistent URL:
Michael Rathjen : A note on Bar Induction in Constructive Set Theory. Math. Log. Q. 52 (3 ) : 253-258 (2006 )share record
persistent URL:
Cédric Rivière : The model theory of m -ordered differential fields. Math. Log. Q. 52 (4 ) : 331-339 (2006 )export record
dblp key:
journals/mlq/RoslanowskiS06 share record
persistent URL:
Andrzej Roslanowski , Saharon Shelah : How much sweetness is there in the universe? Math. Log. Q. 52 (1 ) : 71-86 (2006 )share record
persistent URL:
David A. Ross : A nonstandard proof of a lemma from constructive measure theory. Math. Log. Q. 52 (5 ) : 494-497 (2006 )share record
persistent URL:
Peter Schuster : Unique solutions. Math. Log. Q. 52 (6 ) : 534-539 (2006 )share record
persistent URL:
Saharon Shelah , Jouko A. Väänänen : Recursive logic frames. Math. Log. Q. 52 (2 ) : 151-164 (2006 )share record
persistent URL:
Jakob Grue Simonsen : On local non-compactness in recursive mathematics. Math. Log. Q. 52 (4 ) : 323-330 (2006 )share record
persistent URL:
Andreas Spillner : Minimum boundary touching tilings of polyominoes. Math. Log. Q. 52 (1 ) : 29-36 (2006 )share record
persistent URL:
David Steiner , Thomas Strahm : On the proof theory of type two functionals based on primitive recursive operations. Math. Log. Q. 52 (3 ) : 237-252 (2006 )share record
persistent URL:
Kohtaro Tadaki : An extension of Chaitin's halting probability Omega to a measurement operator in an infinite dimensional quantum system. Math. Log. Q. 52 (5 ) : 419-438 (2006 )export record
dblp key:
journals/mlq/Villegas-Silva06 share record
persistent URL:
Luis Miguel Villegas-Silva : A gap 1 cardinal transfer theorem. Math. Log. Q. 52 (4 ) : 340-350 (2006 )export record
dblp key:
journals/mlq/Voutsadakis06 share record
persistent URL:
George Voutsadakis : Categorical abstract algebraic logic: The largest theory system included in a theory family. Math. Log. Q. 52 (3 ) : 288-294 (2006 )share record
persistent URL:
Vilém Vychodil : Continuous fuzzy Horn logic. Math. Log. Q. 52 (2 ) : 171-186 (2006 )share record
persistent URL:
Guo-Jun Wang , Yan-Hong She : A topological characterization of consistency of logic theories in propositional logic. Math. Log. Q. 52 (5 ) : 470-477 (2006 )share record
persistent URL:
Olga Xirotiri : There is no safe pairing function over an arbitrary structure. Math. Log. Q. 52 (4 ) : 362-366 (2006 )share record
persistent URL:
Teruyuki Yorioka : Pmax variations related to slaloms. Math. Log. Q. 52 (2 ) : 203-216 (2006 )