3 deleted 1 characters in body

In the first semester of 2012 I took a course in General Topology and Set Theory, at undergraduate level. For topology, I was instructed to use Engelking's General Topology; albeit I had a great difficult to approach it, I got used to the text and did (and I'm still doing) some exercises (but none of the problems until now). For the Set Theory course we used Jech & Hrbacek's Introduction to Set Theory, which I think was suitable for my level back there. In these courses, I heard about Boolean Algebras, Forcing, Independence Proofs, Models, Topological Games, Kunen's book (which I just bought a copy), and others interesting things that caused me to change my favorite mathematical area (in fact I was a physics undergrad student when this year began).

In this semester, I enrolled myself in Measure and Integration course, also at undergraduated undergraduate level, where I discovered about Solovay's model, which completely drove me to madness.

I'm looking for advice about my background and the path that I have to follow to reach these mentioned topics; is too early to begin? do my background is sufficiently enough to start? And where to begin with ? what books do I have to read?

P.S.: I had no background in mathematical logic, the only thing I can do is some proofs with truth-tables.

2 added 10 characters in body

In the first semester of 2012 I took a course in General Topology and Set Theory, at undergraduate level. For topology, I was instructed to use Engelking's General Topology; albeit I had a great difficult to approach it, I got used to the text and did (and I'm still doing) some exercises (but none of the problems until now). For the Set Theory course we used Jech & Hrbacek's Introduction to Set Theory, which I think was suitable for my level back there. In these courses, I heard about Boolean Algebras, Forcing, Independence Proofs, Models, Topological Games, Kunen's book (which I just bought a copy), and others interesting things that caused me to change my favorite mathematical area (in fact I was a physics undergrad student when this year began).

In this semester, I enrolled myself in Measure and Integration course, also at undergraduated level, where I discovered about Solovay's model, which completely drove me to madness.

I'm looking for advice about my background and the path that I have to follow to reach these mentioned topics; is too early to begin? do my background is sufficiently enough to start? And where to begin with ? what books do I have to read?

P.S.: I had no background in mathematical logic, the only thing I can do is some proofs with truth-tables.

1

# Road to Solovay's Land.

In the first semester of 2012 I took a course in General Topology and Set Theory, at undergraduate level. For topology, I was instructed to use Engelking's General Topology; albeit I had a great difficult to approach it, I got used to the text and did (and I'm still doing) some exercises (but none of the problems until now). For the Set Theory course we used Jech & Hrbacek's Introduction to Set Theory, which I think was suitable for my level back there. In these courses, I heard about Boolean Algebras, Forcing, Independence Proofs, Models, Topological Games, Kunen's book (which I just bought a copy), and others interesting things that caused me to change my favorite mathematical area (in fact I was a physics student when this year began).

In this semester, I enrolled myself in Measure and Integration course, also at undergraduated level, where I discovered about Solovay's model, which completely drove me to madness.

I'm looking for advice about my background and the path that I have to follow to reach these mentioned topics; is too early to begin? do my background is sufficiently enough to start? And where to begin with ? what books do I have to read?

P.S.: I had no background in mathematical logic, the only thing I can do is some proofs with truth-tables.