Mathematical Logic Quarterly

• 

  Año 2011, Vol. 57, Número 5

  • A note on parameter free N1-induction and restricted exponentiation

    Andrés Cordón Franco, Alejandro Fernández Margarit, Francisco Félix Lara Martín

    • Texto completo

    págs. 444-455

    

  • Superatomic Boolean algebras constructed from strongly unbounded functions

    Juan Carlos Martínez, Lajos Soukup

    págs. 456-469

    

  • Kolmogorov complexity and characteristic constants of formal theories of arithmetic

    Shingo Ibuka, Masato Kikuchi, Hirotaka Kikyo

    págs. 470-473

    

  • On a positive set theory with inequality

    Giacomo Lenzi

    págs. 474-480

    

  • Powers of positive elements in C*-algebras

    Hiroki Takamura

    págs. 481-484

    

  • A set of axioms for nonstandard extensions

    Abhijit Dasgupta

    págs. 485-493

    

  • Random variables and integral logic

    Karim Khanaki, Seyed-Mohammad Bagheri

    págs. 494-503

    

  • Rice and Rice-Shapiro Theorems for transfinite correction grammars

    John Case, Sanjay Jain

    págs. 504-516

    

  • Low sets without subsets of higher many-one degree

    Patrizio Cintioli

    págs. 517-523

    

  • Simulating non-prenex cuts in quantified propositional calculus

    Emil Jerábek, Phuong Nguyen

    págs. 524-532